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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ReflexiveRelation
ReflexiveRelation(reflexive relation)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1833-1834
No TPTP formula. May not be expressible in strict first order. Merge.kif 2241-2242
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 453-454
No TPTP formula. May not be expressible in strict first order. Merge.kif 2239-2239 Reflexive 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 9501-9501 connected is an instance of reflexive relation
No TPTP formula. May not be expressible in strict first order. Media.kif 3277-3277 key name is an instance of reflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4034-4034 overlap spatially is an instance of reflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8225-8225 overlap temporally is an instance of reflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5896-5896 sub graph is an instance of reflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24386-24386 sub string is an instance of reflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2394-2394 Equivalence relation is a subclass of reflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2367-2367 Partial ordering relation is a subclass of reflexive relation
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 893-893
No TPTP formula. May not be expressible in strict first order. english_format.kif 988-988
No TPTP formula. May not be expressible in strict first order. french_format.kif 569-569
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 99-99
No TPTP formula. May not be expressible in strict first order. terms-it.txt 102-102
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2254-2254
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 521-521
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 136-136
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 590-590
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 103-103

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3610-3618


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



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