equipmentType - Sigma Knowledge base Browser

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 26001-26003
(domain equipmentType 1 Artifact)	Mid-level-ontology.kif 26005-26005	The number 1 argument of equipment type is an instance of artifact
(domainSubclass equipmentType 2 Device)	Mid-level-ontology.kif 26006-26006	The number 2 argument of equipment type is a subclass of device
(instance equipmentType BinaryPredicate)	Mid-level-ontology.kif 26004-26004	equipment type is an instance of binary predicate

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 22360-22360
(termFormat ChineseTraditionalLanguage equipmentType "設備類型")	domainEnglishFormat.kif 22359-22359
(termFormat EnglishLanguage equipmentType "equipment type")	domainEnglishFormat.kif 22358-22358

antecedent

(=> (equipmentType ?O ?T) (exists (?C ?D) (and (instance ?D ?T) (greaterThanOrEqualTo ?C 1) (equipmentCount ?O ?T ?C))))	Mid-level-ontology.kif 26024-26030	If a kind of device is an equipment type of an artifact, then there exist a real number and an entity such that the entity is an instance of a kind of device and the real number is greater than or equal to 1 and the artifact equipment count the kind of device for the real number
(=> (equipmentType ?O ?T) (exists (?D) (and (instance ?D ?T) (or (part ?D ?O) (connected ?D ?O)))))	Mid-level-ontology.kif 26008-26015	If a kind of device is an equipment type of an artifact, then there exists an object such that the object is an instance of a kind of device and the object is a part of the artifact or the object is connected to the artifact

consequent

(=>
    (equipmentCount ?O ?T ?C)
    (exists (?DEVICE)
        (and
            (instance ?DEVICE ?T)
            (equipmentType ?O ?T))))

Mid-level-ontology.kif 26017-26022