or
(=>
(
attribute
?X
AeronauticalEngineer
)
(
exists
(?SKILL)
(
and
(
hasSkill
?SKILL ?X)
(
forall
(?P)
(=>
(
instance
?P ?SKILL)
(
or
(
exists
(?CONS ?OBJ ?PT)
(
and
(
instance
?CONS
Making
)
(
or
(
instance
?OBJ
Aircraft
)
(
and
(
instance
?OBJ ?PT)
(
typicalPart
?PT
Aircraft
)))
(
result
?CONS ?OBJ)
(
subProcess
?P ?CONS)))
(
exists
(?DESIGN ?PLAN ?OBJ ?PT)
(
and
(
instance
?DESIGN
Designing
)
(
or
(
instance
?OBJ
Aircraft
)
(
and
(
instance
?OBJ ?PT)
(
typicalPart
?PT
Aircraft
)))
(
result
?DESIGN ?PLAN)
(
represents
?PLAN ?OBJ)
(
subProcess
?P ?DESIGN)))))))))
Biography.kif 436-465
If
aeronautical engineer
is an
attribute
of
an agent
,
then there exists
a kind of process
such that
the agent
has the
skill
to do
a kind of process
and for all
another process
if
the other process
is an
instance
of
the kind of process
,
then there exist
a third process
,
an entity
and
the other process
T such that
the third process
is an
instance
of
making
and
the entity
is an
instance
of
aircraft
or
the entity
is an
instance
of
the other process
T and a
the other process
T is
typically
a
part
of a
aircraft
and
the entity
is a
result
of
the third process
and
the other process
is a
subprocess
of
the third process
or there exist
a fourth process
,
the other process
LAN,, ,
the entity
and
the other process
T such that
the fourth process
is an
instance
of
designing
and
the entity
is an
instance
of
aircraft
or
the entity
is an
instance
of
the other process
T and a
the other process
T is
typically
a
part
of a
aircraft
and
the other process
LAN is a
result
of
the fourth process
and
the other process
LAN
express
es
the entity
and
the other process
is a
subprocess
of
the fourth process
(=>
(
attribute
?X
ArtsAndRecreationTicketingServices
)
(
hasPurpose
?X
(
exists
(?SELL ?TICKET ?CUST)
(
and
(
instance
?SELL
Selling
)
(
patient
?SELL ?TICKET)
(
agent
?SELL ?X)
(
instance
?TICKET
Ticket
)
(
destination
?SELL ?CUST)
(
hasPurpose
?TICKET
(
confersRight
(
exists
(?WATCH ?PERF)
(
and
(
instance
?WATCH
Seeing
)
(
agent
?WATCH ?CUST)
(
patient
?WATCH ?PERF)
(
or
(
instance
?PERF
Performance
)
(
instance
?PERF
Sport
)))) ?X ?CUST))))))
Hotel.kif 2353-2372
If
arts and recreation tickets
is an
attribute
of
an object
,
then
the object
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
selling
and
the other entity
is a
patient
of
the entity
and
the object
is an
agent
of
the entity
and
the other entity
is an
instance
of
ticket
and
the entity
end
s up at
the third entity
and
the other entity
has the purpose
the object
allow
s
the third entity
to perform task of the type there exist
a fourth entity
and
a fifth entity
such that
the fourth entity
is an
instance
of
seeing
and
the third entity
is an
agent
of
the fourth entity
and
the fifth entity
is a
patient
of
the fourth entity
and
the fifth entity
is an
instance
of
performance
or
the fifth entity
is an
instance
of
sport
(=>
(
attribute
?X
Doorman
)
(
hasPurpose
?X
(
exists
(?DOOR ?PROC)
(
and
(
instance
?DOOR
Door
)
(
agent
?PROC ?X)
(
patient
?PROC ?DOOR)
(
or
(
instance
?PROC
Opening
)
(
instance
?PROC
Closing
))))))
Hotel.kif 2428-2438
If
doorman
is an
attribute
of
an object
,
then
the object
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
door
and
the object
is an
agent
of
the other entity
and
the entity
is a
patient
of
the other entity
and
the other entity
is an
instance
of
opening
or
the other entity
is an
instance
of
closing
(=>
(
attribute
?X
MeanOfProduction
)
(
hasPurpose
?X
(
or
(
exists
(?MAKE ?PRODUCT)
(
and
(
instance
?MAKE
Making
)
(
involvedInEvent
?MAKE ?X)
(
not
(
result
?MAKE ?X))
(
instance
?PRODUCT
Artifact
)
(
result
?MAKE ?PRODUCT)
(
hasPurpose
?PRODUCT
(
exists
(?SELL)
(
and
(
instance
?SELL
Selling
)
(
patient
?SELL ?PRODUCT))))))
(
exists
(?SERVICE)
(
and
(
instance
?SERVICE
CommercialService
)
(
involvedInEvent
?SERVICE ?X))))))
Economy.kif 5747-5767
If
mean of production
is an
attribute
of
an object
,
then
the object
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
making
and
the object
is an
involved
in event of
the entity
and
the object
is not a
result
of
the entity
and
the other entity
is an
instance
of
artifact
and
the other entity
is a
result
of
the entity
and
the other entity
has the purpose there exists
a third entity
such that
the third entity
is an
instance
of
selling
and
the other entity
is a
patient
of
the third entity
or there exists
a fourth entity
such that
the fourth entity
is an
instance
of
commercial service
and
the object
is an
involved
in event of
the fourth entity
(=>
(
attribute
?X
PoliticalFigure
)
(
exists
(?GOV)
(
and
(
instance
?GOV
Government
)
(
or
(
member
?X ?GOV)
(
desires
?X
(
member
?X ?GOV))))))
Mid-level-ontology.kif 22542-22550
If
political figure
is an
attribute
of
a cognitive agent
,
then there exists
a collection
such that
the collection
is an
instance
of
government
and
the cognitive agent
is a
member
of
the collection
or
the cognitive agent
desire
s
the cognitive agent
is a
member
of
the collection
(=>
(
attribute
?X
TourArrangementAndReservationServices
)
(
hasPurpose
?X
(
exists
(?PROC ?RESERVE)
(
and
(
instance
?RESERVE
TourReservation
)
(
instance
?PROC
IntentionalProcess
)
(
agent
?PROC ?X)
(
or
(
result
?PROC ?RESERVE)
(
patient
?PROC ?RESERVE))))))
Hotel.kif 2336-2346
If
tour arrangement and reservation services
is an
attribute
of
an object
,
then
the object
has the purpose there exist
an entity
and
another entity
such that
the other entity
is an
instance
of
tour reservation
and
the entity
is an
instance
of
intentional process
and
the object
is an
agent
of
the entity
and
the other entity
is a
result
of
the entity
or
the other entity
is a
patient
of
the entity
(=>
(
attribute
?X
TravelArrangementAndReservationServices
)
(
hasPurpose
?X
(
exists
(?PROC ?RESERVE)
(
and
(
instance
?RESERVE
TravelReservation
)
(
instance
?PROC
IntentionalProcess
)
(
agent
?PROC ?X)
(
or
(
result
?PROC ?RESERVE)
(
patient
?PROC ?RESERVE))))))
naics.kif 10451-10461
If
travel arrangement and reservation services
is an
attribute
of
an object
,
then
the object
has the purpose there exist
an entity
and
another entity
such that
the other entity
is an
instance
of
travel reservation
and
the entity
is an
instance
of
intentional process
and
the object
is an
agent
of
the entity
and
the other entity
is a
result
of
the entity
or
the other entity
is a
patient
of
the entity
(=>
(
attribute
?X
Writer
)
(
exists
(?OBJ ?PROC)
(
and
(
instance
?PROC
Writing
)
(
or
(
instance
?OBJ
Text
)
(
instance
?OBJ
Document
))
(
agent
?PROC ?X)
(
result
?PROC ?OBJ))))
Biography.kif 717-726
If
writer
is an
attribute
of
an agent
,
then there exist
an entity
and
a process
such that
the process
is an
instance
of
writing
and
the entity
is an
instance
of
text
or
the entity
is an
instance
of
document
and
the agent
is an
agent
of
the process
and
the entity
is a
result
of
the process
(=>
(
beforeOrEqual
?POINT1 ?POINT2)
(
or
(
before
?POINT1 ?POINT2)
(
equal
?POINT1 ?POINT2)))
Merge.kif 8167-8171
If
a time point
happen
s before or at
another time point
,
then
the time point
happens
before
the other time point
or
the time point
is
equal
to
the other time point
(=>
(
changesLocation
?EVENT ?OBJ)
(
and
(
instance
?EVENT
Translocation
)
(
instance
?OBJ
Object
)
(
or
(
patient
?EVENT ?OBJ)
(
agent
?EVENT ?OBJ)
(
experiencer
?EVENT ?OBJ))))
Merge.kif 11025-11033
If
an agent
is a
changes
location of
a translocation
,
then
the translocation
is an
instance
of
translocation
and
the agent
is an
instance
of
object
and
the agent
is a
patient
of
the translocation
or
the agent
is an
agent
of
the translocation
or
the agent
experience
s
the translocation
(=>
(
codeMapping
ISO-639-1
?TOKEN ?X)
(
or
(
instance
?X
HumanLanguage
)
(
instance
?X
(
subclass
?CLASS
HumanLanguage
))))
Languages.kif 14705-14709
If
a symbolic string
in
ISO-639-1
denotes
an entity
,
then
the entity
is an
instance
of
human language
or
the entity
is an
instance
of
another entity
is a
subclass
of
human language
(=>
(
conjugate
?COMPOUND1 ?COMPOUND2)
(
exists
(?NUMBER1 ?NUMBER2)
(
and
(
protonNumber
?COMPOUND1 ?NUMBER1)
(
protonNumber
?COMPOUND2 ?NUMBER2)
(
or
(
equal
?NUMBER1
(
AdditionFn
?NUMBER2 1))
(
equal
?NUMBER2
(
AdditionFn
?NUMBER1 1))))))
Mid-level-ontology.kif 6500-6508
If
a compound substance
is a
conjugate
of
another compound substance
,
then there exist
a positive integer
and
another positive integer
such that
the positive integer
is a
proton
number of
the other compound substance
and
the other positive integer
is a
proton
number of
the compound substance
and
the positive integer
is
equal
to (
the other positive integer
and 1) or
the other positive integer
is
equal
to (
the positive integer
and 1)
(=>
(
connected
?OBJ1 ?OBJ2)
(
or
(
meetsSpatially
?OBJ1 ?OBJ2)
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 9531-9535
If
an object
is
connected
to
another object
,
then
the object
meet
s
the other object
or
the object
and
the other object
overlapsSpatially
(=>
(
connectedEngineeringComponents
?COMP1 ?COMP2)
(
not
(
or
(
instance
?COMP1
EngineeringConnection
)
(
instance
?COMP2
EngineeringConnection
))))
Merge.kif 16162-16167
If
an engineering component
is
connected
to
another engineering component
,
then
the engineering component
is an
instance
of
engineering connection
and
the other engineering component
is an
instance
of
engineering connection
(=>
(
dataStreamSlack
?Path ?Number)
(
or
(
property
?Path
ContinuousPath
)
(
property
?Path
QuasicontinuousPath
)))
QoSontology.kif 1214-1218
If
a positive integer
is a
data
stream slack of
a computer path
,
then
the computer path
the
attribute
continuous path
or
the computer path
the
attribute
quasicontinuous path
(=>
(
dependencyType
?Program ?Type)
(
or
(
equal
?Type
StartupBlock
)
(
equal
?Type
ShutdownBlock
)))
QoSontology.kif 1227-1231
If
a kind of computer program
is a
dependency
type of
another computer program
,
then
a kind of computer program
is
equal
to
startup block
or
the kind of computer program
is
equal
to
shutdown block
(=>
(
economyType
?AGENT ?ATTRIBUTE)
(
or
(
instance
?AGENT
GeopoliticalArea
)
(
instance
?AGENT
Organization
)))
Economy.kif 91-95
If
an economic attribute
is an
economy
type of
an agent
,
then
the agent
is an
instance
of
geopolitical area
or
the agent
is an
instance
of
organization
(=>
(
electronNumber
?SUBSTANCE ?NUMBER)
(=>
(
exists
(?ATOM)
(
and
(
part
?ATOM ?SUBSTANCE)
(
or
(
instance
?ATOM
Atom
)
(
instance
?ATOM
Molecule
))))
(
exists
(?ELECTRON)
(
equal
?NUMBER
(
CardinalityFn
(
KappaFn
?ELECTRON
(
and
(
part
?ELECTRON ?ATOM)
(
instance
?ELECTRON
Electron
))))))))
Mid-level-ontology.kif 21712-21727
If
a positive integer
is an
electron
number of
a pure substance
,
then
if there exists
an object
such that
the object
is a
part
of
the pure substance
and
the object
is an
instance
of
atom
or
the object
is an
instance
of
molecule
,
then there exists
a symbolic string
such that
the positive integer
is
equal
to the number of
instances
in the
class
described by
the symbolic string
(=>
(
enjoys
?AGENT ?PROCESS)
(
desires
?AGENT
(
exists
(?INSTANCE)
(
and
(
instance
?INSTANCE ?PROCESS)
(
or
(
agent
?INSTANCE ?AGENT)
(
experiencer
?INSTANCE ?AGENT))))))
Mid-level-ontology.kif 7375-7383
If
a cognitive agent
enjoys
an entity
,
then
the cognitive agent
desire
s there exists
another entity
such that
the other entity
is an
instance
of
the entity
and
the cognitive agent
is an
agent
of
the other entity
or
the cognitive agent
experience
s
the other entity
(=>
(
equal
(
ImmediateFamilyFn
?P) ?FAMILY)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?FAMILY)
(
exists
(?OTHER)
(
or
(
parent
?MEMBER ?OTHER)
(
parent
?OTHER ?MEMBER))))))
Merge.kif 16313-16321
If the
immediate
family of
a human
is
equal
to
a family group
,
then for all
an organism
if
the organism
is a
member
of
the family group
,
then there exists
another organism
such that
the other organism
is a
parent
of
the organism
or
the organism
is a
parent
of
the other organism
(=>
(
equal
(
ImmediateFamilyFn
?PERSON) ?FAMILY)
(
exists
(?MEMBER)
(
and
(
member
?MEMBER ?FAMILY)
(
or
(
parent
?MEMBER ?PERSON)
(
parent
?PERSON ?MEMBER)))))
Merge.kif 16323-16330
If the
immediate
family of
a human
is
equal
to
a family group
,
then there exists
an organism
such that
the organism
is a
member
of
the family group
and
the human
is a
parent
of
the organism
or
the organism
is a
parent
of
the human
(=>
(
equal
(
MaxFn
?NUMBER1 ?NUMBER2) ?NUMBER)
(
or
(
and
(
equal
?NUMBER ?NUMBER1)
(
greaterThan
?NUMBER1 ?NUMBER2))
(
and
(
equal
?NUMBER ?NUMBER2)
(
greaterThan
?NUMBER2 ?NUMBER1))
(
and
(
equal
?NUMBER ?NUMBER1)
(
equal
?NUMBER ?NUMBER2))))
Merge.kif 4995-5006
If the
larger
of
a real number
and
another real number
is
equal
to
a number
,
then
the number
is
equal
to
the real number
and
the real number
is
greater
than
the other real number
or
the number
is
equal
to
the other real number
and
the other real number
is
greater
than
the real number
or
the number
is
equal
to
the real number
and
the number
is
equal
to
the other real number
(=>
(
equal
(
MinFn
?NUMBER1 ?NUMBER2) ?NUMBER)
(
or
(
and
(
equal
?NUMBER ?NUMBER1)
(
lessThan
?NUMBER1 ?NUMBER2))
(
and
(
equal
?NUMBER ?NUMBER2)
(
lessThan
?NUMBER2 ?NUMBER1))
(
and
(
equal
?NUMBER ?NUMBER1)
(
equal
?NUMBER ?NUMBER2))))
Merge.kif 5021-5032
If the
smaller
of
a real number
and
another real number
is
equal
to
a number
,
then
the number
is
equal
to
the real number
and
the real number
is
less
than
the other real number
or
the number
is
equal
to
the other real number
and
the other real number
is
less
than
the real number
or
the number
is
equal
to
the real number
and
the number
is
equal
to
the other real number
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
forall
(?TIME1 ?TIME2)
(=>
(
and
(
instance
?TIME1 ?CLASS)
(
instance
?TIME2 ?CLASS)
(
not
(
equal
?TIME1 ?TIME2)))
(
or
(
meetsTemporally
?TIME1 ?TIME2)
(
meetsTemporally
?TIME2 ?TIME1)
(
earlier
?TIME1 ?TIME2)
(
earlier
?TIME2 ?TIME1)))))
Merge.kif 9417-9429
If
decomposition
of
a time interval
into
the time interval
TYPEs is
equal
to
another kind of time interval
,
then for all
a third time interval
and
a fourth time interval
if
the third time interval
is an
instance
of
another kind of time interval
and
the fourth time interval
is an
instance
of
the other kind of time interval
and
the third time interval
is not
equal
to
the fourth time interval
,
then
the third time interval
meet
s
the fourth time interval
or
the fourth time interval
meet
s
the third time interval
or
the third time interval
happens
earlier
than
the fourth time interval
or
the fourth time interval
happens
earlier
than
the third time interval
(=>
(
equal
?FY
(
FiscalYearFn
?PLACE))
(
or
(
instance
?PLACE
GeopoliticalArea
)
(
instance
?PLACE
Organization
)))
Economy.kif 3704-3708
If
a kind of time interval
is
equal
to the
fiscal
year of
an agent
,
then
the agent
is an
instance
of
geopolitical area
or
the agent
is an
instance
of
organization
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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