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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitOfMass

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 6261-6264
(documentation UnitOfMass JapaneseLanguage "この Class のすべてのインスタンスは、MeasureFn と共に MassMeasure のインスタンスを形成するために使用できる UnitOfMeasure であり、 PhysicalObject での問題の量を示す。") japanese_format.kif 1093-1095
(subclass UnitOfMass NonCompositeUnitOfMeasure) Merge.kif 6259-6259 UnitOfMass est une sous-classe de NonCompositeUnitOfMeasure

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


(instance Amu UnitOfMass) Merge.kif 7146-7146 Amu est une instance de UnitOfMass
(instance AtomGram UnitOfMass) Merge.kif 7263-7263 AtomGram est une instance de UnitOfMass
(instance Gram UnitOfMass) Merge.kif 6700-6700 Gram est une instance de UnitOfMass
(instance Kilogram UnitOfMass) Merge.kif 7277-7277 Kilogram est une instance de UnitOfMass
(instance LongTon UnitOfMass) Mid-level-ontology.kif 13613-13613 LongTon est une instance de UnitOfMass
(instance MetricTon UnitOfMass) Mid-level-ontology.kif 13597-13597 MetricTon est une instance de UnitOfMass
(instance Mole UnitOfMass) Merge.kif 6746-6746 Mole est une instance de UnitOfMass
(instance OunceMass UnitOfMass) Mid-level-ontology.kif 13322-13322 OunceMass est une instance de UnitOfMass
(instance PoundMass UnitOfMass) Merge.kif 7292-7292 PoundMass est une instance de UnitOfMass
(instance Slug UnitOfMass) Merge.kif 7300-7300 Slug est une instance de UnitOfMass
(instance TonMass UnitOfMass) Mid-level-ontology.kif 13588-13588 TonMass est une instance de UnitOfMass
(termFormat EnglishLanguage UnitOfMass "unit of mass") domainEnglishFormat.kif 65659-65659

appearance as argument number 3
-------------------------


(domain AmountsFn 3 UnitOfMass) Merge.kif 7579-7579 Le nombre 3 argument de AmountsFn est une instance de UnitOfMass

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


(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfMass))
    (instance ?QUANT MassMeasure))
Merge.kif 6364-6368
(=>
    (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 803-810
(=>
    (lethalDose ?AGENT
        (PerFn
            (MeasureFn ?NUMBER1 ?UNIT1)
            (MeasureFn ?NUMBER2 ?UNIT2)))
    (and
        (instance ?UNIT1 UnitOfMass)
        (instance ?UNIT2 UnitOfMass)))
WMD.kif 860-867


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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