CommercialService - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

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 11919-11920
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11918-11918	CommercialService e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11921-11921	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 7728-7728	CommercialShipping e' uma sub-classe de CommercialService
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7215-7215	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 11923-11928	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 7145-7151	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 7284-7290	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 7308-7318	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 7206-7212	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 3275-3283	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 7710-7718	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 16272-16279	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 16285-16292	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 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