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
コレクション
は
組織
の
instance
では %n
Utilities
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
工程
2 and
AutonomousAgent
2
AutonomousAgent
は
除却
の
instance
では %n
オブジェクト
は
Sewage
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
patient
では %n
オブジェクト
は
電子
の
instance
では %n
オブジェクト
は
水
の
instance
では %n
オブジェクト
は
純物質
の
instance
では %n
オブジェクト
は
燃焼
を
patient
として行う
capable
では %n
工程
2 は
コレクション
の
member
では %n
AutonomousAgent
2 は
金融取引
の
instance
では %n
工程
2 は
AutonomousAgent
2 の
agent
では %n
オブジェクト
は
AutonomousAgent
2 の
patient
では %n
(=>
(
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
コレクション
は
組織
の
instance
では %n
WarehousingAndStorage
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
認識エージェント
エンティティー
AutonomousAgent
は
販売
の
instance
では %n
エンティティー
は
オブジェクト
の
instance
では %n
認識エージェント
は
人[人間]
の
instance
では %n
認識エージェント
は
AutonomousAgent
の
patient
では %n
工程
は
認識エージェント
が
エンティティー
エンティティー
エンティティー
は
時間間隔
の
instance
では %n
エンティティー
は
建物
の
instance
では %n
認識エージェント
は
エンティティー
を
possess
es %n{ない}
エンティティー
は
エンティティー
に
located
して %n は
エンティティー
の
during
holds %n{ない} のタスクを実行することはを
allow
s %n{ない}
(=>
(
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
コレクション
は
組織
の
instance
では %n
WaterTransportationIndustry
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
認識エージェント
AutonomousAgent
は
販売
の
instance
では %n
認識エージェント
は
人[人間]
の
instance
では %n
認識エージェント
は
AutonomousAgent
の
patient
では %n
工程
は
認識エージェント
が
エンティティー
エンティティー
and
エンティティー
エンティティー
は
交通手段
の
instance
では %n
認識エージェント
は
エンティティー
の
patient
では %n
認識エージェント
は
エンティティー
を
possess
es %n{ない}
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
オブジェクト
の
instance
では %n
コレクション
は
エンティティー
を
possess
es %n{ない}
エンティティー
は
WaterVehicle
の
instance
では %n のタスクを実行することはを
allow
s %n{ない}
(=>
(
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
コレクション
は
組織
の
instance
では %n
WholesaleTrade
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
工程
2 and
AutonomousAgent
2
AutonomousAgent
は
販売
の
instance
では %n
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
は
AutonomousAgent
の
patient
では %n
工程
2 は
コレクション
の
member
では %n
AutonomousAgent
2 は
販売
の
instance
では %n
工程
2 は
AutonomousAgent
2 の
agent
では %n
エンティティー
は
AutonomousAgent
2 の
patient
では %n
(=>
(
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
コレクション
は
組織
の
instance
では %n
WoodProductManufacturing
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
微粒子オブジェクト
工程
2 and
AutonomousAgent
2
AutonomousAgent
は
製造
の
instance
では %n
微粒子オブジェクト
は
Wood
の
instance
では %n
Wood
は
微粒子オブジェクト
で
made
%n
微粒子オブジェクト
は
AutonomousAgent
の
patient
では %n
工程
2 は
コレクション
の
member
では %n
AutonomousAgent
2 は
販売
の
instance
では %n
工程
2 は
AutonomousAgent
2 の
agent
では %n
微粒子オブジェクト
は
AutonomousAgent
2 の
patient
では %n
(=>
(
and
(
instance
?ORG
Organization
)
(
member
?AGENT ?ORG))
(
instance
?AGENT
AutonomousAgent
))
Merge.kif 16631-16635
コレクション
は
組織
の
instance
では %n
物理
は
コレクション
の
member
では %n
物理
は
AutonomousAgent
の
instance
では %n
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ORG
Organization
)
(
instance
?POSITION
Position
)
(
attribute
?PERSON
(
MemberRoleFn
?ORG ?POSITION)))
(
occupiesPosition
?PERSON ?POSITION ?ORG))
Government.kif 1806-1812
人[人間]
は
人[人間]
の
instance
では %n
組織
は
組織
の
instance
では %n
ポジション
は
ポジション
の
instance
では %n
MemberRoleFn
組織
and
ポジション
は
人[人間]
の
attribute
では %n
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
(=>
(
and
(
instance
?PROCESS
JudicialProcess
)
(
agent
?PROCESS ?ORG)
(
instance
?ORG
Organization
))
(
instance
?ORG
JudicialOrganization
))
Merge.kif 10780-10785
工程
は
JudicialProcess
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
組織
の
instance
では %n
AutonomousAgent
は
JudicialOrganization
の
instance
では %n
(=>
(
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
工程
は
LaborStriking
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
認識エージェント
は
人[人間]
の
instance
では %n
AutonomousAgent
は
工程
の
patient
では %n
AutonomousAgent
は
組織
の
instance
では %n
AutonomousAgent
は
認識エージェント
を
employ
s %n{ない}
(=>
(
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
オブジェクト
は
CommercialUnit
の
instance
では %n
物理
は
組織
の
instance
では %n
物理
は
オブジェクト
に
located
して %n
物理
物理
は
組織
の
instance
では %n
物理
は
オブジェクト
に
located
して %n
物理
は
物理
と
equal
では
(=>
(
and
(
judicialBranch
?BRANCH ?ORG)
(
instance
?ORG
Organization
))
(
subOrganization
?BRANCH ?ORG))
Government.kif 2118-2122
judicialBranch
組織
and
組織
組織
は
組織
の
instance
では %n
組織
は組織
組織
の一部では %n
(=>
(
and
(
legislativeBranch
?ORG ?AGENT)
(
instance
?AGENT
Organization
))
(
subOrganization
?ORG ?AGENT))
Government.kif 2023-2027
legislativeBranch
組織
and
組織
組織
は
組織
の
instance
では %n
組織
は組織
組織
の一部では %n
(=>
(
and
(
names
?STRING ?OBJ)
(
instance
?OBJ
Organization
))
(
organizationName
?STRING ?OBJ))
Media.kif 3480-3484
組織
は
記号文字列
の
name
を 持って %n{ない}
組織
は
組織
の
instance
では %n
organizationName
記号文字列
and
組織
(=>
(
and
(
representativeAgentToAgent
?SENDER ?REP ?RECEIVER)
(
instance
?SENDER
Organization
)
(
instance
?REP
CognitiveAgent
))
(
employs
?SENDER ?REP))
Government.kif 4607-4612
representativeAgentToAgent
AutonomousAgent
,
認識エージェント
and
AutonomousAgent
AutonomousAgent
は
組織
の
instance
では %n
認識エージェント
は
認識エージェント
の
instance
では %n
AutonomousAgent
は
認識エージェント
を
employ
s %n{ない}
(=>
(
and
(
subclass
?PLATFORM
PartyPlatform
)
(
authors
?PARTY ?PLATFORM)
(
instance
?PARTY
Organization
))
(
instance
?PARTY
PoliticalParty
))
Government.kif 2324-2329
コンテンツベアリングオブジェクト
は
PartyPlatform
の
subclass
では %n
AutonomousAgent
は
コンテンツベアリングオブジェクト
の
author
では %n
AutonomousAgent
は
組織
の
instance
では %n
AutonomousAgent
は
PoliticalParty
の
instance
では %n
(=>
(
instance
(
ExecutiveBranchFn
?AGENT)
Organization
)
(
executiveBranch
(
ExecutiveBranchFn
?AGENT) ?AGENT))
Government.kif 1332-1334
ExecutiveBranchFn
AutonomousAgent
は
組織
の
instance
では %n
executiveBranch
ExecutiveBranchFn
AutonomousAgent
and
AutonomousAgent
(=>
(
instance
(
JudiciaryFn
?AGENT)
Organization
)
(
judicialBranch
(
JudiciaryFn
?AGENT) ?AGENT))
Government.kif 2151-2153
JudiciaryFn
地政学的地域
は
組織
の
instance
では %n
judicialBranch
JudiciaryFn
地政学的地域
and
地政学的地域
(=>
(
instance
(
LegislatureFn
?AGENT)
Organization
)
(
legislativeBranch
(
LegislatureFn
?AGENT) ?AGENT))
Government.kif 2046-2048
LegislatureFn
地政学的地域
は
組織
の
instance
では %n
legislativeBranch
LegislatureFn
地政学的地域
and
地政学的地域
(=>
(
instance
?ORG
Organization
)
(
exists
(?PURP)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?ORG)
(
hasPurpose
?MEMBER ?PURP)))))
Merge.kif 16623-16629
コレクション
は
組織
の
instance
では %n
公式
物理
物理
は
コレクション
の
member
では %n
物理
は
公式
の 目的 %n{ない}
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