Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
AlbanianLanguage
ArabicLanguage
BasqueLanguage
BulgarianLanguage
CatalanLanguage
ChineseLanguage
ChineseTraditionalLanguage
CroatianLanguage
DanishLanguage
Defrauding
EnglishLanguage
FarsiLanguage
FinnishLanguage
FrenchLanguage
GalicianLanguage
GermanLanguage
GreekLanguage
Haboob
HebrewLanguage
IcelandicLanguage
IndonesianLanguage
ItalianLanguage
JapaneseLanguage
MalayLanguage
NorwegianBokmalLanguage
NorwegianNorskLanguage
PolishLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
TaiwanChineseLanguage
ThaiLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE - MetricTon
MetricTon
appearance as argument number 1
(
documentation
MetricTon
EnglishLanguage
"
MetricTon
is a
UnitOfMeasure
that represents a weight of 2,205
PoundMass
.")
Mid-level-ontology.kif 11197-11198
(
instance
MetricTon
UnitOfMass
)
Mid-level-ontology.kif 11196-11196
instance
MetricTon
and
UnitOfMass
appearance as argument number 2
(
termFormat
ChineseLanguage
MetricTon
"公吨")
domainEnglishFormat.kif 37297-37297
termFormat
ChineseLanguage
,
MetricTon
and "公吨"
(
termFormat
ChineseTraditionalLanguage
MetricTon
"公噸")
domainEnglishFormat.kif 37296-37296
termFormat
ChineseTraditionalLanguage
,
MetricTon
and "公噸"
(
termFormat
EnglishLanguage
MetricTon
"metric ton")
domainEnglishFormat.kif 37295-37295
termFormat
EnglishLanguage
,
MetricTon
and "metric ton"
antecedent
(<=>
(
measure
?O
(
MeasureFn
?A
MetricTon
))
(
measure
?O
(
MeasureFn
(
MultiplicationFn
?A 2205)
PoundMass
)))
Mid-level-ontology.kif 11204-11210
measure
Object
and
MeasureFn
RealNumber
and
MetricTon
measure
Object
and
MeasureFn
MultiplicationFn
RealNumber
and 2205 and
PoundMass
statement
(
equal
(
MeasureFn
1
MetricTon
)
(
MeasureFn
2205
PoundMass
))
Mid-level-ontology.kif 11200-11202
equal
MeasureFn
1 and
MetricTon
and
MeasureFn
2205 and
PoundMass
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