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
-------------------------


s__documentation(s__equipmentCount__m,s__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 23337-23342
s__domain(s__equipmentCount__m,n__1,s__Object)

Mid-level-ontology.kif 23333-23333 The number 1 argument of equipment count is an instance of object
s__domain(s__equipmentCount__m,n__3,s__Quantity)

Mid-level-ontology.kif 23335-23335 The number 3 argument of equipment count is an instance of quantity
s__domainSubclass(s__equipmentCount__m,n__2,s__Device)

Mid-level-ontology.kif 23334-23334 The number 2 argument of equipment count is a subclass of device
s__instance(s__TernaryPredicate,s__SetOrClass)

s__instance(s__equipmentCount__m,s__TernaryPredicate)

Mid-level-ontology.kif 23332-23332 equipment count is an instance of ternary predicate

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


s__format(s__ChineseLanguage,s__equipmentCount__m,'"%1 %n{不} 对于 %3 equipment 记数 %2 "')

domainEnglishFormat.kif 915-915
s__format(s__ChineseTraditionalLanguage,s__equipmentCount__m,'"%1 %n{不} 對於 %3 equipment 記數 %2 "')

domainEnglishFormat.kif 914-914
s__format(s__EnglishLanguage,s__equipmentCount__m,'"%1 %n{doesnt} equipment count %2 for %3"')

domainEnglishFormat.kif 913-913
s__termFormat(s__ChineseLanguage,s__equipmentCount__m,'"设备数量"')

domainEnglishFormat.kif 22335-22335
s__termFormat(s__ChineseTraditionalLanguage,s__equipmentCount__m,'"設備數量"')

domainEnglishFormat.kif 22334-22334
s__termFormat(s__EnglishLanguage,s__equipmentCount__m,'"equipment count"')

domainEnglishFormat.kif 22333-22333

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


( ! [V__HARBOR,V__NUM] :
   ((s__instance(V__NUM,s__Quantity) =>
       (((s__instance(V__HARBOR,s__Harbor) &
             s__equipmentCount(V__HARBOR,s__ShipBerth,V__NUM)
           &
           s__greaterThan(V__NUM,n__0))
       =>
       (s__capability(s__ShipBerthing,s__path__m,V__HARBOR)))))
)
)

Transportation.kif 2949-2954
( ! [V__O,V__C,V__T] :
   (((s__instance(V__O,s__Artifact) &
         s__instance(V__C,s__Quantity) &
         s__subclass(V__T,s__Device) &
         s__instance(V__T,s__Device))
       =>
       ((s__equipmentCount(V__O,V__T,V__C)
         =>
         (s__equipmentType(V__O,V__T)))))
)
)

Mid-level-ontology.kif 23360-23362

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


( ! [V__O,V__T] :
   (((s__instance(V__O,s__Artifact) &
         s__subclass(V__T,s__Device) &
         s__instance(V__T,s__Device))
       =>
       ((s__equipmentType(V__O,V__T)
         =>
         (( ? [V__C] :
             ((s__instance(V__C,s__Quantity) &
                 (s__greaterThanOrEqualTo(V__C,n__1)
                 &
                 s__equipmentCount(V__O,V__T,V__C)))))))))
)
)

Mid-level-ontology.kif 23364-23369
( ! [V__A] :
   ((s__instance(V__A,s__Automobile) =>
       (s__equipmentCount(V__A,s__Axle,n__2)))
   )
)

Transportation.kif 1966-1968
( ! [V__A] :
   ((s__instance(V__A,s__Automobile) =>
       (s__equipmentCount(V__A,s__VehicleWheel,n__4)))
   )
)

Transportation.kif 1962-1964
( ! [V__M] :
   ((s__instance(V__M,s__Motorcycle) =>
       (s__equipmentCount(V__M,s__VehicleWheel,n__2)))
   )
)

Transportation.kif 1889-1891


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