| appearance as argument number 1 |
|
| (documentation equipmentCount EnglishLanguage "(equipmentCount ?OBJECT ?TYPE ?QUANTITY) means that ?OBJECT is equipped with devices of the type ?TYPE, in the number ?QUANTITY. Equipment associated with an ?OBJECT may be a component of ?OBJECT (such as the emergency oxygen system built into passenger jets) or it may be a device simply located on or with ?OBJECT (such as a first aid kit).") | Mid-level-ontology.kif 22029-22034 | |
| (domain equipmentCount 1 Object) | Mid-level-ontology.kif 22025-22025 | The number 1 argument of equipment count is an instance of object |
| (domain equipmentCount 3 Quantity) | Mid-level-ontology.kif 22027-22027 | The number 3 argument of equipment count is an instance of quantity |
| (domainSubclass equipmentCount 2 Device) | Mid-level-ontology.kif 22026-22026 | The number 2 argument of equipment count is a subclass of device |
| (instance equipmentCount TernaryPredicate) | Mid-level-ontology.kif 22024-22024 | equipment count is an instance of ternary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage equipmentCount "%1 %n{不} 对于 %3 equipment 记数 %2 ") | domainEnglishFormat.kif 915-915 | |
| (format ChineseTraditionalLanguage equipmentCount "%1 %n{不} 對於 %3 equipment 記數 %2 ") | domainEnglishFormat.kif 914-914 | |
| (format EnglishLanguage equipmentCount "%1 %n{doesn't} equipment count %2 for %3") | domainEnglishFormat.kif 913-913 | |
| (termFormat ChineseLanguage equipmentCount "设备数量") | domainEnglishFormat.kif 22267-22267 | |
| (termFormat ChineseTraditionalLanguage equipmentCount "設備數量") | domainEnglishFormat.kif 22266-22266 | |
| (termFormat EnglishLanguage equipmentCount "equipment count") | domainEnglishFormat.kif 22265-22265 |
| antecedent |
|
|
| (=> (and (instance ?HARBOR Harbor) (equipmentCount ?HARBOR ShipBerth ?NUM) (greaterThan ?NUM 0)) (capability ShipBerthing path ?HARBOR)) |
Transportation.kif 2920-2925 |
|
| (=> (equipmentCount ?O ?T ?C) (equipmentType ?O ?T)) |
Mid-level-ontology.kif 22052-22054 |
|
| consequent |
|
|
| (=> (equipmentType ?O ?T) (exists (?C) (and (greaterThanOrEqualTo ?C 1) (equipmentCount ?O ?T ?C)))) |
Mid-level-ontology.kif 22056-22061 |
|
| (=> (instance ?A Automobile) (equipmentCount ?A Axle 2)) |
Transportation.kif 1948-1950 |
|
| (=> (instance ?A Automobile) (equipmentCount ?A VehicleWheel 4)) |
Transportation.kif 1944-1946 |
|
| (=> (instance ?M Motorcycle) (equipmentCount ?M VehicleWheel 2)) |
Transportation.kif 1871-1873 |
|
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners