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


KB Term:  Term intersection
English Word: 

Sigma KEE - weight
weight

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


(domain weight 1 SelfConnectedObject) Merge.kif 7352-7352 The number 1 argument of weight is an instance of self connected object
(domain weight 2 MassMeasure) Merge.kif 7353-7353 The number 2 argument of weight is an instance of mass measure
(instance weight BinaryPredicate) Merge.kif 7354-7354 weight is an instance of binary predicate
(subrelation weight measure) Merge.kif 7355-7355 weight is a subrelation of measure
(documentation weight EnglishLanguage "(weight ?O ?MM) means that on planet earth the SelfConnectedObject ?O has the weight ?MM.") Merge.kif 7357-7358 weight is a subrelation of measure

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


(format EnglishLanguage weight "%2 is %n a weight of %1") domainEnglishFormat.kif 2620-2620
(format ChineseTraditionalLanguage weight "%2 %n 是 %1 的 weight ") domainEnglishFormat.kif 2621-2621
(format ChineseLanguage weight "%2 %n 是 %1 的 weight ") domainEnglishFormat.kif 2622-2622
(termFormat EnglishLanguage weight "weight") domainEnglishFormat.kif 62680-62680
(termFormat ChineseTraditionalLanguage weight "重量") domainEnglishFormat.kif 62681-62681
(termFormat ChineseLanguage weight "重量") domainEnglishFormat.kif 62682-62682

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


(=>
    (and
        (instance ?L CocoaLiquor)
        (weight ?L
            (MeasureFn 100.0 Gram))
        (instance ?S CocoaSolid)
        (part ?S ?L)
        (weight ?S
            (MeasureFn ?X Gram))
        (instance ?B CocoaButter)
        (part ?B ?L)
        (weight ?B
            (MeasureFn ?Y Gram)))
    (and
        (approximateValue ?X 50.0)
        (approximateValue ?Y 50.0)))		 Food.kif 2470-2485 If All of the following hold: (1) X is an instance of cocoa liquor (2) 100.0 gram(s) is a weight of X (3) Y is an instance of cocoa solid (4) Y is a part of X (5) Z gram(s) is a weight of Y (6) W is an instance of cocoa butter (7) W is a part of X (8) V gram(s) is a weight of W, then the approximate value of Z is 50.0 and the approximate value of V is 50.0
(=>
    (and
        (maximumPayloadCapacity ?V
            (MeasureFn ?WEIGHT ?UNITWEIGHT))
        (maximumPayloadHeightWidth ?V
            (MeasureFn ?HEIGHT ?UNITHEIGHT)
            (MeasureFn ?WIDTH ?UNITWIDTH))
        (instance ?O SelfConnectedObject)
        (weight ?O
            (MeasureFn ?WEO ?WEOU))
        (width ?O
            (MeasureFn ?WO ?WOU))
        (height ?O
            (MeasureFn ?HO ?HOU))
        (equal ?WEOU ?UNITWEIGHT)
        (equal ?WOU ?UNITWIDTH)
        (equal ?HOU ?UNITHEIGHT)
        (lessThanOrEqualTo ?WEO ?WEIGHT)
        (lessThanOrEqualTo ?WO ?WIDTH)
        (lessThanOrEqualTo ?HO ?HEIGHT))
    (capability
        (KappaFn ?TRANSPORT
            (and
                (instance ?TRANSPORT Transportation)
                (patient ?TRANSPORT ?O))) instrument ?V))		 MilitaryDevices.kif 144-169 If All of the following hold: (1) X Y(s) is a maximum payload capacity of Z (2) Z is maximum payload height width W V(s) for U T(s) (3) S is an instance of self connected object (4) R Q(s) is a weight of S (5) the width of S is P O(s) (6) the height of S is N M(s) (7) equal Q and Y (8) equal O and T (9) equal M and V (10) R is less than or equal to X (11) P is less than or equal to U (12) N is less than or equal to W, then Z is capable of doing the class described by L as a instrument
(=>
    (and
        (instance ?T ShipContainer)
        (capacity ?T
            (MeasureFn ?X ?U))
        (instance ?X UnitOfMass)
        (contains ?T ?O)
        (weight ?O
            (MeasureFn ?Y ?U))
        (lessThan ?Y ?X))
    (modalAttribute
        (not
            (exists (?D)
                (and
                    (instance ?D Damaging)
                    (patient ?D ?T)))) Likely))		 Transportation.kif 2869-2884 If All of the following hold: (1) X is an instance of ship container (2) Y Z(s) is a capacity of X (3) Y is an instance of unit of mass (4) X contains W (5) V Z(s) is a weight of W (6) V is less than Y, then the statement there doesn't exist U such that U is an instance of damaging and X is a patient of U has the modal force of likely

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


(=>
    (maximumPayloadCapacity ?V
        (MeasureFn ?LOAD ?UNITLOAD))
    (not
        (exists (?TP ?O ?WO ?WOU)
            (and
                (instance ?TP Transportation)
                (instrument ?TP ?V)
                (patient ?TP ?O)
                (weight ?O
                    (MeasureFn ?WO ?WOU))
                (equal ?WOU ?UNITLOAD)
                (greaterThan ?WO ?LOAD)))))		 MilitaryDevices.kif 92-104 If X Y(s) is a maximum payload capacity of Z, then there don't exist W, V,, , U and T such that W is an instance of transportation and Z is an instrument for W and V is a patient of W and U T(s) is a weight of V and equal T and Y and U is greater than X
(=>
    (instance ?M242 M242)
    (weight ?M242
        (MeasureFn 110.0 Kilogram)))		 MilitaryDevices.kif 451-454 If X is an instance of m242, then 110.0 kilogram(s) is a weight of X
(=>
    (instance ?GAU12U GAU12U)
    (weight ?GAU12U
        (MeasureFn 122.0 Kilogram)))		 MilitaryDevices.kif 478-481 If X is an instance of GAU12U, then 122.0 kilogram(s) is a weight of X
(=>
    (instance ?M240 M240)
    (weight ?M240
        (MeasureFn 12.5 Kilogram)))		 MilitaryDevices.kif 555-558 If X is an instance of m240, then 12.5 kilogram(s) is a weight of X
(=>
    (instance ?M60 M60)
    (weight ?M60
        (MeasureFn 10.5 Kilogram)))		 MilitaryDevices.kif 595-598 If X is an instance of m60, then 10.5 kilogram(s) is a weight of X
(=>
    (instance ?M2Browning M2Browning)
    (weight ?M2Browning
        (MeasureFn 38.0 Kilogram)))		 MilitaryDevices.kif 659-662 If X is an instance of m2 browning, then 38.0 kilogram(s) is a weight of X
(=>
    (instance ?XM218 XM218)
    (weight ?XM218
        (MeasureFn 27.0 Kilogram)))		 MilitaryDevices.kif 693-696 If X is an instance of XM218, then 27.0 kilogram(s) is a weight of X
(=>
    (instance ?M3M M3M)
    (weight ?M3M
        (MeasureFn 35.8 Kilogram)))		 MilitaryDevices.kif 736-739 If X is an instance of M3M, then 35.8 kilogram(s) is a weight of X
(=>
    (instance ?MK19 MK19)
    (weight ?MK19
        (MeasureFn 33.0 Kilogram)))		 MilitaryDevices.kif 798-801 If X is an instance of Mk19, then 33.0 kilogram(s) is a weight of X
(=>
    (instance ?DragonWeapon DragonWeapon)
    (weight ?DragonWeapon
        (MeasureFn 33.9 PoundMass)))		 MilitaryDevices.kif 864-867 If X is an instance of dragon weapon, then 33.9 pound mass(s) is a weight of X
(=>
    (instance ?JavelinWeapon JavelinWeapon)
    (weight ?JavelinWeapon
        (MeasureFn 49.5 PoundMass)))		 MilitaryDevices.kif 923-926 If X is an instance of javelin weapon, then 49.5 pound mass(s) is a weight of X
