TreeView Knowledge Base Browser - WholesaleTrade

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - WholesaleTrade

WholesaleTrade

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 6371-6373
No TPTP formula. May not be expressible in strict first order.	naics.kif 6369-6369	WholesaleTrade e' uma instancia de IndustryAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 6393-6393	WholesaleTradeDurableGoods e' um sub-atributo de WholesaleTrade
No TPTP formula. May not be expressible in strict first order.	naics.kif 6737-6737	WholesaleTradeNondurableGoods e' um sub-atributo de WholesaleTrade
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63035-63035
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63034-63034
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63033-63033

antecedent

No TPTP formula. May not be expressible in strict first order.

naics.kif 6375-6391

Colecao e' uma instancia de Organizacao WholesaleTrade e' um atributo de Colecao
AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Entidade Processo and AutonomousAgent AutonomousAgent e' uma instancia de Vender Entidade e' uma instancia de Objeto Entidade e' um patient de AutonomousAgent Processo e' membro de Colecao AutonomousAgent e' uma instancia de Vender AutonomousAgent e' um agente de Processo Entidade e' um patient de AutonomousAgent

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