Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - equipmentType
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 21631-21633
(domain equipmentType 1 Artifact) Mid-level-ontology.kif 21635-21635 The number 1 argument of equipment type is an instance of artifact
(domain equipmentType 2 Device) Mid-level-ontology.kif 21636-21636 The number 2 argument of equipment type is an instance of device
(instance equipmentType BinaryPredicate) Mid-level-ontology.kif 21634-21634 equipment type is an instance of binary predicate

appearance as argument number 2
-------------------------


(format EnglishLanguage equipmentType "%2 is %n an equipment type of %1") domainEnglishFormat.kif 238-238
(termFormat EnglishLanguage equipmentType "equipment type") domainEnglishFormat.kif 4146-4146 "equipment type" is the printable form of equipment type in english language

antecedent
-------------------------


(=>
    (equipmentType ?O ?T)
    (exists (?C)
        (and
            (greaterThanOrEqualTo ?C 1)
            (equipmentCount ?O ?T ?C))))
Mid-level-ontology.kif 21651-21656
(=>
    (equipmentType ?O ?T)
    (exists (?D)
        (and
            (instance ?D ?T)
            (or
                (part ?D ?O)
                (connected ?D ?O)))))
Mid-level-ontology.kif 21638-21645

consequent
-------------------------


(=>
    (equipmentCount ?O ?T ?C)
    (equipmentType ?O ?T))
Mid-level-ontology.kif 21647-21649


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