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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PoundMass

Sigma KEE - PoundMass
PoundMass

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


(documentation PoundMass ChineseLanguage "英制质量单位磅。") Merge.kif 7570-7570
(documentation PoundMass EnglishLanguage "English mass unit of pounds.") Merge.kif 7569-7569
(instance PoundMass UnitOfMass) Merge.kif 7568-7568

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


(termFormat EnglishLanguage PoundMass "pound mass") domainEnglishFormat.kif 8250-8250

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


(<=>
    (measure ?O
        (MeasureFn ?A MetricTon))
    (measure ?O
        (MeasureFn
            (MultiplicationFn ?A 2205) PoundMass)))
Mid-level-ontology.kif 11199-11205
(<=>
    (measure ?OBJECT
        (MeasureFn ?NUMBER OunceMass))
    (measure ?OBJECT
        (MeasureFn
            (DivisionFn ?NUMBER 16) PoundMass)))
Mid-level-ontology.kif 10939-10944
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER LongTon)
        (MeasureFn
            (MultiplicationFn ?NUMBER 2240) PoundMass)))
Mid-level-ontology.kif 11212-11216
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER TonMass)
        (MeasureFn
            (MultiplicationFn ?NUMBER 2000) PoundMass)))
Mid-level-ontology.kif 11185-11189
(=>
    (instance ?DragonWeapon DragonWeapon)
    (weight ?DragonWeapon
        (MeasureFn 33.9 PoundMass)))
MilitaryDevices.kif 706-709
(=>
    (instance ?JavelinWeapon JavelinWeapon)
    (weight ?JavelinWeapon
        (MeasureFn 49.5 PoundMass)))
MilitaryDevices.kif 765-768
(=>
    (instance ?X HandGrenade)
    (and
        (measure ?X
            (MeasureFn ?N PoundMass))
        (lessThan ?N 10)))
Mid-level-ontology.kif 19658-19662

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


(defaultMaximumMeasure Lemur
    (MeasureFn 20 PoundMass))
Mid-level-ontology.kif 28605-28605
(defaultMaximumMeasure Lion
    (MeasureFn 600 PoundMass))
Mid-level-ontology.kif 28507-28507
(defaultMaximumMeasure Parrot
    (MeasureFn 9 PoundMass))
Mid-level-ontology.kif 28585-28585
(defaultMaximumMeasure Rhinoceros
    (MeasureFn 2200 PoundMass))
Mid-level-ontology.kif 28572-28572
(defaultMeasure Alligator
    (MeasureFn 790 PoundMass))
Mid-level-ontology.kif 18017-18017
(defaultMeasure Badger
    (MeasureFn 20 PoundMass))
Mid-level-ontology.kif 18030-18030
(defaultMeasure Bear
    (MeasureFn 500 PoundMass))
Mid-level-ontology.kif 18045-18045
(defaultMeasure Cheetah
    (MeasureFn 150 PoundMass))
Mid-level-ontology.kif 28702-28702
(defaultMeasure Crocodile
    (MeasureFn 2000 PoundMass))
Mid-level-ontology.kif 28678-28678
(defaultMeasure Ferret
    (MeasureFn 2 PoundMass))
Mid-level-ontology.kif 28719-28719
(defaultMeasure GuineaPig
    (MeasureFn 2 PoundMass))
Mid-level-ontology.kif 28737-28737
(defaultMeasure Kangaroo
    (MeasureFn 18 PoundMass))
Mid-level-ontology.kif 18059-18059
(defaultMeasure Llama
    (MeasureFn 18 PoundMass))
Mid-level-ontology.kif 18067-18067
(defaultMeasure Octopus
    (MeasureFn 33 PoundMass))
Mid-level-ontology.kif 28638-28638
(defaultMeasure Panda
    (MeasureFn 240 PoundMass))
Mid-level-ontology.kif 28624-28624
(defaultMeasure Reindeer
    (MeasureFn 300 PoundMass))
Mid-level-ontology.kif 28660-28660
(defaultMeasure Skunk
    (MeasureFn 5 PoundMass))
Mid-level-ontology.kif 18076-18076
(equal
    (MeasureFn 1 MetricTon)
    (MeasureFn 2205 PoundMass))
Mid-level-ontology.kif 11195-11197
(equal
    (MeasureFn ?NUMBER PoundMass)
    (MeasureFn
        (MultiplicationFn ?NUMBER 453.59237) Gram))
Merge.kif 7572-7574
(forall (?NUMBER)
    (equal
        (MeasureFn ?NUMBER OunceMass)
        (MeasureFn
            (DivisionFn ?NUMBER 16) PoundMass)))
Mid-level-ontology.kif 10946-10949


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners