TreeView Knowledge Base Browser - CommercialService

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

CommercialService

Sigma KEE - CommercialService

CommercialService

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3103-3104
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11895-11896
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11894-11894	CommercialService e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11897-11897	CommercialService e' uma sub-classe de ServiceProcess

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7700-7700	CommercialShipping e' uma sub-classe de CommercialService
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7187-7187	FinancialService e' uma sub-classe de CommercialService
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15870-15870
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15869-15869
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15868-15868

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3590-3601	Processo e' uma instancia de CommercialService Processo e' um agente de Agente Cognitivo AutonomousAgent emprega Agente Cognitivo Processo termina em Entidade Processo tem por fim Entidade Entidade e' uma instancia de Transacao Financeira Entidade termina em AutonomousAgent Entidade tem como origem Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11899-11904	Processo e' uma instancia de CommercialService AutonomousAgent AutonomousAgent e' uma instancia de CommercialAgent Processo e' um agente de AutonomousAgent

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3959-3966	Processo e' uma instancia de Transacao Financeira Processo termina em AutonomousAgent Processo e' uma instancia de CommercialService Processo e' um agente de AutonomousAgent OpenService e' um atributo de Processo
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5747-5767	MeanOfProduction e' um atributo de Objeto Objeto tem por fim Entidade Entidade Entidade e' uma instancia de Fazer involvedInEvent Entidade and Objeto Objeto e' o resultado de Entidade Entidade e' uma instancia de Artefato Entidade e' o resultado de Entidade Entidade tem por fim Entidade Entidade e' uma instancia de Vender Entidade e' um patient de Entidade Entidade Entidade e' uma instancia de CommercialService involvedInEvent Entidade and Objeto
No TPTP formula. May not be expressible in strict first order.	Dining.kif 70-81	AutonomousAgent e' uma instancia de Bakery Processo Entidade and Processo Processo e' uma instancia de Baking Entidade e' o resultado de Processo Entidade e' uma instancia de FoodForFn Humano Processo e' um agente de AutonomousAgent Processo e' uma instancia de CommercialService Processo e' um agente de AutonomousAgent Processo e' uma instancia de Vender Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7117-7123	AutonomousAgent e' uma instancia de EntertainmentCompany Processo Processo e' uma instancia de CommercialService Processo e' um agente de AutonomousAgent Processo e' uma instancia de Performance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7256-7262	AutonomousAgent e' uma instancia de Publisher Processo Processo e' uma instancia de CommercialService Processo e' um agente de AutonomousAgent Processo e' uma instancia de Publicacao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7280-7290	AutonomousAgent e' uma instancia de Restaurant Processo Entidade and Objeto Processo e' uma instancia de CommercialService Processo e' um agente de AutonomousAgent Processo e' uma instancia de Vender Objeto e' uma instancia de RestaurantBuilding eventLocated Processo and Objeto Entidade e' um patient de Processo Entidade e' uma instancia de FoodForFn Humano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7178-7184	AutonomousAgent e' uma instancia de TransportationCompany Processo Processo e' uma instancia de CommercialService Processo e' um agente de AutonomousAgent Processo e' uma instancia de Transporte
No TPTP formula. May not be expressible in strict first order.	Dining.kif 36-44	AutonomousAgent e' uma instancia de Coffeeshop Processo Entidade Processo e' uma instancia de CommercialService Processo e' um agente de AutonomousAgent Processo e' uma instancia de Vender Entidade e' um patient de Processo Entidade e' uma instancia de Coffee
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3223-3231	AutonomousAgent e' uma instancia de RailroadCompany Processo Objeto Processo e' uma instancia de CommercialService Processo e' um agente de AutonomousAgent Processo e' uma instancia de Transporte Objeto e' um instrumento para Processo Objeto e' uma instancia de Train
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7682-7690	AutonomousAgent e' uma instancia de Tavern Processo Entidade Processo e' uma instancia de CommercialService Processo e' um agente de AutonomousAgent Processo e' uma instancia de Vender Entidade e' um patient de Processo Entidade e' uma instancia de AlcoholicBeverage
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16223-16230	Fisico e' uma instancia de Manufacturer Fisico tem por fim Entidade Entidade e' uma instancia de Manufatura Entidade e' uma instancia de CommercialService Entidade e' um agente de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16236-16243	Fisico e' uma instancia de MercantileOrganization Fisico tem por fim Entidade Entidade e' uma instancia de Vender Entidade e' uma instancia de CommercialService Entidade e' um agente de Fisico
No TPTP formula. May not be expressible in strict first order.	Dining.kif 51-62	AutonomousAgent e' uma instancia de Brewpub Processo Entidade and Processo Processo e' uma instancia de Fazer Entidade e' o resultado de Processo Entidade e' uma instancia de Beer Processo e' um agente de AutonomousAgent Processo e' uma instancia de CommercialService Processo e' um agente de AutonomousAgent Processo e' uma instancia de Vender Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Dining.kif 88-99	AutonomousAgent e' uma instancia de Steakhouse Processo Entidade, Objeto and Processo Processo e' uma instancia de Cozinhar Objeto e' uma instancia de Beef Objeto e' um recurso para Processo Entidade e' o resultado de Processo Processo e' uma instancia de CommercialService Processo e' um agente de AutonomousAgent Processo e' uma instancia de Vender Entidade e' um patient de Processo

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