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
If
a military vehicle
can carry
a positive integer
weapons of type
a kind of weapon
. and
an object
is an
instance
of
a kind of weapon
and
the object
is
capable
of doing
a kind of process
as a
a case role
and
a kind of process
is a
subclass
of
shooting
or
the kind of process
is a
subclass
of
damaging
,
then
the military vehicle
is
capable
of doing
the kind of process
as a
the case role
(=>
(
or
(
attribute
?AGENT
Asleep
)
(
attribute
?AGENT
Awake
))
(
attribute
?AGENT
Living
))
Merge.kif 18344-18348
If
asleep
is an
attribute
of
an object
or
awake
is an
attribute
of
the object
,
then
living
is an
attribute
of
the object
(=>
(
or
(
before
?POINT1 ?POINT2)
(
equal
?POINT1 ?POINT2))
(
beforeOrEqual
?POINT1 ?POINT2))
Merge.kif 8151-8155
If
a time point
happens
before
another time point
or
the time point
is
equal
to
the other time point
,
then
the time point
happen
s before or at
the other time point
(=>
(
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
If
a directional attribute
is
equal
to
north
or
the directional attribute
is
equal
to
south
,
then the
length
of the
region
the directional attribute
of 0.0
angular degree
(s) is 1.0
nautical mile
(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