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


KB Term:  Term intersection
English Word: 

  OunceMass

 Sigma KEE - OunceMass
OunceMass(Ounce)apothecaries'_ounce, ounce, oz., troy_ounce

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


(instance OunceMass UnitOfMass) Mid-level-ontology.kif 14886-14886 Ounce is an instance of unit of mass
(documentation OunceMass EnglishLanguage "English mass unit equal to 1/16th of a PoundMass") Mid-level-ontology.kif 14887-14887 Ounce is an instance of unit of mass

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


(termFormat EnglishLanguage OunceMass "Ounce") Mid-level-ontology.kif 14888-14888

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


(<=>
    (measure ?OBJECT
        (MeasureFn ?NUMBER OunceMass))
    (measure ?OBJECT
        (MeasureFn
            (DivisionFn ?NUMBER 16.0) PoundMass)))		 Mid-level-ontology.kif 14890-14895 The measure of X is Y Ounce(s) if and only if the measure of X is Y and 16.0 pound mass(s)

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


(equal
    (MeasureFn ?NUMBER OunceMass)
    (MeasureFn
        (DivisionFn ?NUMBER 16.0) PoundMass))		 Mid-level-ontology.kif 14897-14899 equal X Ounce(s) and X and 16.0 pound mass(s)
(defaultMinimumMeasure Newspaper
    (MeasureFn 8 OunceMass))		 DimensioningAmenities.kif 375-375 The minimum expected value of newspaper is 8 Ounce(s)
(defaultMinimumMeasure OutletAdapter
    (MeasureFn 2 OunceMass))		 DimensioningAmenities.kif 465-465 The minimum expected value of outlet adapter is 2 Ounce(s)
(defaultMaximumMeasure OutletAdapter
    (MeasureFn 8 OunceMass))		 DimensioningAmenities.kif 466-466 The maximum expected value of outlet adapter is 8 Ounce(s)
(defaultMinimumMeasure TemperatureControl
    (MeasureFn 8 OunceMass))		 DimensioningAmenities.kif 474-474 The minimum expected value of temperature control is 8 Ounce(s)
(defaultMaximumMeasure TemperatureControl
    (MeasureFn 24 OunceMass))		 DimensioningAmenities.kif 475-475 The maximum expected value of temperature control is 24 Ounce(s)
(defaultMinimumMeasure Violin
    (MeasureFn 6 OunceMass))		 DimensioningAmenities.kif 744-744 The minimum expected value of violin is 6 Ounce(s)
(defaultMaximumMeasure Violin
    (MeasureFn 24 OunceMass))		 DimensioningAmenities.kif 745-745 The maximum expected value of violin is 24 Ounce(s)
(defaultMinimumMeasure Battery
    (MeasureFn 1 OunceMass))		 DimensioningAmenities.kif 789-789 The minimum expected value of battery is 1 Ounce(s)
(defaultMinimumMeasure Earphone
    (MeasureFn 2 OunceMass))		 DimensioningAmenities.kif 792-792 The minimum expected value of earphone is 2 Ounce(s)
(defaultMinimumMeasure Screwdriver
    (MeasureFn 8 OunceMass))		 DimensioningAmenities.kif 801-801 The minimum expected value of screwdriver is 8 Ounce(s)
(defaultMaximumMeasure Screwdriver
    (MeasureFn 48 OunceMass))		 DimensioningAmenities.kif 802-802 The maximum expected value of screwdriver is 48 Ounce(s)
(defaultMinimumMeasure Dish
    (MeasureFn 8 OunceMass))		 DimensioningAmenities.kif 828-828 The minimum expected value of dish is 8 Ounce(s)


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 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners