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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitOfMass
UnitOfMass

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


(documentation UnitOfMass ChineseLanguage "这个 Class 所有的实例都是可以用 MeasureFn 来组成 MassMeasure 实例的 UnitOfMeasure,来表示 PhysicalObject 所含物质的数量。") chinese_format.kif 4064-4064
(documentation UnitOfMass EnglishLanguage "Every instance of this Class is a UnitOfMeasure that can be used with MeasureFn to form instances of MassMeasure, which denote the amount of matter in PhysicalObjects.") Merge.kif 6033-6036
(subclass UnitOfMass NonCompositeUnitOfMeasure) Merge.kif 6031-6031 UnitOfMass is a subclass of NonCompositeUnitOfMeasure

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


(instance Amu UnitOfMass) Merge.kif 6932-6932 Amu is an instance of UnitOfMass
(instance AtomGram UnitOfMass) Merge.kif 7049-7049 Atom gram is an instance of UnitOfMass
(instance Gram UnitOfMass) Merge.kif 6490-6490 Gram is an instance of UnitOfMass
(instance Kilogram UnitOfMass) Merge.kif 7063-7063 Kilogram is an instance of UnitOfMass
(instance LongTon UnitOfMass) Mid-level-ontology.kif 12816-12816 Long ton is an instance of UnitOfMass
(instance MetricTon UnitOfMass) Mid-level-ontology.kif 12800-12800 Metric ton is an instance of UnitOfMass
(instance Mole UnitOfMass) Merge.kif 6536-6536 Mole is an instance of UnitOfMass
(instance OunceMass UnitOfMass) Mid-level-ontology.kif 12520-12520 Ounce is an instance of UnitOfMass
(instance PoundMass UnitOfMass) Merge.kif 7078-7078 Pound mass is an instance of UnitOfMass
(instance Slug UnitOfMass) Merge.kif 7086-7086 Slug is an instance of UnitOfMass
(instance TonMass UnitOfMass) Mid-level-ontology.kif 12791-12791 Ton mass is an instance of UnitOfMass

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


(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfMass))
    (instance ?QUANT MassMeasure))
Merge.kif 6136-6140
(=>
    (and
        (instance ?UNIT UnitOfMass)
        (fleetDeadWeightTonnage ?FLEET
            (MeasureFn ?NUMBER ?UNIT)))
    (equal ?UNIT LongTon))
Transportation.kif 1013-1017
(=>
    (and
        (instance ?UNIT UnitOfMass)
        (fleetGrossRegisteredTonnage ?FLEET
            (MeasureFn ?NUMBER ?UNIT)))
    (equal ?UNIT RegistryTon))
Transportation.kif 996-1000

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


(=>
    (effectiveDose ?AGENT
        (PerFn
            (MeasureFn ?NUMBER1 ?UNIT1)
            (MeasureFn ?NUMBER2 ?UNIT2)))
    (and
        (instance ?UNIT1 UnitOfMass)
        (instance ?UNIT2 UnitOfMass)))
WMD.kif 798-805
(=>
    (lethalDose ?AGENT
        (PerFn
            (MeasureFn ?NUMBER1 ?UNIT1)
            (MeasureFn ?NUMBER2 ?UNIT2)))
    (and
        (instance ?UNIT1 UnitOfMass)
        (instance ?UNIT2 UnitOfMass)))
WMD.kif 855-862


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