TreeView Knowledge Base Browser - Business

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 16181-16182
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16179-16179	Business est une sous-classe de CommercialAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16180-16180	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 7103-7103	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 16188-16188	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 7113-7113	EntertainmentCompany est une sous-classe de Business
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7126-7126	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 7146-7146	InsuranceCompany est une sous-classe de Business
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7212-7212	Partnership est une sous-classe de Business
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7304-7304	Proprietorship est une sous-classe de Business
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7276-7276	Restaurant est une sous-classe de Business
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7174-7174	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	UserAccount est une instance de UserAccount BusinessAccount est un attribut de UserAccount hasAccount AutonomousAgent and UserAccount AutonomousAgent est une instance de Business
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2596-2605	ContentBearingPhysical est une instance de BusinessRequirementDocument proposition agent cognitif and formule proposition est une instance de plan agent cognitif est une instance de Business formule est une instance de processus proposition d�finie formule agent cognitif desire formule ContentBearingPhysical contient information proposition

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