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


KB Term:  Term intersection
English Word: 

  TonMass

 Sigma KEE - TonMass
TonMass(ton mass)net_ton, short_ton, ton

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


(instance TonMass UnitOfMass) Mid-level-ontology.kif 15151-15151 Ton mass is an instance of unit of mass
(documentation TonMass EnglishLanguage "English mass unit that is equal to 2000 pounds.") Mid-level-ontology.kif 15152-15152 Ton mass is an instance of unit of mass

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


(termFormat EnglishLanguage TonMass "ton mass") domainEnglishFormat.kif 58429-58429
(termFormat ChineseTraditionalLanguage TonMass "噸質量") domainEnglishFormat.kif 58430-58430
(termFormat ChineseLanguage TonMass "吨质量") domainEnglishFormat.kif 58431-58431

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


(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER TonMass)
        (MeasureFn
            (MultiplicationFn ?NUMBER 2205.0) PoundMass)))		 Mid-level-ontology.kif 15154-15158 If equal X, 1.0, and X, then equal X ton mass(s) and X and 2205.0 pound mass(s)
(=>
    (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 ?LCAC LCAC)
    (maximumPayloadCapacity ?LCAC
        (MeasureFn 60.0 TonMass)))		 MilitaryDevices.kif 2149-2152 If X is an instance of LCAC, then 60.0 ton mass(s) is a maximum payload capacity of X

statement
-------------------------


(defaultMaximumMeasure SafeContainer
    (MeasureFn 2 TonMass))		 DimensioningAmenities.kif 295-295 The maximum expected value of safe container is 2 ton mass(s)
(defaultMaximumMeasure Tire
    (MeasureFn 0.5 TonMass))		 DimensioningAmenities.kif 909-909 The maximum expected value of tire is 0.5 ton mass(s)
(defaultMaximumMeasure VehicleWheel
    (MeasureFn 0.5 TonMass))		 DimensioningAmenities.kif 918-918 The maximum expected value of vehicle wheel is 0.5 ton mass(s)
(defaultMinimumMeasure MilitaryTank
    (MeasureFn 50 TonMass))		 DimensioningAmenities.kif 999-999 The minimum expected value of military tank is 50 ton mass(s)
(defaultMaximumMeasure MilitaryTank
    (MeasureFn 90 TonMass))		 DimensioningAmenities.kif 1000-1000 The maximum expected value of military tank is 90 ton mass(s)


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