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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LeftKidney

 Sigma KEE - PaintedPicture
PaintedPicture

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3090-3090
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3089-3089 PaintedPicture est une sous-classe de objet d'art

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3219-3219 OilPicture est une sous-classe de PaintedPicture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3140-3140 Portrait est une sous-classe de PaintedPicture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3101-3101 WatercolorPicture est une sous-classe de PaintedPicture
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44030-44030
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44029-44029
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44028-44028

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3092-3099

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1538-1546
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3238-3243


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