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 数量 是 二元关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3604-3604 含自反关系 的 2 数量 是 类 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3602-3602 含自反关系 是 非对称关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3601-3601 含自反关系 是 二元谓语 的 instance

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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3713-3718
No TPTP formula. May not be expressible in strict first order. Merge.kif 3650-3655


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