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

Formal Language: 



KB Term:  Term intersection
English Word: 

  equipmentCount

 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 24370-24375
(domain equipmentCount 1 Object) Mid-level-ontology.kif 24366-24366 域 設備數量, 1 and Object
(domain equipmentCount 3 Quantity) Mid-level-ontology.kif 24368-24368 域 設備數量, 3 and Quantity
(domainSubclass equipmentCount 2 Device) Mid-level-ontology.kif 24367-24367 域子類 設備數量, 2 and Device
(instance equipmentCount TernaryPredicate) Mid-level-ontology.kif 24365-24365 例 設備數量 and TernaryPredicate

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

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


(=>
    (and
        (instance ?HARBOR Harbor)
        (equipmentCount ?HARBOR ShipBerth ?NUM)
        (greaterThan ?NUM 0))
    (capability ShipBerthing path ?HARBOR))		 Transportation.kif 3123-3128
(=>
    (equipmentCount ?O ?T ?C)
    (exists (?DEVICE)
        (and
            (instance ?DEVICE ?T)
            (equipmentType ?O ?T))))		 Mid-level-ontology.kif 24393-24398

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


(=>
    (equipmentType ?O ?T)
    (exists (?C ?D)
        (and
            (instance ?D ?T)
            (greaterThanOrEqualTo ?C 1)
            (equipmentCount ?O ?T ?C))))		 Mid-level-ontology.kif 24400-24406
(=>
    (instance ?A Automobile)
    (equipmentCount ?A Axle 2))		 Transportation.kif 1958-1960
(=>
    (instance ?A Automobile)
    (equipmentCount ?A VehicleWheel 4))		 Transportation.kif 1954-1956
(=>
    (instance ?M Motorcycle)
    (equipmentCount ?M VehicleWheel 2))		 Transportation.kif 1881-1883


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