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

Formal Language: 



KB Term:  Term intersection
English Word: 

  interiorPart

 Sigma KEE - interiorPart
interiorPart

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2841-2842
No TPTP formula. May not be expressible in strict first order. Merge.kif 9731-9733
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1585-1586
No TPTP formula. May not be expressible in strict first order. Merge.kif 9729-9729 interiorPart est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order. Merge.kif 9730-9730 interiorPart est une instance de relation transitive
No TPTP formula. May not be expressible in strict first order. Merge.kif 9728-9728 interiorPart est une sous-relation de part

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 375-375
No TPTP formula. May not be expressible in strict first order. english_format.kif 376-376
No TPTP formula. May not be expressible in strict first order. french_format.kif 216-216
No TPTP formula. May not be expressible in strict first order. relations-it.txt 152-152
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2022-2022
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 168-168
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 223-223
No TPTP formula. May not be expressible in strict first order. relations-de.txt 501-501
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 191-191
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 236-236
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 233-233
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 307-307
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 376-376
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30451-30451
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30450-30450
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30449-30449
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 308-308

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5004-5008
No TPTP formula. May not be expressible in strict first order. Merge.kif 9735-9741

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9121-9130
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 485-490
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 383-388
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11689-11694
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1179-1184
No TPTP formula. May not be expressible in strict first order. Merge.kif 9701-9708


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