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 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 6165-6168
(subclass UnitOfMass NonCompositeUnitOfMeasure) Merge.kif 6163-6163 UnitOfMassNonCompositeUnitOfMeasuresubclass

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


(instance Amu UnitOfMass) Merge.kif 7050-7050 AmuUnitOfMassinstance
(instance AtomGram UnitOfMass) Merge.kif 7167-7167 原子克UnitOfMassinstance
(instance Gram UnitOfMass) Merge.kif 6604-6604 公克UnitOfMassinstance
(instance Kilogram UnitOfMass) Merge.kif 7181-7181 公斤UnitOfMassinstance
(instance LongTon UnitOfMass) Mid-level-ontology.kif 13079-13079 长吨UnitOfMassinstance
(instance MetricTon UnitOfMass) Mid-level-ontology.kif 13063-13063 公吨UnitOfMassinstance
(instance Mole UnitOfMass) Merge.kif 6650-6650 UnitOfMassinstance
(instance OunceMass UnitOfMass) Mid-level-ontology.kif 12783-12783 OunceMassUnitOfMassinstance
(instance PoundMass UnitOfMass) Merge.kif 7196-7196 磅质量UnitOfMassinstance
(instance Slug UnitOfMass) Merge.kif 7204-7204 金属块UnitOfMassinstance
(instance TonMass UnitOfMass) Mid-level-ontology.kif 13054-13054 吨质量UnitOfMassinstance

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


(domain AmountsFn 3 UnitOfMass) Merge.kif 7483-7483 AmountsFn 的 3 数量 是 UnitOfMassinstance

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


(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfMass))
    (instance ?QUANT MassMeasure))
Merge.kif 6268-6272
(=>
    (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 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 3.0 is open source software produced by Articulate Software and its partners