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 22765-22767
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22769-22769	The number 1 argument of inventory is an instance of content bearing object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22770-22770	The number 2 argument of inventory is an instance of collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22768-22768	inventory is an instance of binary predicate

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 22772-22776

If a collection is an inventory of a content bearing object and a physical is a member of the collection,
then the content bearing object includes a reference to the physical

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