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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Disability

 Sigma KEE - Warehouse
Warehouse

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7078-7079
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2056-2056
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2423-2423
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2424-2424
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7077-7077 Warehouse est une sous-classe de CommercialBuilding

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62183-62183
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62182-62182
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62181-62181

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


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


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