Browsing Interface
: Welcome guest :
log in
[
Home

Graph
 ]
KB:
SUMO
Language:
AlbanianLanguage
ArabicLanguage
BasqueLanguage
BulgarianLanguage
CatalanLanguage
ChineseLanguage
ChineseTraditionalLanguage
CroatianLanguage
DanishLanguage
EnglishLanguage
FarsiLanguage
FinnishLanguage
FrenchLanguage
GalicianLanguage
GreekLanguage
HebrewLanguage
IcelandicLanguage
IndonesianLanguage
ItalianLanguage
JapaneseLanguage
MalayLanguage
NorwegianBokmalLanguage
NorwegianNorskLanguage
PolishLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
TaiwanChineseLanguage
ThaiLanguage
de
Formal Language:
OWL
SUOKIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE  OunceMass
OunceMass
(Ounce)
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 1093710937
(
instance
OunceMass
UnitOfMass
)
Midlevelontology.kif 1093610936
Ounce
is an
instance
of
UnitOfMass
appearance as argument number 2
(
termFormat
EnglishLanguage
OunceMass
"Ounce")
Midlevelontology.kif 1093810938
"Ounce" is the
printable
form
of
Ounce
in
english language
antecedent
(<=>
(
measure
?OBJECT
(
MeasureFn
?NUMBER
OunceMass
))
(
measure
?OBJECT
(
MeasureFn
(
DivisionFn
?NUMBER 16)
PoundMass
)))
Midlevelontology.kif 1093910944
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 1094610949
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