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
,
arme
and
nombre entier positif
objet
est une
instance
de
arme
objet
est
capable
de faire
processus
dans le r�le
r�le d�pendant du cas
processus
est une
sous
-classe de
tirer
processus
est une
sous
-classe de
endommager
MilitaryVehicle
est
capable
de faire
processus
dans le r�le
r�le d�pendant du cas
(=>
(
or
(
attribute
?AGENT
Asleep
)
(
attribute
?AGENT
Awake
))
(
attribute
?AGENT
Living
))
Merge.kif 18344-18348
Endormi
est un
attribut
de
objet
r�veill�
est un
attribut
de
objet
Living
est un
attribut
de
objet
(=>
(
or
(
before
?POINT1 ?POINT2)
(
equal
?POINT1 ?POINT2))
(
beforeOrEqual
?POINT1 ?POINT2))
Merge.kif 8151-8155
Point temporel
se produit
avant
point temporel
point temporel
est
point temporel
point temporel
se
produit avant ou pendant
point temporel
(=>
(
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
Attribut directionnel
est
North
attribut directionnel
est
South
le
longueur
de
LatitudeFn
attribut directionnel
, 0.0
AngularDegree
(s), 1.0
ArcMinute
(s) and 0.0
ArcSecond
(s) est 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