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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PlaceOfCommerce

Sigma KEE - PlaceOfCommerce
PlaceOfCommerce(place of commerce)
job

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7031-7033
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2293-2293
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2292-2292
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7030-7030 Place of commerce is exhaustively partitioned into commercial building and commercial unit
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24598-24598 Place of commerce is a subclass of postal place
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7029-7029 Place of commerce is a subclass of stationary artifact

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7045-7045 Commercial building is a subclass of place of commerce
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7064-7064 Commercial unit is a subclass of place of commerce
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45978-45978
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45977-45977
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45976-45976

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


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


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