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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Business

Sigma KEE - Business
Business(business)business, business_concern, business_organisation, business_organization, concern, enterprise

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3660-3661
No TPTP formula. May not be expressible in strict first order. Merge.kif 16181-16182
No TPTP formula. May not be expressible in strict first order. Merge.kif 16179-16179 Business is a subclass of commercial agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 16180-16180 Business is a subclass of organization

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7103-7103 Agency is a subclass of business
No TPTP formula. May not be expressible in strict first order. Dining.kif 65-65 Bakery is a subclass of business
No TPTP formula. May not be expressible in strict first order. Merge.kif 16188-16188 Corporation is a subclass of business
No TPTP formula. May not be expressible in strict first order. Media.kif 1702-1702 Crematorium is a subclass of business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7113-7113 Entertainment company is a subclass of business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7126-7126 Financial company is a subclass of business
No TPTP formula. May not be expressible in strict first order. Media.kif 1697-1697 Funeral arranger is a subclass of business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7146-7146 Insurance company is a subclass of business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7212-7212 Partnership is a subclass of business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7304-7304 Proprietorship is a subclass of business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7276-7276 Restaurant is a subclass of business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7174-7174 Transportation company is a subclass of business
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64577-64577

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2549-2549 The number 2 argument of business unit is an instance of business
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1283-1283 The number 2 argument of customer value is an instance of business

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 660-665
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2596-2605


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