Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  AntisymmetricRelation

Sigma KEE - AntisymmetricRelation
AntisymmetricRelation(antisymmetric relation)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1841-1845
No TPTP formula. May not be expressible in strict first order. Merge.kif 2200-2205
No TPTP formula. May not be expressible in strict first order. Merge.kif 2198-2198 Antisymmetric relation is a subclass of binary relation

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 2173-2173 Symmetric relation is disjoint from antisymmetric relation
No TPTP formula. May not be expressible in strict first order. Media.kif 3246-3246 keyName is an instance of antisymmetric relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21330-21330 legal guardian is an instance of antisymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3923-3923 located is an instance of antisymmetric relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11998-11998 stored is an instance of antisymmetric relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22178-22178 subString is an instance of antisymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2187-2187 Asymmetric relation is a subclass of antisymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2272-2272 Partial ordering relation is a subclass of antisymmetric relation
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 897-897
No TPTP formula. May not be expressible in strict first order. english_format.kif 1001-1001

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 2207-2214

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 2192-2196 An entity is an instance of asymmetric relation if and only if the entity is an instance of antisymmetric relation and the entity is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3529-3534


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners