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
Bicep
Sigma KEE - visibilityInMeteorology
visibilityInMeteorology
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2694-2697
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2689-2693
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2698-2698
O argumento numero 1 de
visibilityInMeteorology
e' uma
instancia
de
Regiao
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2699-2699
O argumento numero 2 de
visibilityInMeteorology
e' uma
instancia
de
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2700-2700
O argumento numero 3 de
visibilityInMeteorology
e' uma
instancia
de
Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2701-2701
visibilityInMeteorology
e' uma
instancia
de
Predicado Ternario
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4934-4934
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4933-4933
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4932-4932
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2703-2703
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2702-2702
antecedent
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2533-2546
Processo
e' uma
instancia
de
Fogging
eventLocated
Processo
and
Regiao
Regiao
e' uma
instancia
de
Area Geografica
Objeto
e' uma
instancia
de
AtmosphericRegion
Objeto
e'
Above
em relacao a
Regiao
Objeto
e' uma
instancia
de
Aerosal
locatedAtTime
Objeto
,
tempo
de existencia de
Processo
and
Objeto
visibilityInMeteorology
Regiao
,
tempo
de existencia de
Processo
and
Numero Real
Meter
(s)
Numero Real
e'
menos
que 1000.0
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2562-2576
Processo
e' uma
instancia
de
AtmosphericHazing
eventLocated
Processo
and
Regiao
Regiao
e' uma
instancia
de
Area Geografica
Objeto
e' uma
instancia
de
AtmosphericRegion
Objeto
e'
Above
em relacao a
Regiao
locatedAtTime
Objeto
,
tempo
de existencia de
Processo
and
Objeto
visibilityInMeteorology
Regiao
,
tempo
de existencia de
Processo
and
Numero Real
Kilometer
(s)
Numero Real
e'
maior
que 2.0
Numero Real
e'
menos
que 5.0
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2724-2744
visibilityInMeteorology
Regiao
,
Intervalo Temporal
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
Unidade de Medida
Intervalo Temporal
e' uma
instancia
de
DayTime
Processo
e' uma
instancia
de
Looking
Objeto
e' uma
instancia
de
Objeto
color
Objeto
and
Black
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
patient
de
Processo
AutonomousAgent
e'
Horizontal
em relacao a
Objeto
eventLocated
Processo
and
Regiao
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
Objeto
e' uma
instancia
de
Objeto
Numero Real
a
distancia
entre
AutonomousAgent
e
Objeto
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2746-2767
visibilityInMeteorology
Regiao
,
Intervalo Temporal
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
Unidade de Medida
Intervalo Temporal
e' uma
instancia
de
NightTime
Processo
e' uma
instancia
de
Looking
Objeto
e' uma
instancia
de
Regiao
Illuminated
e' um
atributo
de
Objeto
a
medida
de
Objeto
e' 1000.0
Candela
(s)
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
patient
de
Processo
AutonomousAgent
e'
Horizontal
em relacao a
Objeto
eventLocated
Processo
and
Regiao
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
Objeto
e' uma
instancia
de
Objeto
Numero Real
a
distancia
entre
AutonomousAgent
e
Objeto
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2705-2722
visibilityInMeteorology
Regiao
,
Intervalo Temporal
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
Unidade de Medida
Processo
AutonomousAgent
,
Objeto
and
Numero Real
Processo
e' uma
instancia
de
Looking
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
patient
de
Processo
AutonomousAgent
e'
Horizontal
em relacao a
Objeto
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
eventLocated
Processo
and
Regiao
a
distancia
entre
AutonomousAgent
e
Objeto
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
consequent
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2638-2647
Processo
e' uma
instancia
de
Blizzard
Regiao
Numero Real
Regiao
e' uma
instancia
de
Area Geografica
eventLocated
Processo
and
Regiao
visibilityInMeteorology
Regiao
,
tempo
de existencia de
Processo
and
Numero Real
Meter
(s)
Numero Real
e'
menos
que 400.0
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