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

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


(instance Amu UnitOfMass) Merge.kif 7399-7399
(instance AtomGram UnitOfMass) Merge.kif 7521-7521
(instance Gram UnitOfMass) Merge.kif 6904-6904
(instance Kilogram UnitOfMass) Merge.kif 7539-7539
(instance LongTon UnitOfMass) Mid-level-ontology.kif 11207-11207
(instance MetricTon UnitOfMass) Mid-level-ontology.kif 11191-11191
(instance Mole UnitOfMass) Merge.kif 6955-6955
(instance OunceMass UnitOfMass) Mid-level-ontology.kif 10936-10936
(instance PoundMass UnitOfMass) Merge.kif 7555-7555
(instance Slug UnitOfMass) Merge.kif 7563-7563
(instance TonMass UnitOfMass) Mid-level-ontology.kif 11182-11182

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


(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfMass))
    (instance ?QUANT MassMeasure))
Merge.kif 6508-6512
(=>
    (and
        (instance ?UNIT UnitOfMass)
        (fleetDeadWeightTonnage ?FLEET
            (MeasureFn ?NUMBER ?UNIT)))
    (equal ?UNIT LongTon))
Transportation.kif 960-964
(=>
    (and
        (instance ?UNIT UnitOfMass)
        (fleetGrossRegisteredTonnage ?FLEET
            (MeasureFn ?NUMBER ?UNIT)))
    (equal ?UNIT RegistryTon))
Transportation.kif 943-947
(=>
    (and
        (massLimit ?ROBOT ?MASSLIMIT)
        (instance ?INSTANCE ?OBJECT)
        (subclass ?OBJECT Object)
        (instance ?UNITOFMASS UnitOfMass)
        (defaultMaximumMeasure ?OBJECT
            (MeasureFn ?NUM ?UNITOFMASS))
        (greaterThan ?NUM ?MASSLIMIT))
    (not
        (canCarry ?ROBOT ?INSTANCE)))
Robot.kif 86-95


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