Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi

SUMO / STRUCTURAL-ONTOLOGY

Relations

<=> => and contrary attribute disjoint disjoint decomposition disjoint relation documentation domain domain subclass entails equal exhaustive attribute exhaustive decomposition exists forall holds immediate instance immediate subclass instance inverse not or partition range range subclass related external concept related internal concept sub attribute subclass subrelation subsumed external concept subsuming external concept successor attribute successor attribute closure synonymous external concept valence

Functions

assignment fn power set fn