(=>
    (instance ?SMAWBunkerBuster SMAWBunkerBuster)
    (weight ?SMAWBunkerBuster
        (MeasureFn 7.54 Kilogram)))		 MilitaryDevices.kif 990-993 If X is an instance of SMAW bunker buster, then 7.54 kilogram(s) is a weight of X
(=>
    (instance ?BGM71TOW BGM71TOW)
    (weight ?BGM71TOW
        (MeasureFn 18.9 Kilogram)))		 MilitaryDevices.kif 1012-1015 If X is an instance of BG m71TO w, then 18.9 kilogram(s) is a weight of X
(=>
    (instance ?AGM65 AGM65)
    (and
        (length ?AGM65
            (MeasureFn 2.55 Meter))
        (width ?AGM65
            (MeasureFn 0.7 Meter))
        (height ?AGM65
            (MeasureFn 0.7 Meter))
        (weight ?AGM65
            (MeasureFn 302.0 Kilogram))
        (effectiveRange ?AGM65
            (MeasureFn 27.0 Kilometer))))		 MilitaryDevices.kif 1312-1324 If X is an instance of AG m65, then the length of X is 2.55 meter(s), the width of X is 0.7 meter(s), the height of X is 0.7 meter(s), 302.0 kilogram(s) is a weight of X, and 27.0 kilometer(s) is an effective range of X
(=>
    (instance ?AIM9 AIM9)
    (and
        (length ?AIM9
            (MeasureFn 2.85 Meter))
        (width ?AIM9
            (MeasureFn 0.63 Meter))
        (height ?AIM9
            (MeasureFn 0.63 Meter))
        (weight ?AIM9
            (MeasureFn 91.0 Kilogram))
        (effectiveRange ?AIM9
            (MeasureFn 18.0 Kilometer))))		 MilitaryDevices.kif 1346-1358 If X is an instance of AI m9, then the length of X is 2.85 meter(s), the width of X is 0.63 meter(s), the height of X is 0.63 meter(s), 91.0 kilogram(s) is a weight of X, and 18.0 kilometer(s) is an effective range of X
(=>
    (instance ?AGM114 AGM114)
    (and
        (length ?AGM114
            (MeasureFn 1.63 Meter))
        (width ?AGM114
            (MeasureFn 0.71 Meter))
        (height ?AGM114
            (MeasureFn 0.71 Meter))
        (weight ?AGM114
            (MeasureFn 45.0 Kilogram))
        (effectiveRange ?AGM114
            (MeasureFn 8.0 Kilometer))))		 MilitaryDevices.kif 1392-1404 If X is an instance of AG m114, then the length of X is 1.63 meter(s), the width of X is 0.71 meter(s), the height of X is 0.71 meter(s), 45.0 kilogram(s) is a weight of X, and 8.0 kilometer(s) is an effective range of X
(=>
    (instance ?LAV LAV25)
    (and
        (length ?LAV
            (MeasureFn 6.39 Meter))
        (width ?LAV
            (MeasureFn 2.5 Meter))
        (height ?LAV
            (MeasureFn 2.69 Meter))
        (weight ?LAV
            (MeasureFn 12802.8 Kilogram))
        (effectiveRange ?LAV
            (MeasureFn 660.1 Kilometer))))		 MilitaryDevices.kif 1699-1711 If X is an instance of LAV25, then the length of X is 6.39 meter(s), the width of X is 2.5 meter(s), the height of X is 2.69 meter(s), 12802.8 kilogram(s) is a weight of X, and 660.1 kilometer(s) is an effective range of X
(=>
    (instance ?AAV AAV)
    (and
        (length ?AAV
            (MeasureFn 7.94 Meter))
        (width ?AAV
            (MeasureFn 3.27 Meter))
        (weight ?AAV
            (MeasureFn 22.8 TonMass))
        (height ?AAV
            (MeasureFn 3.26 Meter))
        (effectiveRange ?AAV
            (MeasureFn 480.0 Kilometer))))		 MilitaryDevices.kif 1819-1831 If X is an instance of Amphibious Assault Vehicle, then the length of X is 7.94 meter(s), the width of X is 3.27 meter(s), 22.8 ton mass(s) is a weight of X, the height of X is 3.26 meter(s), and 480.0 kilometer(s) is an effective range of X
