| appearance as argument number 1 |
|
| (documentation equipmentType EnglishLanguage "(equipmentType ?THING ?TYPE) means that the Artifact ?THING has a component or attachment of Device ?TYPE. See also equipmentTypeCount.") | Mid-level-ontology.kif 23677-23679 | |
| (domain equipmentType 1 Artifact) | Mid-level-ontology.kif 23681-23681 | 设备类型 的 1 数量 是 人工制品 的 instance |
| (domain equipmentType 2 Device) | Mid-level-ontology.kif 23682-23682 | 设备类型 的 2 数量 是 设备 的 instance |
| (instance equipmentType BinaryPredicate) | Mid-level-ontology.kif 23680-23680 | 设备类型 是 二元谓语 的 instance |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage equipmentType "%2 %n 是 %1 的 equipment 类别") | domainEnglishFormat.kif 919-919 | |
| (format ChineseTraditionalLanguage equipmentType "%2 %n 是 %1 的 equipment 類別") | domainEnglishFormat.kif 918-918 | |
| (format EnglishLanguage equipmentType "%2 is %n an equipment type of %1") | domainEnglishFormat.kif 917-917 | |
| (termFormat ChineseLanguage equipmentType "设备类型") | domainEnglishFormat.kif 22341-22341 | |
| (termFormat ChineseTraditionalLanguage equipmentType "設備類型") | domainEnglishFormat.kif 22340-22340 | |
| (termFormat EnglishLanguage equipmentType "equipment type") | domainEnglishFormat.kif 22339-22339 |
| antecedent |
|
|
| (=> (equipmentType ?O ?T) (exists (?C) (and (greaterThanOrEqualTo ?C 1) (equipmentCount ?O ?T ?C)))) |
Mid-level-ontology.kif 23697-23702 | |
| (=> (equipmentType ?O ?T) (exists (?D) (and (instance ?D ?T) (or (part ?D ?O) (connected ?D ?O))))) |
Mid-level-ontology.kif 23684-23691 |
| consequent |
|
|
| (=> (equipmentCount ?O ?T ?C) (equipmentType ?O ?T)) |
Mid-level-ontology.kif 23693-23695 |
|
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