Human
(human)
(=>
(
and
(
instance
?PERSON
Human
)
(
equal
(
DescendantsFn
?PERSON) ?DESCENDANTS))
(
forall
(?MEMBER)
(<=>
(
member
?MEMBER ?DESCENDANTS)
(
ancestor
?MEMBER ?PERSON))))
Mid-level-ontology.kif 7157-7164
If
a human
is an
instance
of
human
and the
descendants
of
the human
is
equal
to
a family group
,
then for all
an organism
the organism
is a
member
of
the family group
if and only if
the human
is the
ancestor
of
the organism
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ORG
Organization
)
(
instance
?POSITION
Position
)
(
attribute
?PERSON
(
MemberRoleFn
?ORG ?POSITION)))
(
occupiesPosition
?PERSON ?POSITION ?ORG))
Government.kif 1760-1766
If
a human
is an
instance
of
human
and
an organization
is an
instance
of
organization
and
a position
is an
instance
of
position
and the
member
role of
the organization
and
the position
is an
attribute
of
the human
,
then
the human
holds the
position
of
the position
in
the organization
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?AREA
GeopoliticalArea
)
(
leaderPosition
?AREA ?ROLE)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?AREA)))
(
leader
?AREA ?PERSON))
Government.kif 1441-1448
If
a human
is an
instance
of
human
and
a position
is an
instance
of
position
and
a geopolitical area
is an
instance
of
geopolitical area
and
the position
is a
leader
position of
the geopolitical area
and
the human
holds the
position
of
the position
in
the geopolitical area
の
government
,
then
the human
is a
leader
of
the geopolitical area
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?ORG
Agent
)
(
leaderPosition
?ORG ?ROLE)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leader
?ORG ?PERSON))
Government.kif 1432-1439
If
a human
is an
instance
of
human
and
a position
is an
instance
of
position
and
an organization
is an
instance
of
agent
and
the position
is a
leader
position of
the organization
and
the human
holds the
position
of
the position
in
the organization
,
then
the human
is a
leader
of
the organization
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?WRITE
Writing
)
(
or
(
instance
?TEXT
Text
)
(
instance
?TEXT
Document
))
(
result
?WRITE ?TEXT)
(
agent
?WRITE ?PERSON))
(
attribute
?PERSON
Writer
))
Biography.kif 503-512
If
an agent
is an
instance
of
human
and
a process
is an
instance
of
writing
and
an entity
is an
instance
of
text
or
the entity
is an
instance
of
Document
and
the entity
is a
result
of
the process
and
the agent
is an
agent
of
the process
,
then
writer
is an
attribute
of
the agent
(=>
(
and
(
instance
?PILOT
Human
)
(
attribute
?PILOT
Pilot
))
(
hasSkill
FlyingAircraft
?PILOT))
Biography.kif 396-400
If
an agent
is an
instance
of
human
and
pilot
is an
attribute
of
the agent
,
then
the agent
the
skill
to do
flying
(=>
(
and
(
instance
?R
RadiatingLight
)
(
instance
?H
Human
)
(
instance
?S
Seeing
)
(
agent
?S ?H)
(
patient
?S ?R))
(
instance
?R
RadiatingVisibleLight
))
Mid-level-ontology.kif 807-814
If
an entity
is an
instance
of
radiating light
and
an agent
is an
instance
of
human
and
a process
is an
instance
of
seeing
and
the agent
is an
agent
of
the process
and
the entity
is a
patient
of
the process
,
then
the entity
is an
instance
of
radiating visible light
(=>
(
and
(
instance
?S
Spamming
)
(
result
?S ?SPAM)
(
instance
?S
Spam
)
(
instance
?H
Human
)
(
destination
?S ?H))
(
not
(
exists
(?R)
(
and
(
instance
?R
Requesting
)
(
patient
?R ?SPAM)))))
ComputingBrands.kif 4117-4128
If
a process
is an
instance
of
spamming
and
the process
PAM is a
result
of
the process
and
the process
is an
instance
of
spam
and
another entity
is an
instance
of
human
and
the process
end
s up at
the other entity
,
then there doesn't exist
another process
such that
the other process
is an
instance
of
requesting
and
the process
PAM is a
patient
of
the other process
(=>
(
and
(
instance
?S
Spamming
)
(
result
?S ?SPAM)
(
instance
?S
Spam
)
(
instance
?H
Human
)
(
destination
?S ?H))
(
not
(
modalAttribute
(
wants
?H ?SPAM)
Likely
)))
ComputingBrands.kif 4130-4140
If
a process
is an
instance
of
spamming
and
the process
PAM is a
result
of
the process
and
the process
is an
instance
of
spam
and
another entity
is an
instance
of
human
and
the process
end
s up at
the other entity
,
then the statement
the other entity
want
s
the process
PAM doesn't have the
modal
force
of
likely
(=>
(
and
(
instance
?S
Strangling
)
(
patient
?S ?V)
(
instance
?V
Human
))
(
hasPurpose
?S
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
agent
?B ?V))))))
Mid-level-ontology.kif 6231-6241
If
a process
is an
instance
of
strangling
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
human
,
then
the process
purpose there doesn't exist
another entity
such that
the other entity
is an
instance
of
breathing
and
the entity
is an
agent
of
the other entity
(=>
(
and
(
instance
?SEAT
AuditoriumSeat
)
(
part
?SEAT ?AUDITORIUM)
(
part
?STAGE ?AUDITORIUM)
(
instance
?AUDITORIUM
Auditorium
)
(
instance
?STAGE
PerformanceStage
)
(
located
?PERSON ?SEAT)
(
instance
?PERSON
Human
)
(
subclass
?SEE
Seeing
)
(
forall
(?INST)
(=>
(
instance
?INST ?SEE)
(
patient
?INST ?STAGE))))
(
capability
?SEE
agent
?PERSON))
Mid-level-ontology.kif 6996-7010
If
an object
is an
instance
of
auditorium seat
and
the object
is a
part
of
another object
and
a third object
is a
part
of
the other object
and
the other object
is an
instance
of
auditorium
and
the third object
is an
instance
of
performance stage
and
a fourth object
is
located
at
the object
and
the fourth object
is an
instance
of
human
and
a kind of process
is a
subclass
of
seeing
and for all
another process
if
the other process
is an
instance
of
a kind of process
,
then
the third object
is a
patient
of
the other process
,
then
the fourth object
is
capable
of doing
the kind of process
as a
agent
(=>
(
and
(
instance
?SENDER
Nation
)
(
instance
?RECEIVER
Nation
)
(
instance
?PERSON
Human
)
(
attribute
?PERSON ?ROLE)
(
subAttribute
?ROLE
DiplomaticAgent
)
(
representativeAgentToAgent
?SENDER ?PERSON ?RECEIVER))
(
diplomaticRepresentationType
?SENDER ?ROLE ?RECEIVER))
Government.kif 4552-4560
If
an agent
is an
instance
of
nation
and
another agent
is an
instance
of
nation
and
a third agent
is an
instance
of
human
and
a position
is an
attribute
of
the third agent
and
the position
is a
subattribute
of
diplomatic agent
and
the agent
is
representative
agent to agent
the third agent
for
the other agent
,
then
the agent
diplomatic
representation type
the position
for
the other agent
(=>
(
and
(
instance
?SERVICE
ChristianService
)
(
agent
?SERVICE ?PERSON)
(
instance
?PERSON
Human
))
(
member
?PERSON
Christianity
))
People.kif 785-790
If
a process
is an
instance
of
christian service
and
an agent
is an
agent
of
the process
and
the agent
is an
instance
of
human
,
then
the agent
is a
member
of
christianity
(=>
(
and
(
instance
?STRIKE
LaborStriking
)
(
agent
?STRIKE ?PERSON)
(
instance
?PERSON
Human
)
(
patient
?STRIKE ?ORG)
(
instance
?ORG
Organization
))
(
employs
?ORG ?PERSON))
Mid-level-ontology.kif 14497-14504
If
a process
is an
instance
of
labor striking
and
a cognitive agent
is an
agent
of
the process
and
the cognitive agent
is an
instance
of
human
and
an agent
is a
patient
of
the process
and
the agent
is an
instance
of
organization
,
then
the agent
employ
s
the cognitive agent
(=>
(
and
(
instance
?VACATION
Vacationing
)
(
instance
?WORK
Working
)
(
agent
?VACATION ?PERSON)
(
agent
?WORK ?PERSON)
(
instance
?PERSON
Human
))
(
not
(
overlapsTemporally
(
WhenFn
?VACATION)
(
WhenFn
?WORK))))
Mid-level-ontology.kif 18215-18222
If
a process
is an
instance
of
vacationing
and
another process
is an
instance
of
working
and
an agent
is an
agent
of
the process
and
the agent
is an
agent
of
the other process
and
the agent
is an
instance
of
human
,
then the
time
of existence of
the other process
doesn't
overlap
the
time
of existence of
the process
(=>
(
and
(
instance
?VEHICLE
CargoVehicle
)
(
instance
?O
Human
))
(
not
(
modalAttribute
(
exists
(?T)
(
and
(
instance
?T
Transportation
)
(
patient
?T ?HUMAN)
(
instrument
?T ?VEHICLE)))
Possibility
)))
Transportation.kif 1756-1766
If
an entity
is an
instance
of
cargo vehicle
and
another entity
is an
instance
of
human
,
then the statement there exists
a third entity
such that
the third entity
is an
instance
of
transportation
and
a fourth entity
is a
patient
of
the third entity
and
the entity
is an
instrument
for
the third entity
doesn't have the
modal
force
of
possibility
(=>
(
and
(
instance
?VEHICLE
PassengerVehicle
)
(
instance
?HUMAN
Human
))
(
modalAttribute
(
exists
(?T)
(
and
(
instance
?T
Transportation
)
(
patient
?T ?HUMAN)
(
instrument
?T ?VEHICLE)))
Possibility
))
Transportation.kif 1738-1748
If
an entity
is an
instance
of
passenger vehicle
and
another entity
is an
instance
of
human
,
then the statement there exists
a third entity
such that
the third entity
is an
instance
of
transportation
and
the other entity
is a
patient
of
the third entity
and
the entity
is an
instrument
for
the third entity
has the
modal
force
of
possibility
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?COLL
Collection
)
(
forall
(?EXPERIMENTING ?EVENT)
(=>
(
and
(
instance
?EXPERIMENTING
Experimenting
)
(
instance
?EVENT
Process
)
(
member
?EVENT
(
QualifyingEventsFn
?EXPERIMENT))
(
capability
?EVENT
experiencer
?VISITOR))
(
member
?EVENT ?COLL)))
(=>
(
member
?PROC ?COLL)
(
and
(
instance
?PROC
Process
)
(
exists
(?EXP)
(
and
(
instance
?EXP
Experimenting
)
(
member
?PROC
(
QualifyingEventsFn
?EXP))
(
capability
?PROC
experiencer
?VISITOR))))))
(
equal
(
QualifiedTreatmentsFn
?VISITOR) ?COLL))
UXExperimentalTerms.kif 4445-4468
If
a human
is an
instance
of
human
and
a collection
is an
instance
of
collection
and for all
an entity
and
a kind of process
if
the entity
is an
instance
of
experimenting
and
a kind of process
is an
instance
of
process
and
the kind of process
is a
member
of
events
in
an experimenting
and
the human
is
capable
of doing
the kind of process
as a
experiencer
,
then
the kind of process
is a
member
of
the collection
and
if
another kind of process
is a
member
of
the collection
,
then
another kind of process
is an
instance
of
process
and there exists
another experimenting
such that
the other experimenting
is an
instance
of
experimenting
and
the other kind of process
is a
member
of
events
in
the other experimenting
and
the human
is
capable
of doing
the other kind of process
as a
experiencer
,
then all the processes
the human
is
qualified
for is
equal
to
the collection
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?QPVIEWS
Collection
)
(
forall
(?PAGE ?ACCESSING ?EXPERIMENT)
(=>
(
and
(
instance
?PAGE
WebPage
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?EXPERIMENT
Experimenting
)
(
agent
?ACCESSING ?VISITOR)
(
patient
?ACCESSING ?PAGE)
(
treatedPage
?PAGE ?EXPERIMENT))
(
member
?ACCESSING ?QPVIEWS))))
(
equal
?QPVIEWS
(
QPViewsFn
?VISITOR)))
UXExperimentalTerms.kif 4379-4394
If
a human
is an
instance
of
human
and
a collection
is an
instance
of
collection
and for all
a WebPage
,
a process
and
an experimenting
if
the WebPage
is an
instance
of
WebPage
and
the process
is an
instance
of
AccessingWebPage
and
the experimenting
is an
instance
of
experimenting
and
the human
is an
agent
of
the process
and
the WebPage
is a
patient
of
the process
and
the WebPage
is the object of study of
the experimenting
,
then
the process
is a
member
of
the collection
,
then
the collection
is
equal
to all the
treated
web
page
views from
the human
(=>
(
and
(
instance
?VISITS
Collection
)
(
instance
?PURCHASES
Collection
)
(
subCollection
?PURCHASES ?VISITS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?VISITS)
(
instance
?MEMBER
AccessingWebPage
)))
(
forall
(?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE)
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?BUYING
Buying
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
member
?ACCESSING ?VISITS)
(
destination
?ACCESSING ?PAGE)
(
agent
?BUYING ?VISITOR)
(
agent
?ACCESSING ?VISITOR)
(
during
(
WhenFn
?BUYING)
(
WhenFn
?ACCESSING))
(
instrument
?BUYING ?PAGE))
(
member
?BUYING ?PURCHASES))))
(
equal
(
SCRFn
?VISITS ?INTERVAL)
(
DivisionFn
(
CardinalityFn
(
KappaFn
?PURCHASE_IN_INTERVAL
(
and
(
member
?PURCHASE_IN_INTERVAL ?PURCHASES)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))
(
CardinalityFn
(
KappaFn
?VISIT_IN_INTERVAL
(
and
(
member
?VISIT_IN_INTERVAL ?VISITS)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL)))))))
UXExperimentalTerms.kif 3871-3906
If
a collection
is an
instance
of
collection
and
another collection
is an
instance
of
collection
and
the other collection
is a proper
sub
-collection of
the collection
and for all
an object
if
the object
is a
member
of
the collection
,
then
the object
is an
instance
of
AccessingWebPage
and for all
a process
,
an agent
,, ,
another object
,, ,
the process
and
a third object
if
the agent
is an
instance
of
human
and
the process
is an
instance
of
buying
and
the other object
is an
instance
of
AccessingWebPage
and
the third object
is an
instance
of
WebPage
and
the other object
is a
member
of
the collection
and
the other object
end
s up at
the third object
and
the agent
is an
agent
of
the process
and
the agent
is an
agent
of
the other object
and the
time
of existence of
the process
takes place
during
the
time
of existence of
the other object
and
the third object
is an
instrument
for
the process
,
then
the process
is a
member
of
the other collection
,
then
purchases
made in
the collection
during
a time interval
is
equal
to the number of
instances
in the
class
described by
an entity
_IN_INTERVAL and the number of
instances
in the
class
described by
another entity
_IN_INTERVAL
(=>
(
and
(
names
?STRING ?OBJ)
(
instance
?OBJ
Human
))
(
humanName
?STRING ?OBJ))
Media.kif 3414-3418
If
a human
has
name
a symbolic string
and
the human
is an
instance
of
human
,
then
the human
is
called
the symbolic string
(=>
(
and
(
orthogonalTests
?TESTCOL1 ?TESTCOL2)
(
instance
?SUBJECT
Human
)
(
instance
?EXPERIMENT1
Experimenting
)
(
member
?EXPERIMENT1 ?TESTCOL1)
(
capability
?EXPERIMENT1
experimentalSubject
?SUBJECT))
(
exists
(?EXPERIMENT2)
(
and
(
instance
?EXPERIMENT2
Experimenting
)
(
member
?EXPERIMENT2 ?TESTCOL2)
(
capability
?EXPERIMENT2
experimentalSubject
?SUBJECT))))
UXExperimentalTerms.kif 4667-4678
If
a collection
and
another collection
are
orthogonal
tests
and
an object
is an
instance
of
human
and
a kind of process
is an
instance
of
experimenting
and
a kind of process
is a
member
of
the collection
and
the object
is
capable
of doing
the kind of process
as a
experimental subject
,
then there exists
another kind of process
such that
another kind of process
is an
instance
of
experimenting
and
the other kind of process
is a
member
of
the other collection
and
the object
is
capable
of doing
the other kind of process
as a
experimental subject
(=>
(
and
(
subjectiveAttribute
?X
Won
?JUDGE)
(
instance
?X
(
FoodForFn
Human
)))
(
exists
(?CONTEST ?AGENT ?PROC)
(
and
(
contestObject
?CONTEST ?X ?AGENT)
(
instance
?PROC
Judging
)
(
agent
?PROC ?JUDGE)
(
subProcess
?PROC ?CONTEST))))
Dining.kif 853-862
If
an agent
believes
an object
is
won
and
the object
is an
instance
of
food
for
human
,
then there exist
a contest
,
another agent
and
a process
such that
the other agent
entered
the object
in
the contest
and
the process
is an
instance
of
judging
and
the agent
is an
agent
of
the process
and
the process
is a
subprocess
of
the contest
(=>
(
instance
?PERSON
Human
)
(
disapproves
?PERSON
(
attribute
?PERSON
DislocatedCivilian
)))
MilitaryPersons.kif 49-52
If
a cognitive agent
is an
instance
of
human
,
then
dislocated civilian
is an
attribute
of
the cognitive agent
is a
disapproves
of
the cognitive agent
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
