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

Formal Language: 



KB Term:  Term intersection
English Word: 

  superficialPart

 Sigma KEE - superficialPart
superficialPart

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2834-2837
No TPTP formula. May not be expressible in strict first order. Merge.kif 9680-9685
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1578-1581
No TPTP formula. May not be expressible in strict first order. Merge.kif 9677-9677 表面部分 的 1 数量 是 客体 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 9678-9678 表面部分 的 2 数量 是 客体 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 9676-9676 表面部分 是 二元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 9673-9673 表面部分 是 非自反关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 9675-9675 表面部分 是 部分值关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 9674-9674 表面部分 是 传递关系 的 instance

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 371-371
No TPTP formula. May not be expressible in strict first order. english_format.kif 372-372
No TPTP formula. May not be expressible in strict first order. french_format.kif 214-214
No TPTP formula. May not be expressible in strict first order. relations-it.txt 289-289
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2020-2020
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 166-166
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 221-221
No TPTP formula. May not be expressible in strict first order. relations-de.txt 495-495
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 326-326
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 234-234
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 231-231
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 481-481
No TPTP formula. May not be expressible in strict first order. Merge.kif 9729-9729 底部 是 表面部分 的 subrelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9759-9759 边 是 表面部分 的 subrelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9698-9698 表面 是 表面部分 的 subrelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9744-9744 顶部 是 表面部分 的 subrelation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56113-56113
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 372-372
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56112-56112
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56111-56111

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17710-17719
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29740-29744
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1289-1293
No TPTP formula. May not be expressible in strict first order. Merge.kif 9687-9694
No TPTP formula. May not be expressible in strict first order. Merge.kif 9669-9671

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17710-17719
No TPTP formula. May not be expressible in strict first order. Geography.kif 1907-1912
No TPTP formula. May not be expressible in strict first order. Merge.kif 12638-12651
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25251-25261
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25235-25244
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25219-25228
No TPTP formula. May not be expressible in strict first order. Merge.kif 17732-17742
No TPTP formula. May not be expressible in strict first order. Merge.kif 10108-10115
No TPTP formula. May not be expressible in strict first order. Merge.kif 10098-10106
No TPTP formula. May not be expressible in strict first order. Merge.kif 15099-15106
No TPTP formula. May not be expressible in strict first order. Geography.kif 803-805
No TPTP formula. May not be expressible in strict first order. Geography.kif 815-817
No TPTP formula. May not be expressible in strict first order. Merge.kif 9721-9727
No TPTP formula. May not be expressible in strict first order. Merge.kif 9707-9712


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