| 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 24601-24606 | |
| (domain equipmentCount 1 Object) | Mid-level-ontology.kif 24597-24597 | The number 1 argument of equipment count is an instance of object |
| (domain equipmentCount 3 Quantity) | Mid-level-ontology.kif 24599-24599 | The number 3 argument of equipment count is an instance of quantity |
| (domainSubclass equipmentCount 2 Device) | Mid-level-ontology.kif 24598-24598 | The number 2 argument of equipment count is a subclass of device |
| (instance equipmentCount TernaryPredicate) | Mid-level-ontology.kif 24596-24596 | 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 22360-22360 | |
| (termFormat ChineseTraditionalLanguage equipmentCount "設備數量") | domainEnglishFormat.kif 22359-22359 | |
| (termFormat EnglishLanguage equipmentCount "equipment count") | domainEnglishFormat.kif 22358-22358 |
| antecedent |
|
|
| (=> (and (instance ?HARBOR Harbor) (equipmentCount ?HARBOR ShipBerth ?NUM) (greaterThan ?NUM 0)) (capability ShipBerthing path ?HARBOR)) |
Transportation.kif 3742-3747 |
|
| (=> (equipmentCount ?O ?T ?C) (exists (?DEVICE) (and (instance ?DEVICE ?T) (equipmentType ?O ?T)))) |
Mid-level-ontology.kif 24624-24629 |
|
| consequent |
|
|
| (=> (equipmentType ?O ?T) (exists (?C ?D) (and (instance ?D ?T) (greaterThanOrEqualTo ?C 1) (equipmentCount ?O ?T ?C)))) |
Mid-level-ontology.kif 24631-24637 |
|
| (=> (instance ?A Automobile) (equipmentCount ?A Axle 2)) |
Transportation.kif 2098-2100 |
|
| (=> (instance ?A Automobile) (equipmentCount ?A VehicleWheel 4)) |
Transportation.kif 2094-2096 |
|
| (=> (instance ?M Motorcycle) (equipmentCount ?M VehicleWheel 2)) |
Transportation.kif 2021-2023 |
|
|
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