(=>
    (instance ?Harrier Harrier2)
    (and
        (length ?Harrier
            (MeasureFn 14.1 Meter))
        (width ?Harrier
            (MeasureFn 9.2 Meter))
        (height ?Harrier
            (MeasureFn 3.5 Meter))
        (weight ?Harrier
            (MeasureFn 5700.0 Kilogram))
        (effectiveRange ?Harrier
            (MeasureFn 1000.0 Kilometer))))		 MilitaryDevices.kif 1901-1913 If X is an instance of harrier2, then the length of X is 14.1 meter(s), the width of X is 9.2 meter(s), the height of X is 3.5 meter(s), 5700.0 kilogram(s) is a weight of X, and 1000.0 kilometer(s) is an effective range of X
(=>
    (instance ?CH53E CH53E)
    (and
        (length ?CH53E
            (MeasureFn 30.2 Meter))
        (width ?CH53E
            (MeasureFn 24.1 Meter))
        (height ?CH53E
            (MeasureFn 8.46 Meter))
        (weight ?CH53E
            (MeasureFn 15071.0 Kilogram))
        (effectiveRange ?CH53E
            (MeasureFn 2000.0 Kilometer))))		 MilitaryDevices.kif 1945-1957 If X is an instance of C h53 e, then the length of X is 30.2 meter(s), the width of X is 24.1 meter(s), the height of X is 8.46 meter(s), 15071.0 kilogram(s) is a weight of X, and 2000.0 kilometer(s) is an effective range of X
(=>
    (instance ?CH46D CH46D)
    (and
        (length ?CH46D
            (MeasureFn 25.72 Meter))
        (width ?CH46D
            (MeasureFn 15.54 Meter))
        (height ?CH46D
            (MeasureFn 5.1 Meter))
        (weight ?CH46D
            (MeasureFn 7047.0 Kilogram))
        (effectiveRange ?CH46D
            (MeasureFn 676.0 Kilometer))))		 MilitaryDevices.kif 2017-2029 If X is an instance of C h46 d, then the length of X is 25.72 meter(s), the width of X is 15.54 meter(s), the height of X is 5.1 meter(s), 7047.0 kilogram(s) is a weight of X, and 676.0 kilometer(s) is an effective range of X
(=>
    (instance ?AH1 AH1)
    (and
        (length ?AH1
            (MeasureFn 17.68 Meter))
        (width ?AH1
            (MeasureFn 14.63 Meter))
        (height ?AH1
            (MeasureFn 4.44 Meter))
        (weight ?AH1
            (MeasureFn 4634.0 Kilogram))
        (effectiveRange ?AH1
            (MeasureFn 587.0 Kilometer))))		 MilitaryDevices.kif 2057-2069 If X is an instance of A h1, then the length of X is 17.68 meter(s), the width of X is 14.63 meter(s), the height of X is 4.44 meter(s), 4634.0 kilogram(s) is a weight of X, and 587.0 kilometer(s) is an effective range of X
(=>
    (and
        (equal
            (MeasureFn ?Y McgPerKg)
            (PerFn ?M1 ?M2))
        (equal ?M1
            (MeasureFn ?NUM1
                (MicroFn Gram)))
        (equal ?M2
            (MeasureFn ?NUM2
                (KiloFn Gram))))
    (exists (?I ?B ?A)
        (and
            (instance ?I Ingesting)
            (instance ?B BiologicallyActiveSubstance)
            (instance ?A Organism)
            (patient ?I ?B)
            (agent ?I ?A)
            (weight ?B ?M1)
            (weight ?A ?M2))))		 WMD.kif 818-835 If equal X micrograms per kilogram(s) and the per of Y and Z, equal Y and W one millionth of a gram(s), and equal Z and V 1 thousand grams(s), then All of the following hold: (1) there exist U, T (2) S such that U is an instance of ingesting (3) T is an instance of biologically active substance (4) S is an instance of organism (5) T is a patient of U (6) S is an agent of U (7) Y is a weight of T (8) Z is a weight of S


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