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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BodyCovering

 Sigma KEE - BodyCovering
BodyCovering(parte do corpo recobrindo outra)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3511-3512
No TPTP formula. May not be expressible in strict first order. Merge.kif 15073-15075
No TPTP formula. May not be expressible in strict first order. Merge.kif 15072-15072 Parte do corpo recobrindo outra e' uma sub-classe de Parte do Corpo

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 351-351 PlasmaMembrane e' uma sub-classe de parte do corpo recobrindo outra
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10986-10986 Skin e' uma sub-classe de parte do corpo recobrindo outra
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1019-1019
No TPTP formula. May not be expressible in strict first order. english_format.kif 1250-1250
No TPTP formula. May not be expressible in strict first order. french_format.kif 697-697
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 228-228
No TPTP formula. May not be expressible in strict first order. terms-it.txt 231-231
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2380-2380
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 649-649
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 233-233
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 266-266
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 718-718
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 232-232

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15077-15084


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