TreeView Knowledge Base Browser - equipmentCount

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - equipmentCount

equipmentCount

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24313-24318
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24309-24309	The number 1 argument of equipment count is an instance of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24311-24311	The number 3 argument of equipment count is an instance of quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24310-24310	The number 2 argument of equipment count is a subclass of device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24308-24308	equipment count is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 915-915
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 914-914
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 913-913
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22342-22342
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22341-22341
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22340-22340

antecedent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2942-2947	If an object is an instance of harbor and the object equipment count ship berth for a real number and the real number is greater than 0, then the object is capable of doing ship berthing as a path
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24336-24341	If an artifact equipment count a kind of device for a quantity, then there exists an entity such that the entity is an instance of a kind of device and the kind of device is an equipment type of the artifact

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24343-24349	If a kind of device is an equipment type of an artifact, then there exist a real number and an entity such that the entity is an instance of a kind of device and the real number is greater than or equal to 1 and the artifact equipment count the kind of device for the real number
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1958-1960	If an object is an instance of automobile, then the object equipment count axle for 2
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1954-1956	If an object is an instance of automobile, then the object equipment count vehicle wheel for 4
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1881-1883	If an object is an instance of motorcycle, then the object equipment count vehicle wheel for 2

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