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

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


(instance Amu UnitOfMass) Merge.kif 7137-7137 Amu は UnitOfMass の instance では %n
(instance AtomGram UnitOfMass) Merge.kif 7273-7273 AtomGram は UnitOfMass の instance では %n
(instance Gram UnitOfMass) Merge.kif 6691-6691 Gram は UnitOfMass の instance では %n
(instance Kilogram UnitOfMass) Merge.kif 7287-7287 Kilogram は UnitOfMass の instance では %n
(instance LongTon UnitOfMass) Mid-level-ontology.kif 14509-14509 LongTon は UnitOfMass の instance では %n
(instance MetricTon UnitOfMass) Mid-level-ontology.kif 14493-14493 MetricTon は UnitOfMass の instance では %n
(instance Mole UnitOfMass) Merge.kif 6737-6737 Mole は UnitOfMass の instance では %n
(instance OunceMass UnitOfMass) Mid-level-ontology.kif 14218-14218 OunceMass は UnitOfMass の instance では %n
(instance PoundMass UnitOfMass) Merge.kif 7302-7302 PoundMass は UnitOfMass の instance では %n
(instance Slug UnitOfMass) Merge.kif 7310-7310 Slug は UnitOfMass の instance では %n
(instance TonMass UnitOfMass) Mid-level-ontology.kif 14484-14484 TonMass は UnitOfMass の instance では %n
(termFormat EnglishLanguage UnitOfMass "unit of mass") domainEnglishFormat.kif 65682-65682 TonMass は UnitOfMass の instance では %n

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


(domain AmountsFn 3 UnitOfMass) Merge.kif 7589-7589 AmountsFn の数値 3 引数は UnitOfMass の instance では %n

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


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