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 21992-21994
(domain equipmentType 1 Artifact) Mid-level-ontology.kif 21996-21996
(domain equipmentType 2 Device) Mid-level-ontology.kif 21997-21997
(instance equipmentType BinaryPredicate) Mid-level-ontology.kif 21995-21995

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

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


(=>
    (equipmentType ?O ?T)
    (exists (?C)
        (and
            (greaterThanOrEqualTo ?C 1)
            (equipmentCount ?O ?T ?C))))
Mid-level-ontology.kif 22012-22017
(=>
    (equipmentType ?O ?T)
    (exists (?D)
        (and
            (instance ?D ?T)
            (or
                (part ?D ?O)
                (connected ?D ?O)))))
Mid-level-ontology.kif 21999-22006

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


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


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