equipmentType |
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 24319-24321 | |
(domain equipmentType 1 Artifact) | Mid-level-ontology.kif 24323-24323 | O argumento numero 1 de equipmentType e' uma instancia de Artefato |
(domainSubclass equipmentType 2 Device) | Mid-level-ontology.kif 24324-24324 | O argumento numero 2 de equipmentType e' uma sub-classe de Aparelho |
(instance equipmentType BinaryPredicate) | Mid-level-ontology.kif 24322-24322 | equipmentType e' uma instancia de Predicado Binario |
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 ?D) (and (instance ?D ?T) (greaterThanOrEqualTo ?C 1) (equipmentCount ?O ?T ?C)))) |
Mid-level-ontology.kif 24342-24348 |
|
(=> (equipmentType ?O ?T) (exists (?D) (and (instance ?D ?T) (or (part ?D ?O) (connected ?D ?O))))) |
Mid-level-ontology.kif 24326-24333 |
consequent |
(=> (equipmentCount ?O ?T ?C) (exists (?DEVICE) (and (instance ?DEVICE ?T) (equipmentType ?O ?T)))) |
Mid-level-ontology.kif 24335-24340 |
|