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 16252-16253
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16250-16250	Business est une sous-classe de CommercialAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16251-16251	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 7130-7130	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 16259-16259	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 7140-7140	EntertainmentCompany est une sous-classe de Business
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7153-7153	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 7173-7173	InsuranceCompany est une sous-classe de Business
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7239-7239	Partnership est une sous-classe de Business
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7331-7331	Proprietorship est une sous-classe de Business
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7303-7303	Restaurant est une sous-classe de Business
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7201-7201	TransportationCompany est une sous-classe de Business
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64579-64579

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