located
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1)))
(
exists
(?AREA2)
(
and
(
instance
?AREA2
GeopoliticalArea
)
(
not
(
geopoliticalSubdivision
?AREA1 ?AREA2))
(
not
(
geopoliticalSubdivision
?AREA2 ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))))
Economy.kif 2432-2445
工程
は
Exporting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
地政学的地域
は
地政学的地域
の
instance
では %n
エンティティー
は
地政学的地域
に
located
して %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
地政学的地域
地政学的地域
は
地政学的地域
の
instance
では %n
地政学的地域
は
地政学的地域
の
geopolitical
部分では
地政学的地域
は
地政学的地域
の
geopolitical
部分では
エンティティー
は
地政学的地域
に
located
して %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
instance
?AREA2
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))
(
not
(
located
?AREA2 ?AREA1)))
Economy.kif 2456-2466
工程
は
Exporting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
オブジェクト
は
地政学的地域
の
instance
では %n
物理
は
地政学的地域
の
instance
では %n
エンティティー
は
オブジェクト
に
located
して %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
物理
に
located
して %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
物理
は
オブジェクト
に
located
して
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
origin
?EXPORT ?AREA1)
(
instance
?AREA2
GeopoliticalArea
)
(
destination
?EXPORT ?AREA2))
(
not
(
located
?AREA2 ?AREA1)))
Economy.kif 2478-2486
工程
は
Exporting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
オブジェクト
は
地政学的地域
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
物理
は
地政学的地域
の
instance
では %n
工程
は
物理
に
end
s %n{ない}
物理
は
オブジェクト
に
located
して
(=>
(
and
(
instance
?FARMING
Farming
)
(
agent
?FARMING ?FARMER))
(
exists
(?FARM)
(
and
(
instance
?FARM
Farm
)
(
holdsDuring
(
WhenFn
?FARMING)
(
located
?FARMER ?FARM)))))
Mid-level-ontology.kif 20507-20514
工程
は
Farming
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
エンティティー
は
Farm
の
instance
では %n
AutonomousAgent
は
エンティティー
に
located
して %n は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
and
(
instance
?FID
ForeignInternalDefense
)
(
agent
?FID ?MIL)
(
experiencer
?FID ?HN))
(
hasPurpose
?FID
(
exists
(?ORG ?LEARNING)
(
and
(
instance
?LEARNING
Learning
)
(
experiencer
?LEARNING ?ORG)
(
agent
?LEARNING ?MIL)
(
or
(
militaryOfArea
?ORG ?HN)
(
and
(
instance
?ORG
MilitaryForce
)
(
located
?ORG ?HN)))))))
MilitaryProcesses.kif 1960-1975
工程
は
ForeignInternalDefense
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
は
エンティティー
エンティティー
エンティティー
は
学習
の
instance
では %n
エンティティー
が
エンティティー
を
experience
s %n{ない}
AutonomousAgent
は
エンティティー
の
agent
では %n
militaryOfArea
エンティティー
and
AutonomousAgent
エンティティー
は
MilitaryForce
の
instance
では %n
エンティティー
は
AutonomousAgent
に
located
して %n の 目的 %n{ない}
(=>
(
and
(
instance
?FLYING
Flying
)
(
patient
?FLYING ?ALM)
(
instance
?ALM
AirLaunchMissile
))
(
exists
(?REGION)
(
and
(
instance
?REGION
AtmosphericRegion
)
(
holdsDuring
(
BeginFn
(
WhenFn
?FLYING))
(
located
?ALM ?REGION)))))
MilitaryDevices.kif 944-955
工程
は
Flying
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
AirLaunchMissile
の
instance
では %n
エンティティー
エンティティー
は
AtmosphericRegion
の
instance
では %n
エンティティー
は
エンティティー
に
located
して %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
(=>
(
and
(
instance
?G
Gene
)
(
located
?G ?C)
(
instance
?C
Cell
))
(
exists
(?B ?N ?R)
(
and
(
instance
?B
BiologicalProcess
)
(
eventLocated
?B ?C)
(
origin
?B ?G)
(
result
?B ?N)
(
instance
?N
Nucleotide
)
(
part
?N ?R)
(
instance
?R
RNAMolecule
)
(
located
?R ?C))))
VirusProteinAndCellPart.kif 655-669
オブジェクト
は
Gene
の
instance
では %n
オブジェクト
は
オブジェクト
に
located
して %n
オブジェクト
は
細胞
の
instance
では %n
工程
オブジェクト
and
オブジェクト
工程
は
生物学的プロセス
の
instance
では %n
eventLocated
工程
and
オブジェクト
工程
は
オブジェクト
から
originate
s %n{ない}
オブジェクト
は
工程
の
result
では %n
オブジェクト
は
Nucleotide
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
RNAMolecule
の
instance
では %n
オブジェクト
は
オブジェクト
に
located
して %n
(=>
(
and
(
instance
?GOAL
GameGoal
)
(
instrument
?GAME ?GOAL)
(
instance
?GAME
Game
)
(
subProcess
?SCORE ?GAME)
(
instance
?SCORE
Score
))
(
exists
(?PIECE ?TIME)
(
and
(
instance
?PIECE
GamePiece
)
(
patient
?SCORE ?PIECE)
(
temporalPart
?TIME
(
WhenFn
?SCORE))
(
holdsDuring
?TIME
(
located
?PIECE ?GOAL)))))
Mid-level-ontology.kif 17051-17063
オブジェクト
は
GameGoal
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
工程
は
ゲーム
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
Score
の
instance
では %n
エンティティー
時間位置
エンティティー
は
GamePiece
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
時間位置
は
工程
の
time
の existence の
part
では %n
エンティティー
は
オブジェクト
に
located
して %n は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
instance
?I
Itching
)
(
located
?I ?P)
(
part
?P ?H)
(
experiencer
?I ?H))
(
desires
?H
(
exists
(?S)
(
and
(
instance
?S
Scratching
)
(
during
(
WhenFn
?S)
(
WhenFn
?I))
(
located
?S ?P)))))
Mid-level-ontology.kif 5725-5736
工程
は
Itching
の
instance
では %n
工程
は
オブジェクト
に
located
して %n
オブジェクト
は
認識エージェント
の
part
では %n
認識エージェント
が
工程
を
experience
s %n{ない}
認識エージェント
が
エンティティー
エンティティー
は
Scratching
の
instance
では %n
エンティティー
の
time
の existence は
工程
の
time
の existence の
during
に takes %n{ない}
エンティティー
は
オブジェクト
に
located
して %n を
desire
s %n{ない}
(=>
(
and
(
instance
?KEEP
Keeping
)
(
patient
?KEEP ?OBJ))
(
exists
(?PLACE)
(
forall
(?TIME)
(=>
(
temporalPart
?TIME
(
WhenFn
?KEEP))
(
holdsDuring
?TIME
(
located
?OBJ ?PLACE))))))
Merge.kif 12190-12198
工程
は
保持
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
時間位置
時間位置
は
工程
の
time
の existence の
part
では %n
エンティティー
は
エンティティー
に
located
して %n は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
instance
?LOCATING
Locating
)
(
patient
?LOCATING ?THING)
(
agent
?LOCATING ?AGENT))
(
hasPurpose
?LOCATING
(
exists
(?LOCATION)
(
and
(
instance
?LOCATION
Region
)
(
knows
?AGENT
(
located
?THING ?LOCATION))))))
MilitaryProcesses.kif 577-587
工程
は
Locating
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
エンティティー
エンティティー
は
地域
の
instance
では %n
AutonomousAgent
は
エンティティー
は
エンティティー
に
located
して %n を
know
s %n{ない} の 目的 %n{ない}
(=>
(
and
(
instance
?MOTION
Motion
)
(
moves
?MOTION ?OBJ)
(
destination
?MOTION ?PLACE))
(
holdsDuring
(
EndFn
(
WhenFn
?MOTION))
(
located
?OBJ ?PLACE)))
Merge.kif 11052-11057
Motion
は
motion
の
instance
では %n
moves
motion
and
オブジェクト
motion
は
エンティティー
に
end
s %n{ない}
オブジェクト
は
エンティティー
に
located
して %n は
motion
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?MOTION
Motion
)
(
moves
?MOTION ?OBJ)
(
origin
?MOTION ?PLACE))
(
holdsDuring
(
BeginFn
(
WhenFn
?MOTION))
(
located
?OBJ ?PLACE)))
Merge.kif 11036-11041
Motion
は
motion
の
instance
では %n
moves
motion
and
オブジェクト
motion
は
オブジェクト
から
originate
s %n{ない}
オブジェクト
は
オブジェクト
に
located
して %n は
motion
の
time
の existence の
beginning
の
during
holds %n{ない}
(=>
(
and
(
instance
?MOVEMENT
Translocation
)
(
origin
?MOVEMENT ?PLACE1))
(
exists
(?PLACE2 ?STAGE)
(
and
(
instance
?PLACE2
Region
)
(
not
(
equal
?PLACE1 ?PLACE2))
(
subProcess
?STAGE ?MOVEMENT)
(
located
?STAGE ?PLACE2))))
Merge.kif 11558-11567
工程
は
Translocation
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
オブジェクト
工程
オブジェクト
は
地域
の
instance
では %n
オブジェクト
は
オブジェクト
と
equal
では
工程
は
工程
% の
subprocess
では %n
工程
は
オブジェクト
に
located
して %n
(=>
(
and
(
instance
?OBJ1
Object
)
(
partlyLocated
?OBJ1 ?OBJ2))
(
exists
(?SUB)
(
and
(
part
?SUB ?OBJ1)
(
located
?SUB ?OBJ2))))
Merge.kif 4061-4068
オブジェクト
は
オブジェクト
の
instance
では %n
オブジェクト
は
partly
に
オブジェクト
に 位置して %n
オブジェクト
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
に
located
して %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
?P
CeliacDisease
)
(
experiencer
?P ?H1)
(
instance
?SI
SmallIntestine
)
(
part
?SI ?H1))
(
modalAttribute
(
located
?P ?SI)
Likely
))
Medicine.kif 2725-2733
工程
は
CeliacDisease
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
オブジェクト
は
SmallIntestine
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
ステートメント
工程
は
オブジェクト
に
located
して %n には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?P
FoodPickup
)
(
agent
?P ?AGENT)
(
destination
?P ?CUST)
(
patient
?P ?FOOD))
(
and
(
instance
?FOOD
(
FoodForFn
Human
))
(
exists
(?LOC ?T ?G)
(
and
(
located
?AGENT ?LOC)
(
instance
?T
Translocation
)
(
agent
?T ?CUST)
(
destination
?T ?LOC)
(
instance
?G
Getting
)
(
origin
?G ?AGENT)
(
destination
?G ?CUST)
(
patient
?G ?FOOD)))))
Dining.kif 610-627
工程
は
FoodPickup
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
AutonomousAgent
に
end
s %n{ない}
エンティティー
は
工程
の
patient
では %n
エンティティー
は
FoodForFn
人[人間]
の
instance
では %n
オブジェクト
工程
and
工程
AutonomousAgent
は
オブジェクト
に
located
して %n
工程
は
Translocation
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
オブジェクト
に
end
s %n{ない}
工程
は
取得
の
instance
では %n
工程
は
AutonomousAgent
から
originate
s %n{ない}
工程
は
AutonomousAgent
に
end
s %n{ない}
エンティティー
は
工程
の
patient
では %n
(=>
(
and
(
instance
?P
HeartPalpitations
)
(
experiencer
?P ?H))
(
exists
(?HEART)
(
and
(
instance
?HEART
Heart
)
(
part
?HEART ?H)
(
located
?P ?HEART))))
Medicine.kif 2072-2080
工程
は
HeartPalpitations
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
AutonomousAgent
EART
AutonomousAgent
EART は
Heart
の
instance
では %n
AutonomousAgent
EART は
AutonomousAgent
の
part
では %n
工程
は
AutonomousAgent
EART に
located
して %n
(=>
(
and
(
instance
?P
PassCertificate
)
(
possesses
?A ?P))
(
exists
(?L)
(
confersNorm
?P
(
located
?A ?L)
Permission
)))
Mid-level-ontology.kif 16582-16589
オブジェクト
は
PassCertificate
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
エンティティー
confersNorm
オブジェクト
,
AutonomousAgent
は
エンティティー
に
located
して %n and
Permission
(=>
(
and
(
instance
?POLICY
NoChildrenPolicy
)
(
policyLocationCoverage
?POLICY ?LOC)
(
policyOwner
?AGENT ?POLICY))
(
deprivesNorm
?AGENT
(
exists
(?CHILD)
(
and
(
instance
?CHILD
HumanChild
)
(
located
?CHILD ?LOC)))
Permission
))
Hotel.kif 2626-2635
Policy
は
NoChildrenPolicy
の
instance
では %n
policyLocationCoverage
Policy
and
オブジェクト
policyOwner
組織
and
Policy
deprivesNorm
組織
,
エンティティー
エンティティー
は
HumanChild
の
instance
では %n
エンティティー
は
オブジェクト
に
located
して %n and
Permission
(=>
(
and
(
instance
?POLICY
NoPetsPolicy
)
(
policyLocationCoverage
?POLICY ?LOC)
(
policyOwner
?AGENT ?POLICY))
(
deprivesNorm
?AGENT
(
exists
(?PET)
(
and
(
instance
?PET
DomesticAnimal
)
(
located
?PET ?LOC)))
Permission
))
Hotel.kif 2577-2586
Policy
は
NoPetsPolicy
の
instance
では %n
policyLocationCoverage
Policy
and
オブジェクト
policyOwner
組織
and
Policy
deprivesNorm
組織
,
エンティティー
エンティティー
は
DomesticAnimal
の
instance
では %n
エンティティー
は
オブジェクト
に
located
して %n and
Permission
(=>
(
and
(
instance
?POLICY
NoSmokingPolicy
)
(
policyLocationCoverage
?POLICY ?LOC)
(
policyOwner
?AGENT ?POLICY))
(
deprivesNorm
?AGENT
(
exists
(?SMOKE)
(
and
(
instance
?SMOKE
Smoking
)
(
located
?SMOKE ?LOC)))
Permission
))
Hotel.kif 2593-2602
Policy
は
NoSmokingPolicy
の
instance
では %n
policyLocationCoverage
Policy
and
オブジェクト
policyOwner
組織
and
Policy
deprivesNorm
組織
,
エンティティー
エンティティー
は
Smoking
の
instance
では %n
エンティティー
は
オブジェクト
に
located
して %n and
Permission
(=>
(
and
(
instance
?POLICY
PetPolicy
)
(
policyLocationCoverage
?POLICY ?LOC))
(
or
(
containsInformation
?POLICY
(
modalAttribute
(
exists
(?PET1)
(
and
(
instance
?PET1
DomesticAnimal
)
(
located
?PET1 ?LOC)))
Permission
))
(
containsInformation
?POLICY
(
modalAttribute
(
exists
(?PET2)
(
and
(
instance
?PET2
DomesticAnimal
)
(
located
?PET2 ?LOC)))
Prohibition
))))
Hotel.kif 2512-2528
Policy
は
PetPolicy
の
instance
では %n
policyLocationCoverage
Policy
and
オブジェクト
Policy
は ステートメント
エンティティー
エンティティー
は
DomesticAnimal
の
instance
では %n
エンティティー
は
オブジェクト
に
located
して %n には
Permission
の
modal
force
が ある の情報を
contain
s %n{ない}
Policy
は ステートメント
エンティティー
エンティティー
は
DomesticAnimal
の
instance
では %n
エンティティー
は
オブジェクト
に
located
して %n には
Prohibition
の
modal
force
が ある の情報を
contain
s %n{ない}
(=>
(
and
(
instance
?POLICY
PetsAllowedPolicy
)
(
policyLocationCoverage
?POLICY ?LOC)
(
policyOwner
?AGENT ?POLICY))
(
confersNorm
?AGENT
(
exists
(?PET)
(
and
(
instance
?PET
DomesticAnimal
)
(
located
?PET ?LOC)))
Permission
))
Hotel.kif 2561-2570
Policy
は
PetsAllowedPolicy
の
instance
では %n
policyLocationCoverage
Policy
and
オブジェクト
policyOwner
組織
and
Policy
confersNorm
組織
,
エンティティー
エンティティー
は
DomesticAnimal
の
instance
では %n
エンティティー
は
オブジェクト
に
located
して %n and
Permission
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