Browsing Interface
: Welcome guest :
log in
[
Home

Graph
 ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUOKIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE  OunceMass
OunceMass
(Ounce)
apothecaries'_ounce
,
ounce
,
oz.
,
troy_ounce
appearance as argument number 1
(
documentation
OunceMass
EnglishLanguage
"English mass unit equal to 1/16th of a
PoundMass
")
Midlevelontology.kif 1094310943
(
instance
OunceMass
UnitOfMass
)
Midlevelontology.kif 1094210942
Ounce
is an
instance
of
UnitOfMass
appearance as argument number 2
(
termFormat
EnglishLanguage
OunceMass
"Ounce")
Midlevelontology.kif 1094410944
antecedent
(<=>
(
measure
?OBJECT
(
MeasureFn
?NUMBER
OunceMass
))
(
measure
?OBJECT
(
MeasureFn
(
DivisionFn
?NUMBER 16)
PoundMass
)))
Midlevelontology.kif 1094510950
The
measure
of
an object
is
a real number
Ounce
(s) if and only if the
measure
of
the object
is
the real number
and 16
pound mass
(s)
statement
(
forall
(?NUMBER)
(
equal
(
MeasureFn
?NUMBER
OunceMass
)
(
MeasureFn
(
DivisionFn
?NUMBER 16)
PoundMass
)))
Midlevelontology.kif 1095210955
For all
a real number
the real number
Ounce
(s) is
equal
to
the real number
and 16
pound mass
(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 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners