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

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


(instance Amu UnitOfMass) Merge.kif 6819-6819 instance Amu and UnitOfMass
(instance AtomGram UnitOfMass) Merge.kif 6936-6936 instance AtomGram and UnitOfMass
(instance Gram UnitOfMass) Merge.kif 6380-6380 instance Gram and UnitOfMass
(instance Kilogram UnitOfMass) Merge.kif 6950-6950 instance Kilogram and UnitOfMass
(instance LongTon UnitOfMass) Mid-level-ontology.kif 11265-11265 instance LongTon and UnitOfMass
(instance MetricTon UnitOfMass) Mid-level-ontology.kif 11249-11249 instance MetricTon and UnitOfMass
(instance Mole UnitOfMass) Merge.kif 6425-6425 instance Mole and UnitOfMass
(instance OunceMass UnitOfMass) Mid-level-ontology.kif 10994-10994 instance OunceMass and UnitOfMass
(instance PoundMass UnitOfMass) Merge.kif 6965-6965 instance PoundMass and UnitOfMass
(instance Slug UnitOfMass) Merge.kif 6973-6973 instance Slug and UnitOfMass
(instance TonMass UnitOfMass) Mid-level-ontology.kif 11240-11240 instance TonMass and UnitOfMass

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


(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfMass))
    (instance ?QUANT MassMeasure))
Merge.kif 6026-6030
(=>
    (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