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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 9658-9663
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 9655-9655 The number 1 argument of superficial part is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9656-9656 The number 2 argument of superficial part is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9654-9654 superficial part is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 9651-9651 superficial part is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9653-9653 superficial part is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9652-9652 superficial part is an instance of transitive relation

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 9707-9707 bottom is a subrelation of superficial part
No TPTP formula. May not be expressible in strict first order. Merge.kif 9737-9737 side is a subrelation of superficial part
No TPTP formula. May not be expressible in strict first order. Merge.kif 9676-9676 surface is a subrelation of superficial part
No TPTP formula. May not be expressible in strict first order. Merge.kif 9722-9722 top is a subrelation of superficial part
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 17688-17697
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29752-29756
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 9665-9672
No TPTP formula. May not be expressible in strict first order. Merge.kif 9647-9649

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17688-17697
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 12616-12629
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25252-25262
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25236-25245
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25220-25229
No TPTP formula. May not be expressible in strict first order. Merge.kif 17710-17720
No TPTP formula. May not be expressible in strict first order. Merge.kif 10086-10093
No TPTP formula. May not be expressible in strict first order. Merge.kif 10076-10084
No TPTP formula. May not be expressible in strict first order. Merge.kif 15077-15084
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 9699-9705
No TPTP formula. May not be expressible in strict first order. Merge.kif 9685-9690


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