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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 23670-23675
(domain equipmentCount 1 Object) Mid-level-ontology.kif 23666-23666
(domain equipmentCount 3 Quantity) Mid-level-ontology.kif 23668-23668
(domainSubclass equipmentCount 2 Device) Mid-level-ontology.kif 23667-23667
(instance equipmentCount TernaryPredicate) Mid-level-ontology.kif 23665-23665

appearance as argument number 2

(format ChineseLanguage equipmentCount "%1 %n{不} 对于 %3 equipment 记数 %2 ") domainEnglishFormat.kif 915-915
(format ChineseTraditionalLanguage equipmentCount "%1 %n{不} 對於 %3 equipment 記數 %2 ") domainEnglishFormat.kif 914-914
(format EnglishLanguage equipmentCount "%1 %n{doesn't} equipment count %2 for %3") domainEnglishFormat.kif 913-913
(termFormat ChineseLanguage equipmentCount "设备数量") domainEnglishFormat.kif 22335-22335
(termFormat ChineseTraditionalLanguage equipmentCount "設備數量") domainEnglishFormat.kif 22334-22334
(termFormat EnglishLanguage equipmentCount "equipment count") domainEnglishFormat.kif 22333-22333


        (instance ?HARBOR Harbor)
        (equipmentCount ?HARBOR ShipBerth ?NUM)
        (greaterThan ?NUM 0))
    (capability ShipBerthing path ?HARBOR))
Transportation.kif 2949-2954
    (equipmentCount ?O ?T ?C)
    (equipmentType ?O ?T))
Mid-level-ontology.kif 23693-23695


    (equipmentType ?O ?T)
    (exists (?C)
            (greaterThanOrEqualTo ?C 1)
            (equipmentCount ?O ?T ?C))))
Mid-level-ontology.kif 23697-23702
    (instance ?A Automobile)
    (equipmentCount ?A Axle 2))
Transportation.kif 1966-1968
    (instance ?A Automobile)
    (equipmentCount ?A VehicleWheel 4))
Transportation.kif 1962-1964
    (instance ?M Motorcycle)
    (equipmentCount ?M VehicleWheel 2))
Transportation.kif 1889-1891

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners