TreeView Knowledge Base Browser - reflexiveOn

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - reflexiveOn

reflexiveOn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2041-2042
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3606-3608
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 686-687
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3603-3603	The number 1 argument of reflexive on is an instance of binary relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3604-3604	The number 2 argument of reflexive on is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3602-3602	reflexive on is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3601-3601	reflexive on is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 179-179
No TPTP formula. May not be expressible in strict first order.	english_format.kif 180-180
No TPTP formula. May not be expressible in strict first order.	french_format.kif 109-109
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 247-247
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1938-1938
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 61-61
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 107-107
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 226-226
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 285-285
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 128-128
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 114-114
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49136-49136
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 180-180
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49135-49135
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49134-49134
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 71-71

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 3610-3618

If a binary relation is an instance of reflexive relation and the binary relation is reflexive on a class and the binary relation is an instance of predicate,
then for all an entity
- if the entity is an instance of the class,
- then the binary relation the entity and the entity

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 3713-3718	If a binary relation is an equivalence relation on a class, then the binary relation is an instance of transitive relation and the binary relation is an instance of symmetric relation and the binary relation is reflexive on the class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3650-3655	If a binary relation is partial ordering on a class, then the binary relation is reflexive on the 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