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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - equipmentCount
equipmentCount

appearance as argument number 1
-------------------------


(documentation equipmentCount EnglishLanguage "(equipmentCount ?OBJECT ?TYPE ?QUANTITY) means that ?OBJECT is equipped with devices of the type ?TYPE, in the number ?QUANTITY. Equipment associated with an ?OBJECT may be a component of ?OBJECT (such as the emergency oxygen system built into passenger jets) or it may be a device simply located on or with ?OBJECT (such as a first aid kit).") Mid-level-ontology.kif 21985-21990
(domain equipmentCount 1 Object) Mid-level-ontology.kif 21981-21981
(domain equipmentCount 3 Quantity) Mid-level-ontology.kif 21983-21983
(domainSubclass equipmentCount 2 Device) Mid-level-ontology.kif 21982-21982
(instance equipmentCount TernaryPredicate) Mid-level-ontology.kif 21980-21980

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


(format EnglishLanguage equipmentCount "%1 %n{doesn't} equipment count %2 for %3") domainEnglishFormat.kif 237-237
(termFormat EnglishLanguage equipmentCount "equipment count") domainEnglishFormat.kif 4145-4145

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


(=>
    (and
        (instance ?HARBOR Harbor)
        (equipmentCount ?HARBOR ShipBerth ?NUM)
        (greaterThan ?NUM 0))
    (capability ShipBerthing path ?HARBOR))
Transportation.kif 2859-2864
(=>
    (equipmentCount ?O ?T ?C)
    (equipmentType ?O ?T))
Mid-level-ontology.kif 22008-22010

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


(=>
    (equipmentType ?O ?T)
    (exists (?C)
        (and
            (greaterThanOrEqualTo ?C 1)
            (equipmentCount ?O ?T ?C))))
Mid-level-ontology.kif 22012-22017
(=>
    (instance ?A Automobile)
    (equipmentCount ?A Axle 2))
Transportation.kif 1895-1897
(=>
    (instance ?A Automobile)
    (equipmentCount ?A VehicleWheel 4))
Transportation.kif 1891-1893
(=>
    (instance ?M Motorcycle)
    (equipmentCount ?M VehicleWheel 2))
Transportation.kif 1818-1820


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