| 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 22088-22090 | |
| (domain equipmentType 1 Artifact) | Mid-level-ontology.kif 22092-22092 | |
| (domain equipmentType 2 Device) | Mid-level-ontology.kif 22093-22093 | |
| (instance equipmentType BinaryPredicate) | Mid-level-ontology.kif 22091-22091 |
| 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 22273-22273 | |
| (termFormat ChineseTraditionalLanguage equipmentType "設備類型") | domainEnglishFormat.kif 22272-22272 | |
| (termFormat EnglishLanguage equipmentType "equipment type") | domainEnglishFormat.kif 22271-22271 |
| antecedent |
|
|
| (=> (equipmentType ?O ?T) (exists (?C) (and (greaterThanOrEqualTo ?C 1) (equipmentCount ?O ?T ?C)))) |
Mid-level-ontology.kif 22108-22113 | |
| (=> (equipmentType ?O ?T) (exists (?D) (and (instance ?D ?T) (or (part ?D ?O) (connected ?D ?O))))) |
Mid-level-ontology.kif 22095-22102 |
| consequent |
|
|
| (=> (equipmentCount ?O ?T ?C) (equipmentType ?O ?T)) |
Mid-level-ontology.kif 22104-22106 |
|
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