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 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 5825-5828
(documentation UnitOfMass EnglishLanguage "这个 Class 所有的实例都是可以用 MeasureFn 来 组成 MassMeasure 实例的 UnitOfMeasure,来表示 PhysicalObject 所含物质的数量。") Merge.kif 5830-5831
(subclass UnitOfMass NonCompositeUnitOfMeasure) Merge.kif 5823-5823

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


(instance Amu UnitOfMass) Merge.kif 6723-6723
(instance AtomGram UnitOfMass) Merge.kif 6840-6840
(instance Gram UnitOfMass) Merge.kif 6284-6284
(instance Kilogram UnitOfMass) Merge.kif 6854-6854
(instance LongTon UnitOfMass) Mid-level-ontology.kif 11212-11212
(instance MetricTon UnitOfMass) Mid-level-ontology.kif 11196-11196
(instance Mole UnitOfMass) Merge.kif 6329-6329
(instance OunceMass UnitOfMass) Mid-level-ontology.kif 10941-10941
(instance PoundMass UnitOfMass) Merge.kif 6869-6869
(instance Slug UnitOfMass) Merge.kif 6877-6877
(instance TonMass UnitOfMass) Mid-level-ontology.kif 11187-11187

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


(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfMass))
    (instance ?QUANT MassMeasure))
Merge.kif 5930-5934
(=>
    (and
        (instance ?UNIT UnitOfMass)
        (fleetDeadWeightTonnage ?FLEET
            (MeasureFn ?NUMBER ?UNIT)))
    (equal ?UNIT LongTon))
Transportation.kif 1002-1006
(=>
    (and
        (instance ?UNIT UnitOfMass)
        (fleetGrossRegisteredTonnage ?FLEET
            (MeasureFn ?NUMBER ?UNIT)))
    (equal ?UNIT RegistryTon))
Transportation.kif 985-989


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners