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 16203-16204
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16201-16201	Business e' uma sub-classe de CommercialAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16202-16202	Business e' uma sub-classe de Organizacao

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7102-7102	Agency e' uma sub-classe de Business
No TPTP formula. May not be expressible in strict first order.	Dining.kif 65-65	Bakery e' uma sub-classe de Business
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16210-16210	Empresa e' uma sub-classe de Business
No TPTP formula. May not be expressible in strict first order.	Media.kif 1702-1702	Crematorium e' uma sub-classe de Business
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7112-7112	EntertainmentCompany e' uma sub-classe de Business
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7125-7125	FinancialCompany e' uma sub-classe de Business
No TPTP formula. May not be expressible in strict first order.	Media.kif 1697-1697	FuneralArranger e' uma sub-classe de Business
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7145-7145	InsuranceCompany e' uma sub-classe de Business
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7211-7211	Partnership e' uma sub-classe de Business
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7303-7303	Proprietorship e' uma sub-classe de Business
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7275-7275	Restaurant e' uma sub-classe de Business
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7173-7173	TransportationCompany e' uma sub-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	O argumento numero 2 de businessUnit e' uma instancia de Business
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1283-1283	O argumento numero 2 de customerValue e' uma instancia de Business

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 660-665	UserAccount e' uma instancia de UserAccount BusinessAccount e' um atributo de UserAccount hasAccount AutonomousAgent and UserAccount AutonomousAgent e' uma instancia de Business
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2596-2605	ContentBearingPhysical e' uma instancia de BusinessRequirementDocument Proposicao Agente Cognitivo and Formula Proposicao e' uma instancia de Plano Agente Cognitivo e' uma instancia de Business Formula e' uma instancia de Processo Proposicao define Formula Agente Cognitivo deseja Formula ContentBearingPhysical contem informacao Proposicao

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