Water
(Agua)
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1177-1183
precipitationState
WeatherProcess
and
Estado Fisico
Objeto
Objeto
e' uma
instancia
de
Agua
Objeto
e' um
patient
de
WeatherProcess
Estado Fisico
e' um
atributo
de
Objeto
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2813-2838
rainfallIntensity
Area Geografica
,
Intervalo Temporal
and
Funcao de Quantidade
Transferencia
Colecao
,
Fisico
,
Objeto auto-conectado
,
Entidade
,
Objeto auto-conectado
and
Transferencia
FALL
Transferencia
e' uma
instancia
de
Raining
eventLocated
Transferencia
and
Area Geografica
tempo
de existencia de
Transferencia
acontece
durante
Intervalo Temporal
Colecao
e' uma
instancia
de
Colecao
objectTransferred
Transferencia
and
Colecao
Fisico
e' uma
instancia
de
Agua
Fisico
e'
membro
de
Colecao
Objeto auto-conectado
e' uma
instancia
de
Container
o
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Flat
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
e'
situado
em
Area Geografica
ContainerEmpty
e' um
atributo
de
Objeto auto-conectado
vale
durante o
comeco
de
Intervalo Temporal
Colecao
e'
situado
em
Objeto auto-conectado
o
topo
de
Colecao
e'
Entidade
depth
Entidade
,
Objeto auto-conectado
and
Transferencia
FALL
Transferencia
FALL e'
igual
a
Intervalo Temporal
+
Funcao de Quantidade
vale
durante o
fim
de
Intervalo Temporal
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