Business - Sigma Knowledge base Browser

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 e' uma sub-classe de CommercialAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16180-16180	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 7103-7103	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 16188-16188	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 7113-7113	EntertainmentCompany e' uma sub-classe de Business
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7126-7126	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 7146-7146	InsuranceCompany e' uma sub-classe de Business
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7212-7212	Partnership e' uma sub-classe de Business
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7304-7304	Proprietorship e' uma sub-classe de Business
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7276-7276	Restaurant e' uma sub-classe de Business
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7174-7174	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 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