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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Business
Businessbusiness, business_concern, business_organisation, business_organization, concern, enterprise

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16248-16249
No TPTP formula. May not be expressible in strict first order. Merge.kif 16246-16247
No TPTP formula. May not be expressible in strict first order. Merge.kif 16244-16244 Business is a subclass of commercial agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 16245-16245 Business is a subclass of organization

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


No TPTP formula. May not be expressible in strict first order. Society.kif 1424-1424 AdvertisingAgency is a subclass of Business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6768-6768 Agency is a subclass of Business
No TPTP formula. May not be expressible in strict first order. Society.kif 153-153 ArchitectureFirm 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. Society.kif 1481-1481 CommercialFarm is a subclass of Business
No TPTP formula. May not be expressible in strict first order. Merge.kif 16255-16255 Corporation is a subclass of Business
No TPTP formula. May not be expressible in strict first order. Media.kif 1692-1692 Crematorium is a subclass of Business
No TPTP formula. May not be expressible in strict first order. Society.kif 179-179 DentalPractice is a subclass of Business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6778-6778 Entertainment company is a subclass of Business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6791-6791 Financial company is a subclass of Business
No TPTP formula. May not be expressible in strict first order. Media.kif 1687-1687 FuneralArranger is a subclass of Business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6823-6823 Insurance company is a subclass of Business
No TPTP formula. May not be expressible in strict first order. Society.kif 166-166 LawFirm is a subclass of Business
No TPTP formula. May not be expressible in strict first order. Society.kif 1521-1521 MineBusiness is a subclass of Business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6870-6870 Partnership is a subclass of Business
No TPTP formula. May not be expressible in strict first order. Society.kif 192-192 PrivateMedicalClinic is a subclass of Business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6966-6966 Proprietorship is a subclass of Business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6937-6937 Restaurant is a subclass of Business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6833-6833 Transportation company is a subclass of Business

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2757-2757 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 1481-1481 The number 2 argument of customer value is an instance of Business

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


No TPTP formula. May not be expressible in strict first order. Society.kif 255-260
No TPTP formula. May not be expressible in strict first order. Society.kif 247-252

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 823-828
No TPTP formula. May not be expressible in strict first order. Society.kif 378-382
No TPTP formula. May not be expressible in strict first order. Society.kif 155-161
No TPTP formula. May not be expressible in strict first order. Society.kif 284-293
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2804-2813
No TPTP formula. May not be expressible in strict first order. Society.kif 181-187
No TPTP formula. May not be expressible in strict first order. Society.kif 527-532
No TPTP formula. May not be expressible in strict first order. Society.kif 167-173


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners