TreeView Knowledge Base Browser - inventory

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - inventory

inventory

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22713-22715
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22717-22717	O argumento numero 1 de inventory e' uma instancia de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22718-22718	O argumento numero 2 de inventory e' uma instancia de Colecao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22716-22716	inventory e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1385-1385
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1384-1384
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1383-1383
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30817-30817
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30816-30816
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30815-30815

antecedent

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

Mid-level-ontology.kif 22720-22724

inventory Objeto Representendo Conteudo Abstrato and Colecao Fisico e' membro de Colecao
Objeto Representendo Conteudo Abstrato inclui uma referencia a Fisico

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