equipmentCount - Sigma Knowledge base Browser

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 25975-25980
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25971-25971	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 25973-25973	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 25972-25972	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 25970-25970	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 22348-22348
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22347-22347
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22346-22346

antecedent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3780-3785	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 25998-26003	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 26005-26011	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 2098-2100	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 2094-2096	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 2021-2023	If an object is an instance of motorcycle, then the object equipment count vehicle wheel for 2

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