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

KB Term:  Term intersection
English Word: 

Sigma KEE - equipmentCount
equipmentCount

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


(instance equipmentCount TernaryPredicate) Mid-level-ontology.kif 26607-26607 equipment count is an instance of ternary predicate
(domain equipmentCount 1 Object) Mid-level-ontology.kif 26608-26608 The number 1 argument of equipment count is an instance of object
(domainSubclass equipmentCount 2 Device) Mid-level-ontology.kif 26609-26609 The number 2 argument of equipment count is a subclass of device
(domain equipmentCount 3 Quantity) Mid-level-ontology.kif 26610-26610 The number 3 argument of equipment count is an instance of quantity
(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 26612-26617 The number 3 argument of equipment count is an instance of quantity

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


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

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


(=>
    (equipmentCount ?O ?T ?C)
    (exists (?DEVICE)
        (and
            (instance ?DEVICE ?T)
            (equipmentType ?O ?T))))		 Mid-level-ontology.kif 26635-26640 If X equipment count Y for Z, then there exists W such that W is an instance of Y and Y is an equipment type of X
(=>
    (and
        (instance ?HARBOR Harbor)
        (equipmentCount ?HARBOR ShipBerth ?NUM)
        (greaterThan ?NUM 0))
    (capability ShipBerthing path ?HARBOR))		 Transportation.kif 4320-4325 If X is an instance of harbor, X equipment count ship berth for Y, and Y is greater than 0, then X is capable of doing ship berthing as a path

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


(=>
    (equipmentType ?O ?T)
    (exists (?C ?D)
        (and
            (instance ?D ?T)
            (greaterThanOrEqualTo ?C 1)
            (equipmentCount ?O ?T ?C))))		 Mid-level-ontology.kif 26642-26648 If X is an equipment type of Y, then there exist Z, W such that W is an instance of X, Z is greater than or equal to 1, and Y equipment count X for Z
(=>
    (instance ?M Motorcycle)
    (equipmentCount ?M VehicleWheel 2))		 Transportation.kif 2036-2038 If X is an instance of motorcycle, then X equipment count vehicle wheel for 2
(=>
    (instance ?A Automobile)
    (equipmentCount ?A VehicleWheel 4))		 Transportation.kif 2114-2116 If X is an instance of automobile, then X equipment count vehicle wheel for 4
(=>
    (instance ?A Automobile)
    (equipmentCount ?A Axle 2))		 Transportation.kif 2118-2120 If X is an instance of automobile, then X equipment count axle for 2


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners