Organization
(organization)
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
Utilities
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
or
(
instance
?EV
Removing
)
(
instance
?THING
Sewage
))
(
patient
?EV ?THING)
(
or
(
instance
?THING
Electron
)
(
instance
?THING
Water
)
(
and
(
instance
?THING
PureSubstance
)
(
capability
Combustion
patient
?THING)))
(
member
?MEM2 ?ORG)
(
instance
?EV2
FinancialTransaction
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 954-977
If
a collection
is an
instance
of
organization
and
utilities
is an
attribute
of
the collection
,
then there exist
an agent
and
a process
such that
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
and there exist
an object
,
the process
2 and
the agent
2 such that
the agent
is an
instance
of
removing
or
the object
is an
instance
of
sewage
and
the object
is a
patient
of
the agent
and
the object
is an
instance
of
electron
or
the object
is an
instance
of
water
or
the object
is an
instance
of
pure substance
and
the object
is
capable
of doing
burning
as a
patient
and
the process
2 is a
member
of
the collection
and
the agent
2 is an
instance
of
financial transaction
and
the process
2 is an
agent
of
the agent
2 and
the object
is a
patient
of
the agent
2
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
WarehousingAndStorage
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P ?OBJ)
(
and
(
instance
?EV
Selling
)
(
instance
?OBJ
Object
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?B ?T)
(
and
(
instance
?T
TimeInterval
)
(
instance
?B
Building
)
(
possesses
?P ?OBJ)
(
holdsDuring
?T
(
located
?B ?OBJ)))) ?MEM ?P))))))
naics.kif 8776-8797
If
a collection
is an
instance
of
organization
and
warehousing and storage
is an
attribute
of
the collection
,
then there exist
an agent
and
a process
such that
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
and there exist
a cognitive agent
and
an entity
such that
the agent
is an
instance
of
selling
and
the entity
is an
instance
of
object
and
the cognitive agent
is an
instance
of
human
and
the cognitive agent
is a
patient
of
the agent
and
the process
allow
s
the cognitive agent
to perform task of the type there exist
another entity
and
a third entity
such that
the third entity
is an
instance
of
time interval
and
the other entity
is an
instance
of
building
and
the cognitive agent
possess
es
the entity
and
the other entity
is
located
at
the entity
holds
during
the third entity
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
WaterTransportationIndustry
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?T ?V ?OBJ)
(
and
(
instance
?T
Transportation
)
(
or
(
patient
?T ?P)
(
and
(
possesses
?P ?OBJ)
(
patient
?T ?OBJ)
(
instance
?OBJ
Object
)))
(
possesses
?ORG ?V)
(
instance
?V
WaterVehicle
))) ?MEM ?P))))))
naics.kif 8080-8105
If
a collection
is an
instance
of
organization
and
water transportation industry
is an
attribute
of
the collection
,
then there exist
an agent
and
a process
such that
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
and there exists
a cognitive agent
such that
the agent
is an
instance
of
selling
and
the cognitive agent
is an
instance
of
human
and
the cognitive agent
is a
patient
of
the agent
and
the process
allow
s
the cognitive agent
to perform task of the type there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
transportation
and
the cognitive agent
is a
patient
of
the entity
or
the cognitive agent
possess
es
the third entity
and
the third entity
is a
patient
of
the entity
and
the third entity
is an
instance
of
object
and
the collection
possess
es
the other entity
and
the other entity
is an
instance
of
water vehicle
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
WholesaleTrade
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Selling
)
(
instance
?THING
Object
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 6375-6391
If
a collection
is an
instance
of
organization
and
wholesale trade
is an
attribute
of
the collection
,
then there exist
an agent
and
a process
such that
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
and there exist
an entity
,
the process
2 and
the agent
2 such that
the agent
is an
instance
of
selling
and
the entity
is an
instance
of
object
and
the entity
is a
patient
of
the agent
and
the process
2 is a
member
of
the collection
and
the agent
2 is an
instance
of
selling
and
the process
2 is an
agent
of
the agent
2 and
the entity
is a
patient
of
the agent
2
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
WoodProductManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
or
(
instance
?THING
Wood
)
(
material
Wood
?THING))
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 2563-2581
If
a collection
is an
instance
of
organization
and
wood product manufacturing
is an
attribute
of
the collection
,
then there exist
an agent
and
a process
such that
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
and there exist
a corpuscular object
,
the process
2 and
the agent
2 such that
the agent
is an
instance
of
manufacture
and
the corpuscular object
is an
instance
of
wood
or
the corpuscular object
is
made
of
wood
and
the corpuscular object
is a
patient
of
the agent
and
the process
2 is a
member
of
the collection
and
the agent
2 is an
instance
of
selling
and
the process
2 is an
agent
of
the agent
2 and
the corpuscular object
is a
patient
of
the agent
2
(=>
(
and
(
instance
?ORG
Organization
)
(
member
?AGENT ?ORG))
(
instance
?AGENT
AutonomousAgent
))
Merge.kif 16631-16635
If
a collection
is an
instance
of
organization
and
a physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
agent
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ORG
Organization
)
(
instance
?POSITION
Position
)
(
attribute
?PERSON
(
MemberRoleFn
?ORG ?POSITION)))
(
occupiesPosition
?PERSON ?POSITION ?ORG))
Government.kif 1806-1812
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
?PROCESS
JudicialProcess
)
(
agent
?PROCESS ?ORG)
(
instance
?ORG
Organization
))
(
instance
?ORG
JudicialOrganization
))
Merge.kif 10780-10785
If
a process
is an
instance
of
judicial process
and
an agent
is an
agent
of
the process
and
the agent
is an
instance
of
organization
,
then
the agent
is an
instance
of
judicial organization
(=>
(
and
(
instance
?STRIKE
LaborStriking
)
(
agent
?STRIKE ?PERSON)
(
instance
?PERSON
Human
)
(
patient
?STRIKE ?ORG)
(
instance
?ORG
Organization
))
(
employs
?ORG ?PERSON))
Mid-level-ontology.kif 16916-16923
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
?UNIT
CommercialUnit
)
(
instance
?ORG
Organization
)
(
located
?ORG ?UNIT))
(
not
(
exists
(?OTHER)
(
and
(
instance
?OTHER
Organization
)
(
located
?OTHER ?UNIT)
(
not
(
equal
?OTHER ?ORG))))))
Mid-level-ontology.kif 7068-7077
If
an object
is an
instance
of
commercial unit
and
a physical
is an
instance
of
organization
and
the physical
is
located
at
the object
,
then there doesn't exist
another physical
such that
the other physical
is an
instance
of
organization
and
the other physical
is
located
at
the object
and
the other physical
is not
equal
to
the physical
(=>
(
and
(
judicialBranch
?BRANCH ?ORG)
(
instance
?ORG
Organization
))
(
subOrganization
?BRANCH ?ORG))
Government.kif 2118-2122
If
an organization
is a
judicial
branch of
another organization
and
the organization
is an
instance
of
organization
,
then
the other organization
is a part of the organization
the organization
(=>
(
and
(
legislativeBranch
?ORG ?AGENT)
(
instance
?AGENT
Organization
))
(
subOrganization
?ORG ?AGENT))
Government.kif 2023-2027
If
an organization
is a
legislative
branch of
another organization
and
the organization
is an
instance
of
organization
,
then
the other organization
is a part of the organization
the organization
(=>
(
and
(
names
?STRING ?OBJ)
(
instance
?OBJ
Organization
))
(
organizationName
?STRING ?OBJ))
Media.kif 3480-3484
If
an organization
has
name
a symbolic string
and
the organization
is an
instance
of
organization
,
then
the organization
is
called
the symbolic string
(=>
(
and
(
representativeAgentToAgent
?SENDER ?REP ?RECEIVER)
(
instance
?SENDER
Organization
)
(
instance
?REP
CognitiveAgent
))
(
employs
?SENDER ?REP))
Government.kif 4607-4612
If
an agent
is
representative
agent to agent
a cognitive agent
for
another agent
and
the agent
is an
instance
of
organization
and
the cognitive agent
is an
instance
of
cognitive agent
,
then
the agent
employ
s
the cognitive agent
(=>
(
and
(
subclass
?PLATFORM
PartyPlatform
)
(
authors
?PARTY ?PLATFORM)
(
instance
?PARTY
Organization
))
(
instance
?PARTY
PoliticalParty
))
Government.kif 2324-2329
If
a kind of content bearing object
is a
subclass
of
party platform
and
an agent
is the
author
of
a kind of content bearing object
and
the agent
is an
instance
of
organization
,
then
the agent
is an
instance
of
political party
(=>
(
instance
(
ExecutiveBranchFn
?AGENT)
Organization
)
(
executiveBranch
(
ExecutiveBranchFn
?AGENT) ?AGENT))
Government.kif 1332-1334
If the
executive
branch of
an agent
is an
instance
of
organization
,
then
the agent
is an
executive
branch of the
executive
branch of
the agent
(=>
(
instance
(
JudiciaryFn
?AGENT)
Organization
)
(
judicialBranch
(
JudiciaryFn
?AGENT) ?AGENT))
Government.kif 2151-2153
If the
judiciary
of
a geopolitical area
is an
instance
of
organization
,
then
the geopolitical area
is a
judicial
branch of the
judiciary
of
the geopolitical area
(=>
(
instance
(
LegislatureFn
?AGENT)
Organization
)
(
legislativeBranch
(
LegislatureFn
?AGENT) ?AGENT))
Government.kif 2046-2048
If the
legislature
of
a geopolitical area
is an
instance
of
organization
,
then
the geopolitical area
is a
legislative
branch of the
legislature
of
the geopolitical area
(=>
(
instance
?ORG
Organization
)
(
exists
(?PURP)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?ORG)
(
hasPurpose
?MEMBER ?PURP)))))
Merge.kif 16623-16629
If
a collection
is an
instance
of
organization
,
then there exists
a formula
such that for all
a physical
if
the physical
is a
member
of
the collection
,
then
the physical
has the purpose
the formula
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
