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

KB Term:  Term intersection
English Word: 

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