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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WarehousingAndStorage
WarehousingAndStorage
more pictures...

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


No TPTP formula. May not be expressible in strict first order. naics.kif 8772-8774
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10334-10334
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12152-12152
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12153-12153
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12154-12154
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12155-12155
No TPTP formula. May not be expressible in strict first order. naics.kif 8770-8770 WarehousingAndStorage e' uma instancia de IndustryAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 8814-8814 FarmProductWarehousingAndStorage e' um sub-atributo de WarehousingAndStorage
No TPTP formula. May not be expressible in strict first order. naics.kif 8799-8799 GeneralWarehousingAndStorage e' um sub-atributo de WarehousingAndStorage
No TPTP formula. May not be expressible in strict first order. naics.kif 8821-8821 OtherWarehousingAndStorage e' um sub-atributo de WarehousingAndStorage
No TPTP formula. May not be expressible in strict first order. naics.kif 8807-8807 RefrigeratedWarehousingAndStorage e' um sub-atributo de WarehousingAndStorage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62195-62195
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62194-62194
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62193-62193

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


No TPTP formula. May not be expressible in strict first order. naics.kif 8776-8797


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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