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 25975-25980
(domain equipmentCount 1 Object) Mid-level-ontology.kif 25971-25971 The number 1 argument of equipment count is an instance of object
(domain equipmentCount 3 Quantity) Mid-level-ontology.kif 25973-25973 The number 3 argument of equipment count is an instance of quantity
(domainSubclass equipmentCount 2 Device) Mid-level-ontology.kif 25972-25972 The number 2 argument of equipment count is a subclass of device
(instance equipmentCount TernaryPredicate) Mid-level-ontology.kif 25970-25970 equipment count is an instance of ternary predicate

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 22348-22348
(termFormat ChineseTraditionalLanguage equipmentCount "設備數量") domainEnglishFormat.kif 22347-22347
(termFormat EnglishLanguage equipmentCount "equipment count") domainEnglishFormat.kif 22346-22346

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


(=>
    (and
        (instance ?HARBOR Harbor)
        (equipmentCount ?HARBOR ShipBerth ?NUM)
        (greaterThan ?NUM 0))
    (capability ShipBerthing path ?HARBOR))
Transportation.kif 3780-3785
(=>
    (equipmentCount ?O ?T ?C)
    (exists (?DEVICE)
        (and
            (instance ?DEVICE ?T)
            (equipmentType ?O ?T))))
Mid-level-ontology.kif 25998-26003

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


(=>
    (equipmentType ?O ?T)
    (exists (?C ?D)
        (and
            (instance ?D ?T)
            (greaterThanOrEqualTo ?C 1)
            (equipmentCount ?O ?T ?C))))
Mid-level-ontology.kif 26005-26011
(=>
    (instance ?A Automobile)
    (equipmentCount ?A Axle 2))
Transportation.kif 2098-2100
(=>
    (instance ?A Automobile)
    (equipmentCount ?A VehicleWheel 4))
Transportation.kif 2094-2096
(=>
    (instance ?M Motorcycle)
    (equipmentCount ?M VehicleWheel 2))
Transportation.kif 2021-2023


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 3.0 is open source software produced by Articulate Software and its partners