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

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


(instance Amu UnitOfMass) Merge.kif 6690-6690 instance Amu and UnitOfMass
(instance AtomGram UnitOfMass) Merge.kif 6807-6807 instance AtomGram and UnitOfMass
(instance Gram UnitOfMass) Merge.kif 6251-6251 instance Gram and UnitOfMass
(instance Kilogram UnitOfMass) Merge.kif 6821-6821 instance Kilogram and UnitOfMass
(instance LongTon UnitOfMass) Mid-level-ontology.kif 11205-11205 instance LongTon and UnitOfMass
(instance MetricTon UnitOfMass) Mid-level-ontology.kif 11189-11189 instance MetricTon and UnitOfMass
(instance Mole UnitOfMass) Merge.kif 6296-6296 instance Mole and UnitOfMass
(instance OunceMass UnitOfMass) Mid-level-ontology.kif 10934-10934 instance OunceMass and UnitOfMass
(instance PoundMass UnitOfMass) Merge.kif 6836-6836 instance PoundMass and UnitOfMass
(instance Slug UnitOfMass) Merge.kif 6844-6844 instance Slug and UnitOfMass
(instance TonMass UnitOfMass) Mid-level-ontology.kif 11180-11180 instance TonMass and UnitOfMass

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


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