TreeView Knowledge Base Browser - AntisymmetricRelation

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

If an entity is an instance of antisymmetric relation,
then for all another entity and a third entity
- if the entity the other entity and the third entity and the entity the third entity and the other entity,
- then the other entity is equal to the third entity

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	If a binary relation is partial ordering on a set or class, then the binary relation is reflexive on the set or class and the binary relation is an instance of transitive relation and the binary relation is an instance of antisymmetric relation

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