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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CommercialUnit

Sigma KEE - CommercialUnit
CommercialUnit

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7064-7065
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7063-7063 CommercialUnit e' uma sub-classe de PlaceOfCommerce

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2081-2081 AppleStore e' uma sub-classe de CommercialUnit
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15882-15882
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15881-15881
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15880-15880

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7029-7029 O conceito PlaceOfCommerce e' completamente decomposto em CommercialBuilding + CommercialUnit

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


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


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