or
(=>
(
and
(
weaponCarryingCapability
?MV ?WC ?COUNT)
(
instance
?WEAPON ?WC)
(
capability
?PC ?ROLE ?WEAPON)
(
or
(
subclass
?PC
Shooting
)
(
subclass
?PC
Damaging
)))
(
capability
?PC ?ROLE ?MV))
MilitaryDevices.kif 35-43
weaponCarryingCapability
MilitaryVehicle
,
Arma
and
Inteiro positivo
Objeto
e' uma
instancia
de
Arma
Objeto
e'
capaz
de fazer
Processo
no role
Role em Caso
Processo
e' uma
sub
-classe de
Atirar
Processo
e' uma
sub
-classe de
Causar Dano
MilitaryVehicle
e'
capaz
de fazer
Processo
no role
Role em Caso
(=>
(
or
(
attribute
?AGENT
Asleep
)
(
attribute
?AGENT
Awake
))
(
attribute
?AGENT
Living
))
Merge.kif 18344-18348
Dormindo
e' um
atributo
de
Objeto
Acordado
e' um
atributo
de
Objeto
Living
e' um
atributo
de
Objeto
(=>
(
or
(
before
?POINT1 ?POINT2)
(
equal
?POINT1 ?POINT2))
(
beforeOrEqual
?POINT1 ?POINT2))
Merge.kif 8151-8155
Ponto no tempo
comeca
antes
de
Ponto no tempo
Ponto no tempo
e'
igual
a
Ponto no tempo
Ponto no tempo
ocorre
antes ou durante
Ponto no tempo
(=>
(
or
(
equal
?DIRECTION
North
)
(
equal
?DIRECTION
South
))
(
length
(
LatitudeFn
?DIRECTION
(
MeasureFn
0.0
AngularDegree
)
(
MeasureFn
1.0
ArcMinute
)
(
MeasureFn
0.0
ArcSecond
))
(
MeasureFn
1.0
NauticalMile
)))
Geography.kif 433-440
Atributo Directional
e'
igual
a
North
Atributo Directional
e'
igual
a
South
o
comprimento
de
LatitudeFn
Atributo Directional
, 0.0
AngularDegree
(s), 1.0
ArcMinute
(s) and 0.0
ArcSecond
(s) e' 1.0
NauticalMile
(s)
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