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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PoundMass
PoundMass(磅质量)

appearance as argument number 1
-------------------------


(documentation PoundMass ChineseLanguage "英制质量单位磅。") chinese_format.kif 2608-2608
(documentation PoundMass EnglishLanguage "English mass unit of pounds.") Merge.kif 7198-7198
(instance PoundMass UnitOfMass) Merge.kif 7196-7196 磅质量UnitOfMassinstance

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


(termFormat ChineseLanguage PoundMass "磅质量") domainEnglishFormat.kif 46947-46947
(termFormat ChineseTraditionalLanguage PoundMass "磅質量") domainEnglishFormat.kif 46946-46946
(termFormat EnglishLanguage PoundMass "pound mass") domainEnglishFormat.kif 46945-46945

consequent
-------------------------


(<=>
    (measure ?O
        (MeasureFn ?A MetricTon))
    (measure ?O
        (MeasureFn
            (MultiplicationFn ?A 2205.0) PoundMass)))
Mid-level-ontology.kif 13071-13077 物理measure 实数 公吨 若且唯若 那个 物理measure那个 实数 和 2205.0 磅质量
(<=>
    (measure ?OBJECT
        (MeasureFn ?NUMBER OunceMass))
    (measure ?OBJECT
        (MeasureFn
            (DivisionFn ?NUMBER 16.0) PoundMass)))
Mid-level-ontology.kif 12787-12792 物理measure 实数 OunceMass 若且唯若 那个 物理measure那个 实数 和 16.0 磅质量
(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER LongTon)
        (MeasureFn
            (MultiplicationFn ?NUMBER 2240.0) PoundMass)))
Mid-level-ontology.kif 13084-13088
(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER TonMass)
        (MeasureFn
            (MultiplicationFn ?NUMBER 2000.0) PoundMass)))
Mid-level-ontology.kif 13057-13061
(=>
    (instance ?DragonWeapon DragonWeapon)
    (weight ?DragonWeapon
        (MeasureFn 33.9 PoundMass)))
MilitaryDevices.kif 707-710
(=>
    (instance ?JavelinWeapon JavelinWeapon)
    (weight ?JavelinWeapon
        (MeasureFn 49.5 PoundMass)))
MilitaryDevices.kif 766-769
(=>
    (instance ?X HandGrenade)
    (and
        (measure ?X
            (MeasureFn ?N PoundMass))
        (lessThan ?N 10.0)))
Mid-level-ontology.kif 21329-21334

statement
-------------------------


(defaultMaximumMeasure Lemur
    (MeasureFn 20.0 PoundMass))
Mid-level-ontology.kif 29847-29847 Lemurmaximum 预期价值是 20.0 磅质量
(defaultMaximumMeasure Lion
    (MeasureFn 600.0 PoundMass))
Mid-level-ontology.kif 29749-29749 Lionmaximum 预期价值是 600.0 磅质量
(defaultMaximumMeasure Parrot
    (MeasureFn 9.0 PoundMass))
Mid-level-ontology.kif 29827-29827 Parrotmaximum 预期价值是 9.0 磅质量
(defaultMaximumMeasure Rhinoceros
    (MeasureFn 2200.0 PoundMass))
Mid-level-ontology.kif 29814-29814 Rhinocerosmaximum 预期价值是 2200.0 磅质量
(defaultMeasure Alligator
    (MeasureFn 790.0 PoundMass))
Mid-level-ontology.kif 19580-19580 Alligator 的预期 value 是 790.0 磅质量
(defaultMeasure Badger
    (MeasureFn 20.0 PoundMass))
Mid-level-ontology.kif 19593-19593 Badger 的预期 value 是 20.0 磅质量
(defaultMeasure Bear
    (MeasureFn 500.0 PoundMass))
Mid-level-ontology.kif 19608-19608 Bear 的预期 value 是 500.0 磅质量
(defaultMeasure Cheetah
    (MeasureFn 150.0 PoundMass))
Mid-level-ontology.kif 29944-29944 Cheetah 的预期 value 是 150.0 磅质量
(defaultMeasure Crocodile
    (MeasureFn 2000.0 PoundMass))
Mid-level-ontology.kif 29920-29920 Crocodile 的预期 value 是 2000.0 磅质量
(defaultMeasure Ferret
    (MeasureFn 2.0 PoundMass))
Mid-level-ontology.kif 29961-29961 Ferret 的预期 value 是 2.0 磅质量
(defaultMeasure GuineaPig
    (MeasureFn 2.0 PoundMass))
Mid-level-ontology.kif 29979-29979 GuineaPig 的预期 value 是 2.0 磅质量
(defaultMeasure Kangaroo
    (MeasureFn 18.0 PoundMass))
Mid-level-ontology.kif 19622-19622 Kangaroo 的预期 value 是 18.0 磅质量
(defaultMeasure Llama
    (MeasureFn 18.0 PoundMass))
Mid-level-ontology.kif 19630-19630 Llama 的预期 value 是 18.0 磅质量
(defaultMeasure Octopus
    (MeasureFn 33.0 PoundMass))
Mid-level-ontology.kif 29880-29880 Octopus 的预期 value 是 33.0 磅质量
(defaultMeasure Panda
    (MeasureFn 240.0 PoundMass))
Mid-level-ontology.kif 29866-29866 Panda 的预期 value 是 240.0 磅质量
(defaultMeasure Reindeer
    (MeasureFn 300.0 PoundMass))
Mid-level-ontology.kif 29902-29902 驯鹿 的预期 value 是 300.0 磅质量
(defaultMeasure Skunk
    (MeasureFn 5.0 PoundMass))
Mid-level-ontology.kif 19639-19639 Skunk 的预期 value 是 5.0 磅质量
(equal
    (MeasureFn 1.0 MetricTon)
    (MeasureFn 2205.0 PoundMass))
Mid-level-ontology.kif 13067-13069 1.0 公吨 equal 2205.0 磅质量
(equal
    (MeasureFn ?NUMBER PoundMass)
    (MeasureFn
        (MultiplicationFn ?NUMBER 453.59237) Gram))
Merge.kif 7200-7202 实数 磅质量 equal 那个 实数 和 453.59237 公克
(forall (?NUMBER)
    (equal
        (MeasureFn ?NUMBER OunceMass)
        (MeasureFn
            (DivisionFn ?NUMBER 16.0) PoundMass)))
Mid-level-ontology.kif 12794-12797 对所有 实数 那个 实数 OunceMass equal 那个 实数 和 16.0 磅质量


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