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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitOfMass
UnitOfMass(unit of mass)

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 6262-6265
(documentation UnitOfMass JapaneseLanguage "この Class のすべてのインスタンスは、MeasureFn と共に MassMeasure のインスタンスを形成するために使用できる UnitOfMeasure であり、 PhysicalObject での問題の量を示す。") japanese_format.kif 1093-1095
(subclass UnitOfMass NonCompositeUnitOfMeasure) Merge.kif 6260-6260 Unit of mass is a subclass of non composite unit of measure

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


(instance Amu UnitOfMass) Merge.kif 7147-7147 Amu is an instance of unit of mass
(instance AtomGram UnitOfMass) Merge.kif 7264-7264 Atom gram is an instance of unit of mass
(instance Gram UnitOfMass) Merge.kif 6701-6701 Gram is an instance of unit of mass
(instance Kilogram UnitOfMass) Merge.kif 7278-7278 Kilogram is an instance of unit of mass
(instance LongTon UnitOfMass) Mid-level-ontology.kif 13831-13831 Long ton is an instance of unit of mass
(instance MetricTon UnitOfMass) Mid-level-ontology.kif 13815-13815 Metric ton is an instance of unit of mass
(instance Mole UnitOfMass) Merge.kif 6747-6747 Mole is an instance of unit of mass
(instance OunceMass UnitOfMass) Mid-level-ontology.kif 13540-13540 Ounce is an instance of unit of mass
(instance PoundMass UnitOfMass) Merge.kif 7293-7293 Pound mass is an instance of unit of mass
(instance Slug UnitOfMass) Merge.kif 7301-7301 Slug is an instance of unit of mass
(instance TonMass UnitOfMass) Mid-level-ontology.kif 13806-13806 Ton mass is an instance of unit of mass
(termFormat EnglishLanguage UnitOfMass "unit of mass") domainEnglishFormat.kif 65707-65707 Ton mass is an instance of unit of mass

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


(domain AmountsFn 3 UnitOfMass) Merge.kif 7580-7580 The number 3 argument of Amounts fn is an instance of unit of mass

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


(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfMass))
    (instance ?QUANT MassMeasure))		 Merge.kif 6365-6369
(=>
    (and
        (instance ?T ShipContainer)
        (capacity ?T
            (MeasureFn ?X ?U))
        (instance ?X UnitOfMass)
        (contains ?T ?O)
        (weight ?O
            (MeasureFn ?Y ?U))
        (lessThan ?Y ?X))
    (modalAttribute
        (not
            (exists (?D)
                (and
                    (instance ?D Damaging)
                    (patient ?D ?T)))) Likely))		 Transportation.kif 2820-2835
(=>
    (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