Organization
(organisation)
(=>
(
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
Collection
est une
instance
de
organisation
Utilities
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
objet
processus
2 and
AutonomousAgent
2
AutonomousAgent
est une
instance
de
supprimer
objet
est une
instance
de
Sewage
objet
est un
patient
de
AutonomousAgent
objet
est une
instance
de
�l�ctron
objet
est une
instance
de
eau
objet
est une
instance
de
substance pure
objet
est
capable
de faire
combustion
dans le r�le
patient
processus
2 est un
membre
de
collection
AutonomousAgent
2 est une
instance
de
financial transaction
AutonomousAgent
2 est un
agent
de
processus
2
objet
est un
patient
de
AutonomousAgent
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
Collection
est une
instance
de
organisation
WarehousingAndStorage
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
agent cognitif
entit�
AutonomousAgent
est une
instance
de
vendre
entit�
est une
instance
de
objet
agent cognitif
est une
instance
de
humain
agent cognitif
est un
patient
de
AutonomousAgent
processus
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
entit�
est une
instance
de
interval temporel
entit�
est une
instance
de
immeuble
agent cognitif
poss
�de
entit�
entit�
est
situ
� �
entit�
pendant
entit�
(=>
(
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
Collection
est une
instance
de
organisation
WaterTransportationIndustry
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
agent cognitif
AutonomousAgent
est une
instance
de
vendre
agent cognitif
est une
instance
de
humain
agent cognitif
est un
patient
de
AutonomousAgent
processus
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
and
entit�
entit�
est une
instance
de
transporter
agent cognitif
est un
patient
de
entit�
agent cognitif
poss
�de
entit�
entit�
est un
patient
de
entit�
entit�
est une
instance
de
objet
collection
poss
�de
entit�
entit�
est une
instance
de
WaterVehicle
(=>
(
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
Collection
est une
instance
de
organisation
WholesaleTrade
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
entit�
processus
2 and
AutonomousAgent
2
AutonomousAgent
est une
instance
de
vendre
entit�
est une
instance
de
objet
entit�
est un
patient
de
AutonomousAgent
processus
2 est un
membre
de
collection
AutonomousAgent
2 est une
instance
de
vendre
AutonomousAgent
2 est un
agent
de
processus
2
entit�
est un
patient
de
AutonomousAgent
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
Collection
est une
instance
de
organisation
WoodProductManufacturing
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
objet corpusculaire
processus
2 and
AutonomousAgent
2
AutonomousAgent
est une
instance
de
manufacture
objet corpusculaire
est une
instance
de
Wood
Wood
est
fait
de
objet corpusculaire
objet corpusculaire
est un
patient
de
AutonomousAgent
processus
2 est un
membre
de
collection
AutonomousAgent
2 est une
instance
de
vendre
AutonomousAgent
2 est un
agent
de
processus
2
objet corpusculaire
est un
patient
de
AutonomousAgent
2
(=>
(
and
(
instance
?ORG
Organization
)
(
member
?AGENT ?ORG))
(
instance
?AGENT
AutonomousAgent
))
Merge.kif 16653-16657
Collection
est une
instance
de
organisation
physique
est un
membre
de
collection
physique
est une
instance
de
AutonomousAgent
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ORG
Organization
)
(
instance
?POSITION
Position
)
(
attribute
?PERSON
(
MemberRoleFn
?ORG ?POSITION)))
(
occupiesPosition
?PERSON ?POSITION ?ORG))
Government.kif 1806-1812
Humain
est une
instance
de
humain
organisation
est une
instance
de
organisation
position
est une
instance
de
position
MemberRoleFn
organisation
and
position
est un
attribut
de
humain
humain
occupe la
position
de
position
organisation
(=>
(
and
(
instance
?PROCESS
JudicialProcess
)
(
agent
?PROCESS ?ORG)
(
instance
?ORG
Organization
))
(
instance
?ORG
JudicialOrganization
))
Merge.kif 10802-10807
Processus
est une
instance
de
JudicialProcess
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est une
instance
de
organisation
AutonomousAgent
est une
instance
de
JudicialOrganization
(=>
(
and
(
instance
?STRIKE
LaborStriking
)
(
agent
?STRIKE ?PERSON)
(
instance
?PERSON
Human
)
(
patient
?STRIKE ?ORG)
(
instance
?ORG
Organization
))
(
employs
?ORG ?PERSON))
Mid-level-ontology.kif 16915-16922
Processus
est une
instance
de
LaborStriking
processus
est un
agent
de
agent cognitif
agent cognitif
est une
instance
de
humain
AutonomousAgent
est un
patient
de
processus
AutonomousAgent
est une
instance
de
organisation
AutonomousAgent
emploie
agent cognitif
(=>
(
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 7067-7076
Objet
est une
instance
de
CommercialUnit
physique
est une
instance
de
organisation
physique
est
situ
� �
objet
physique
physique
est une
instance
de
organisation
physique
est
situ
� �
objet
physique
est
physique
(=>
(
and
(
judicialBranch
?BRANCH ?ORG)
(
instance
?ORG
Organization
))
(
subOrganization
?BRANCH ?ORG))
Government.kif 2118-2122
judicialBranch
organisation
and
organisation
organisation
est une
instance
de
organisation
organisation
est une partie de l'organization
organisation
(=>
(
and
(
legislativeBranch
?ORG ?AGENT)
(
instance
?AGENT
Organization
))
(
subOrganization
?ORG ?AGENT))
Government.kif 2023-2027
legislativeBranch
organisation
and
organisation
organisation
est une
instance
de
organisation
organisation
est une partie de l'organization
organisation
(=>
(
and
(
names
?STRING ?OBJ)
(
instance
?OBJ
Organization
))
(
organizationName
?STRING ?OBJ))
Media.kif 3480-3484
Organisation
s'appele
nom
cha�ne sympbolique
organisation
est une
instance
de
organisation
organizationName
cha�ne sympbolique
and
organisation
(=>
(
and
(
representativeAgentToAgent
?SENDER ?REP ?RECEIVER)
(
instance
?SENDER
Organization
)
(
instance
?REP
CognitiveAgent
))
(
employs
?SENDER ?REP))
Government.kif 4607-4612
representativeAgentToAgent
AutonomousAgent
,
agent cognitif
and
AutonomousAgent
AutonomousAgent
est une
instance
de
organisation
agent cognitif
est une
instance
de
agent cognitif
AutonomousAgent
emploie
agent cognitif
(=>
(
and
(
subclass
?PLATFORM
PartyPlatform
)
(
authors
?PARTY ?PLATFORM)
(
instance
?PARTY
Organization
))
(
instance
?PARTY
PoliticalParty
))
Government.kif 2324-2329
Objet exprimant un sens
est une
sous
-classe de
PartyPlatform
AutonomousAgent
est l'
auteur
de
objet exprimant un sens
AutonomousAgent
est une
instance
de
organisation
AutonomousAgent
est une
instance
de
PoliticalParty
(=>
(
instance
(
ExecutiveBranchFn
?AGENT)
Organization
)
(
executiveBranch
(
ExecutiveBranchFn
?AGENT) ?AGENT))
Government.kif 1332-1334
ExecutiveBranchFn
AutonomousAgent
est une
instance
de
organisation
executiveBranch
ExecutiveBranchFn
AutonomousAgent
and
AutonomousAgent
(=>
(
instance
(
JudiciaryFn
?AGENT)
Organization
)
(
judicialBranch
(
JudiciaryFn
?AGENT) ?AGENT))
Government.kif 2151-2153
JudiciaryFn
secteur g�opolitique
est une
instance
de
organisation
judicialBranch
JudiciaryFn
secteur g�opolitique
and
secteur g�opolitique
(=>
(
instance
(
LegislatureFn
?AGENT)
Organization
)
(
legislativeBranch
(
LegislatureFn
?AGENT) ?AGENT))
Government.kif 2046-2048
LegislatureFn
secteur g�opolitique
est une
instance
de
organisation
legislativeBranch
LegislatureFn
secteur g�opolitique
and
secteur g�opolitique
(=>
(
instance
?ORG
Organization
)
(
exists
(?PURP)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?ORG)
(
hasPurpose
?MEMBER ?PURP)))))
Merge.kif 16645-16651
Collection
est une
instance
de
organisation
formule
physique
physique
est un
membre
de
collection
physique
a pour
but
formule
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