| 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 22067-22069 | |
| (domain equipmentType 1 Artifact) | Mid-level-ontology.kif 22071-22071 | |
| (domain equipmentType 2 Device) | Mid-level-ontology.kif 22072-22072 | |
| (instance equipmentType BinaryPredicate) | Mid-level-ontology.kif 22070-22070 |
| 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 22348-22348 | |
| (termFormat ChineseTraditionalLanguage equipmentType "設備類型") | domainEnglishFormat.kif 22347-22347 | |
| (termFormat EnglishLanguage equipmentType "equipment type") | domainEnglishFormat.kif 22346-22346 |
| antecedent |
|
|
| (=> (equipmentType ?O ?T) (exists (?C) (and (greaterThanOrEqualTo ?C 1) (equipmentCount ?O ?T ?C)))) |
Mid-level-ontology.kif 22087-22092 | |
| (=> (equipmentType ?O ?T) (exists (?D) (and (instance ?D ?T) (or (part ?D ?O) (connected ?D ?O))))) |
Mid-level-ontology.kif 22074-22081 |
| consequent |
|
|
| (=> (equipmentCount ?O ?T ?C) (equipmentType ?O ?T)) |
Mid-level-ontology.kif 22083-22085 |
|
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