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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Business
Business

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 16203-16204
No TPTP formula. May not be expressible in strict first order. Merge.kif 16201-16201 Business est une sous-classe de CommercialAgent
No TPTP formula. May not be expressible in strict first order. Merge.kif 16202-16202 Business est une sous-classe de organisation

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7102-7102 Agency est une sous-classe de Business
No TPTP formula. May not be expressible in strict first order. Dining.kif 65-65 Bakery est une sous-classe de Business
No TPTP formula. May not be expressible in strict first order. Merge.kif 16210-16210 Corporation est une sous-classe de Business
No TPTP formula. May not be expressible in strict first order. Media.kif 1702-1702 Crematorium est une sous-classe de Business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7112-7112 EntertainmentCompany est une sous-classe de Business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7125-7125 FinancialCompany est une sous-classe de Business
No TPTP formula. May not be expressible in strict first order. Media.kif 1697-1697 FuneralArranger est une sous-classe de Business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7145-7145 InsuranceCompany est une sous-classe de Business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7211-7211 Partnership est une sous-classe de Business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7303-7303 Proprietorship est une sous-classe de Business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7275-7275 Restaurant est une sous-classe de Business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7173-7173 TransportationCompany est une sous-classe de 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 Le nombre 2 argument de businessUnit est une instance de Business
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1283-1283 Le nombre 2 argument de customerValue est une instance de 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 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