Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
locationMeasuringList
Sigma KEE - locationMeasuringList
locationMeasuringList
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1760-1762
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1756-1759
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1765-1765
Le nombre 1 argument de
locationMeasuringList
est une
instance
de
MeasuringList
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1766-1766
Le nombre 2 argument de
locationMeasuringList
est une
instance
de
secteur g�ographique
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1767-1767
locationMeasuringList
est une
instance
de
pr�dicat binaire
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1764-1764
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1763-1763
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 10406-10406
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 10405-10405
antecedent
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1769-1775
locationMeasuringList
MeasuringList
and
secteur g�ographique
processus
est un
membre
de
MeasuringList
processus
est une
instance
de
mesurer
eventLocated
processus
and
secteur g�ographique
consequent
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2223-2240
Function de quantit�
est
Mean10MinutesWindSpeedFn
secteur g�ographique
and
interval temporel
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
MeasuringSurfaceWindSpeedList
locationMeasuringList
entit�
and
secteur g�ographique
measuringListInterval
entit�
and 5
SecondDuration
(s)
measuringListDuration
entit�
and 10
MinuteDuration
(s) 120 est
longueur
de
entit�
measuringResult
entit�
and
entit�
entit�
est
PhysicalQuantityToNumberFn
entit�
function de quantit�
est
AverageFn
entit�
entit�
(s)
pendant
interval temporel
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2328-2345
Function de quantit�
est
Mean1MinuteWindSpeedFn
secteur g�ographique
and
interval temporel
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
MeasuringSurfaceWindSpeedList
locationMeasuringList
entit�
and
secteur g�ographique
measuringListInterval
entit�
and 5
SecondDuration
(s)
measuringListDuration
entit�
and 1
MinuteDuration
(s) 12 est
longueur
de
entit�
measuringResult
entit�
and
entit�
entit�
est
PhysicalQuantityToNumberFn
entit�
function de quantit�
est
AverageFn
entit�
entit�
(s)
pendant
interval temporel
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2293-2310
Function de quantit�
est
Mean2MinutesWindSpeedFn
secteur g�ographique
and
interval temporel
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
MeasuringSurfaceWindSpeedList
locationMeasuringList
entit�
and
secteur g�ographique
measuringListInterval
entit�
and 5
SecondDuration
(s)
measuringListDuration
entit�
and 2
MinuteDuration
(s) 24 est
longueur
de
entit�
measuringResult
entit�
and
entit�
entit�
est
PhysicalQuantityToNumberFn
entit�
function de quantit�
est
AverageFn
entit�
entit�
(s)
pendant
interval temporel
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2258-2275
Function de quantit�
est
Mean3MinutesWindSpeedFn
secteur g�ographique
and
interval temporel
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
MeasuringSurfaceWindSpeedList
locationMeasuringList
entit�
and
secteur g�ographique
measuringListInterval
entit�
and 5
SecondDuration
(s)
measuringListDuration
entit�
and 2
MinuteDuration
(s) 36 est
longueur
de
entit�
measuringResult
entit�
and
entit�
entit�
est
PhysicalQuantityToNumberFn
entit�
function de quantit�
est
AverageFn
entit�
entit�
(s)
pendant
interval temporel
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1904-1921
Function de quantit�
est
Mean3SecondWindSpeedFn
secteur g�ographique
and
interval temporel
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
MeasuringSurfaceWindSpeedList
locationMeasuringList
entit�
and
secteur g�ographique
measuringListInterval
entit�
and 0.25
SecondDuration
(s)
measuringListDuration
entit�
and 3
SecondDuration
(s) 12 est
longueur
de
entit�
measuringResult
entit�
and
entit�
entit�
est
PhysicalQuantityToNumberFn
entit�
function de quantit�
est
AverageFn
entit�
entit�
(s)
pendant
interval temporel
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 is
open source software
produced by
Articulate Software
and its partners