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 9694-9699
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 9691-9691 Le nombre 1 argument de superficialPart est une instance de objet
No TPTP formula. May not be expressible in strict first order. Merge.kif 9692-9692 Le nombre 2 argument de superficialPart est une instance de objet
No TPTP formula. May not be expressible in strict first order. Merge.kif 9690-9690 superficialPart est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 9687-9687 superficialPart est une instance de relation irr�flexive
No TPTP formula. May not be expressible in strict first order. Merge.kif 9689-9689 superficialPart est une instance de relation partielle
No TPTP formula. May not be expressible in strict first order. Merge.kif 9688-9688 superficialPart est une instance de relation transitive

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 9743-9743 bottom est une sous-relation de superficialPart
No TPTP formula. May not be expressible in strict first order. Merge.kif 9773-9773 side est une sous-relation de superficialPart
No TPTP formula. May not be expressible in strict first order. Merge.kif 9712-9712 surface est une sous-relation de superficialPart
No TPTP formula. May not be expressible in strict first order. Merge.kif 9758-9758 top est une sous-relation de superficialPart
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56115-56115
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 56114-56114
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56113-56113

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17767-17776
No TPTP formula. May not be expressible in strict first order. Merge.kif 15957-15961
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1282-1286
No TPTP formula. May not be expressible in strict first order. Merge.kif 9701-9708
No TPTP formula. May not be expressible in strict first order. Merge.kif 9683-9685

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17767-17776
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 12662-12675
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25309-25319
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25293-25302
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25277-25286
No TPTP formula. May not be expressible in strict first order. Merge.kif 17789-17799
No TPTP formula. May not be expressible in strict first order. Merge.kif 10122-10129
No TPTP formula. May not be expressible in strict first order. Merge.kif 10112-10120
No TPTP formula. May not be expressible in strict first order. Merge.kif 15123-15130
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 9735-9741
No TPTP formula. May not be expressible in strict first order. Merge.kif 9721-9726


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