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

Formal Language: 



KB Term:  Term intersection
English Word: 

  reflexiveOn

 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 域 反思在, 1 and BinaryRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3604-3604 域 反思在, 2 and Class
No TPTP formula. May not be expressible in strict first order. Merge.kif 3602-3602 例 反思在 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3601-3601 例 反思在 and BinaryPredicate

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

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