located
(=>
(
and
(
attribute
?X
Waiter
)
(
instance
?X
Human
)
(
employs
?REST ?X)
(
instance
?REST
Restaurant
)
(
customer
?CUST ?REST)
(
located
?CUST ?TABLE)
(
instance
?TABLE
Table
))
(
exists
(?DINING ?C ?FOOD ?KITCHEN)
(
and
(
possesses
?REST ?KITCHEN)
(
instance
?KITCHEN
KitchenArea
)
(
instance
?DINING
DiningArea
)
(
located
?TABLE ?DINING)
(
hasPurpose
?X
(
and
(
instance
?C
Carrying
)
(
agent
?C ?X)
(
origin
?C ?KITCHEN)
(
destination
?C ?TABLE)
(
patient
?C ?FOOD)
(
instance
?FOOD
(
FoodForFn
Human
)))))))
Mid-level-ontology.kif 20601-20623
Waiter
は
認識エージェント
の
attribute
では %n
認識エージェント
は
人[人間]
の
instance
では %n
AutonomousAgent
は
認識エージェント
を
employ
s %n{ない}
AutonomousAgent
は
Restaurant
の
instance
では %n
customer
認識エージェント
and
AutonomousAgent
認識エージェント
は
オブジェクト
に
located
して %n
オブジェクト
は
Table
の
instance
では %n
オブジェクト
エンティティー
,
エンティティー
and
オブジェクト
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
オブジェクト
は
KitchenArea
の
instance
では %n
オブジェクト
は
DiningArea
の
instance
では %n
オブジェクト
は
オブジェクト
に
located
して %n
認識エージェント
は
エンティティー
は
Carrying
の
instance
では %n
認識エージェント
は
エンティティー
の
agent
では %n
エンティティー
は
オブジェクト
から
originate
s %n{ない}
エンティティー
は
オブジェクト
に
end
s %n{ない}
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
FoodForFn
人[人間]
の
instance
では %n の 目的 %n{ない}
(=>
(
and
(
citizen
?P ?C)
(
not
(
exists
(?L)
(
located
?P ?L))))
(
located
?P ?C))
Military.kif 772-778
人[人間]
は
国民
% の
citizen
では %n
オブジェクト
人[人間]
は
オブジェクト
に
located
して %n
人[人間]
は
国民
に
located
して %n
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Process
))
(
modalAttribute
(
exists
(?S ?LOC ?PROC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
agent
?S ?AGENT)
(
patient
?S ?CUST)
(
or
(
instance
?S ?PHYS)
(
and
(
instance
?PROC ?PHYS)
(
subProcess
?S ?PROC)))
(
located
?S ?LOC)))
Possibility
))
Hotel.kif 522-538
customer
認識エージェント
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
物理
物理
は
工程
の
subclass
では %n
ステートメント
エンティティー
エンティティー
and
エンティティー
エンティティー
は
AutonomousAgent
の
belongings
の
element
%n
AutonomousAgent
は
エンティティー
の
agent
では %n
認識エージェント
は
エンティティー
の
patient
では %n
エンティティー
は
物理
の
instance
では %n
エンティティー
は
物理
の
instance
では %n
エンティティー
は
エンティティー
% の
subprocess
では %n
エンティティー
は
エンティティー
に
located
して %n には
Possibility
の
modal
force
が ある
(=>
(
and
(
diplomaticOrganizationType
?AGENT1 ?TYPE ?AGENT2)
(
instance
?AGENT1
Nation
)
(
instance
?AGENT2
GeopoliticalArea
))
(
exists
(?ORG)
(
and
(
instance
?ORG ?TYPE)
(
located
?ORG ?AGENT2)
(
subOrganization
?ORG
(
GovernmentFn
?AGENT1)))))
Government.kif 4648-4657
diplomaticOrganizationType
地政学的地域
,
組織
and
AutonomousAgent
地政学的地域
は
国民
の
instance
では %n
AutonomousAgent
は
地政学的地域
の
instance
では %n
組織
組織
は
組織
の
instance
では %n
組織
は
AutonomousAgent
に
located
して %n
組織
は組織
地政学的地域
の
government
の一部では %n
(=>
(
and
(
diplomaticOrganizationType
?AGENT1 ?TYPE ?AGENT2)
(
instance
?AGENT1
Organization
)
(
instance
?AGENT2
GeopoliticalArea
))
(
exists
(?ORG)
(
and
(
instance
?ORG ?TYPE)
(
located
?ORG ?AGENT2)
(
subOrganization
?ORG ?AGENT1))))
Government.kif 4658-4667
diplomaticOrganizationType
組織
,
組織
and
AutonomousAgent
組織
は
組織
の
instance
では %n
AutonomousAgent
は
地政学的地域
の
instance
では %n
組織
組織
は
組織
の
instance
では %n
組織
は
AutonomousAgent
に
located
して %n
組織
は組織
組織
の一部では %n
(=>
(
and
(
element
?ROOM
(
PropertyFn
?HOTEL))
(
attribute
?ROOM
AnnexRoom
)
(
instance
?ROOM
HotelRoom
))
(
exists
(?BLDG1 ?BLDG2 ?FRNT)
(
and
(
subOrganization
?FRNT ?HOTEL)
(
instance
?FRNT
HotelFrontDesk
)
(
located
?FRNT ?BLDG1)
(
element
?BLDG1
(
PropertyFn
?HOTEL))
(
element
?BLDG2
(
PropertyFn
?HOTEL))
(
part
?ROOM ?BLDG2)
(
not
(
equal
?BLDG1 ?BLDG2)))))
Hotel.kif 1127-1140
オブジェクト
は
組織
の
belongings
の
element
%n
AnnexRoom
は
オブジェクト
の
attribute
では %n
オブジェクト
は
HotelRoom
の
instance
では %n
オブジェクト
オブジェクト
and
組織
組織
は組織
組織
の一部では %n
組織
は
HotelFrontDesk
の
instance
では %n
組織
は
オブジェクト
に
located
して %n
オブジェクト
は
組織
の
belongings
の
element
%n
オブジェクト
は
組織
の
belongings
の
element
%n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
と
equal
では
(=>
(
and
(
employs
?HOTEL ?ATHLETE)
(
attribute
?HOTEL
TravelerAccommodation
)
(
attribute
?ATHLETE
TennisProfessional
)
(
guest
?CUST ?HOTEL))
(
modalAttribute
(
exists
(?TENNIS ?LOC)
(
and
(
instance
?TENNIS
Tennis
)
(
contestParticipant
?TENNIS ?ATHLETE)
(
contestParticipant
?TENNIS ?CUST)
(
located
?TENNIS ?LOC)
(
located
?HOTEL ?LOC)))
Possibility
))
Hotel.kif 1522-1535
AutonomousAgent
は
認識エージェント
を
employ
s %n{ない}
TravelerAccommodation
は
AutonomousAgent
の
attribute
では %n
TennisProfessional
は
認識エージェント
の
attribute
では %n
guest
認識エージェント
and
AutonomousAgent
ステートメント
エンティティー
エンティティー
エンティティー
は
Tennis
の
instance
では %n
contestParticipant
エンティティー
and
認識エージェント
contestParticipant
エンティティー
and
認識エージェント
エンティティー
は
エンティティー
に
located
して %n
AutonomousAgent
は
エンティティー
に
located
して %n には
Possibility
の
modal
force
が ある
(=>
(
and
(
experiencer
?ORGANISM ?PAIN)
(
instance
?PAIN
(
PainFn
?P)))
(
exists
(?PART)
(
and
(
part
?PART ?ORGANISM)
(
located
?PART ?P))))
Mid-level-ontology.kif 6357-6364
AutonomousAgent
が
工程
を
experience
s %n{ない}
AutonomousAgent
は
PainFn
体の部分
の
instance
では %n
体の部分
ART
体の部分
ART は
工程
の
part
では %n
体の部分
ART は
体の部分
に
located
して %n
(=>
(
and
(
guest
?CUST ?HOTEL)
(
stays
?CUST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?R ?ROOM)
(
roomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
))
(
exists
(?O)
(
and
(
instance
?O ?OBJ)
(
located
?O ?R)
(
confersRight
(
exists
(?PROC)
(
and
(
agent
?PROC ?CUST)
(
or
(
instrument
?PROC ?O)
(
patient
?PROC ?O)
(
resource
?PROC ?O)))) ?HOTEL ?CUST))))
Hotel.kif 294-313
guest
人[人間]
and
AutonomousAgent
stays
人[人間]
and
TemporaryResidence
TemporaryResidence
は
AutonomousAgent
の
belongings
の
element
%n
TemporaryResidence
は
TemporaryResidence
OOM の
instance
では %n
roomAmenity
TemporaryResidence
OOM and
物理
物理
は
オブジェクト
の
subclass
では %n
物理
物理
は
物理
の
instance
では %n
物理
は
TemporaryResidence
に
located
して %n
AutonomousAgent
は
人[人間]
が
エンティティー
人[人間]
は
エンティティー
の
agent
では %n
物理
は
エンティティー
の
instrument
では %n
物理
は
エンティティー
の
patient
では %n
物理
は
エンティティー
の
resource
では %n のタスクを実行することはを
allow
s %n{ない}
(=>
(
and
(
holdsDuring
?T1
(
and
(
attribute
?PERSON
DislocatedCivilian
)
(
inhabits
?PERSON ?RESIDENCE)
(
located
?RESIDENCE ?PLACE)))
(
instance
?PLACE
GeographicArea
)
(
instance
?T1
TimeInterval
))
(
exists
(?T0 ?PRIOR-PLACE ?PRIOR-RES)
(
and
(
instance
?T0
TimeInterval
)
(
earlier
?T0 ?T1)
(
instance
?PRIOR-RES
Object
)
(
instance
?PRIOR-PLACE
GeopoliticalArea
)
(
located
?PRIOR-RES ?PRIOR-PLACE)
(
not
(
equal
?PLACE ?PRIOR-PLACE))
(
not
(
equal
?RESIDENCE ?PRIOR-RES))
(
not
(
geographicSubregion
?PLACE ?PRIOR-PLACE))
(
not
(
geographicSubregion
?PRIOR-PLACE ?PLACE))
(
holdsDuring
?T0
(
inhabits
?PERSON ?PRIOR-RES)))))
MilitaryPersons.kif 26-47
DislocatedCivilian
は
エンティティー
の
attribute
では %n
エンティティー
は
エンティティー
に
live
s %n{ない}
エンティティー
は
地理的地域
に
located
して %n は
時間間隔
の
during
holds %n{ない}
地理的地域
は
地理的地域
の
instance
では %n
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
エンティティー
-PLACE and
エンティティー
-RES
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
エンティティー
-RES は
オブジェクト
の
instance
では %n
エンティティー
-PLACE は
地政学的地域
の
instance
では %n
エンティティー
-RES は
エンティティー
-PLACE に
located
して %n
地理的地域
は
エンティティー
-PLACE と
equal
では
エンティティー
は
エンティティー
-RES と
equal
では
geographicSubregion
地理的地域
and
エンティティー
-PLACE
geographicSubregion
エンティティー
-PLACE and
地理的地域
エンティティー
は
エンティティー
-RES に
live
s %n{ない} は
時間間隔
の
during
holds %n{ない}
(=>
(
and
(
instance
?AREA
(
MaritimeClaimsTerritorialSeaFn
?PLACE))
(
width
?AREA
(
MeasureFn
?WIDTH ?UNIT))
(
distance
?OBJ ?PLACE
(
MeasureFn
?DISTANCE ?UNIT))
(
lessThanOrEqualTo
?DISTANCE ?WIDTH))
(
located
?OBJ ?AREA))
Geography.kif 874-880
オブジェクト
は
MaritimeClaimsTerritorialSeaFn
地域
の
instance
では %n
オブジェクト
の
width
は
実数
の
測定単位
(s) では %n
物理
と
地域
の
distance
は
実数
の
測定単位
(s) では %n
実数
は
実数
より
less
または同等 では %n
物理
は
オブジェクト
に
located
して %n
(=>
(
and
(
instance
?B
Birth
)
(
origin
?B ?F))
(
exists
(?Z ?T)
(
and
(
instance
?Z
Zygote
)
(
earlier
?T
(
WhenFn
?B))
(
holdsDuring
?T
(
located
?Z ?F)))))
Mid-level-ontology.kif 24019-24028
工程
は
出生
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
エンティティー
時間間隔
エンティティー
は
Zygote
の
instance
では %n
時間間隔
は
工程
の
time
の existence より
earlier
happens %n{ない}
エンティティー
は
オブジェクト
に
located
して %n は
時間間隔
の
during
holds %n{ない}
(=>
(
and
(
instance
?C
Choking
)
(
experiencer
?C ?H))
(
exists
(?O ?T ?L)
(
and
(
instance
?O
Object
)
(
instance
?T
Trachea
)
(
instance
?L
Lung
)
(
part
?T ?H)
(
part
?L ?H)
(
holdsDuring
(
WhenFn
?C)
(
or
(
located
?O ?T)
(
located
?O ?L))))))
Mid-level-ontology.kif 11754-11769
工程
は
Choking
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
エンティティー
オブジェクト
and
オブジェクト
エンティティー
は
オブジェクト
の
instance
では %n
オブジェクト
は
Trachea
の
instance
では %n
オブジェクト
は
Lung
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
エンティティー
は
オブジェクト
に
located
して %n
エンティティー
は
オブジェクト
に
located
して %n は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
and
(
instance
?C
Coughing
)
(
experiencer
?C ?H))
(
hasPurpose
?C
(
exists
(?R ?L ?O ?T)
(
and
(
instance
?L
Lung
)
(
instance
?T
Throat
)
(
instance
?O
Object
)
(
instance
?R
Removing
)
(
part
?L ?H)
(
part
?T ?H)
(
objectTransferred
?R ?O)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
or
(
located
?O ?T)
(
located
?O ?L)))))))
Mid-level-ontology.kif 6056-6075
工程
は
Coughing
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
Lung
の
instance
では %n
エンティティー
は
Throat
の
instance
では %n
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
は
除却
の
instance
では %n
エンティティー
は
AutonomousAgent
の
part
では %n
エンティティー
は
AutonomousAgent
の
part
では %n
objectTransferred
エンティティー
and
エンティティー
エンティティー
は
エンティティー
に
located
して %n
エンティティー
は
エンティティー
に
located
して %n は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない} の 目的 %n{ない}
(=>
(
and
(
instance
?C
Sneezing
)
(
experiencer
?C ?H))
(
hasPurpose
?C
(
exists
(?R ?N ?NOSE ?O)
(
and
(
instance
?N
NasalCavity
)
(
instance
?NOSE
Nose
)
(
equal
?NOSE
(
HoleHostFn
?N))
(
instance
?O
Object
)
(
instance
?R
Removing
)
(
part
?NOSE ?H)
(
objectTransferred
?R ?O)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
located
?O ?N))))))
Mid-level-ontology.kif 6122-6140
工程
は
Sneezing
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
は
エンティティー
エンティティー
,
エンティティー
OSE and
エンティティー
エンティティー
は
NasalCavity
の
instance
では %n
エンティティー
OSE は
Nose
の
instance
では %n
エンティティー
OSE は ホール
エンティティー
の
host
と
equal
では %n
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
は
除却
の
instance
では %n
エンティティー
OSE は
AutonomousAgent
の
part
では %n
objectTransferred
エンティティー
and
エンティティー
エンティティー
は
エンティティー
に
located
して %n は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない} の 目的 %n{ない}
(=>
(
and
(
instance
?CAA
CivilAffairsAgreement
)
(
partyToAgreement
?AGENT_MIL_THIS ?CAA)
(
instance
?AGENT_MIL_THIS
MilitaryOrganization
)
(
militaryOfArea
?AGENT_MIL_THIS ?NATION_THIS)
(
instance
?NATION_THIS
Nation
)
(
located
?AGENT_MIL_THIS ?NATION_FRIENDLY)
(
instance
?NATION_FRIENDLY
Nation
))
(
and
(
not
(
equal
?NATION_THIS ?NATION_FRIENDLY))
(
not
(
enemy
?NATION_THIS ?NATION_FRIENDLY))
(
exists
(?AGENT_FRIENDLY)
(
and
(
located
?AGENT_FRIENDLY ?NATION_FRIENDLY)
(
partyToAgreement
?AGENT_FRIENDLY ?CAA)
(
not
(
instance
?AGENT_FRIENDLY
MilitaryOrganization
))))))
MilitaryProcesses.kif 2309-2328
Agreement
は
CivilAffairsAgreement
の
instance
では %n
partyToAgreement
エンティティー
_MIL_THIS and
Agreement
エンティティー
_MIL_THIS は
MilitaryOrganization
の
instance
では %n
militaryOfArea
エンティティー
_MIL_THIS and
エンティティー
_THIS
エンティティー
_THIS は
国民
の
instance
では %n
エンティティー
_MIL_THIS は
エンティティー
_FRIENDLY に
located
して %n
エンティティー
_FRIENDLY は
国民
の
instance
では %n
エンティティー
_THIS は
エンティティー
_FRIENDLY と
equal
では
enemy
エンティティー
_THIS and
エンティティー
_FRIENDLY
エンティティー
_FRIENDLY
エンティティー
_FRIENDLY は
エンティティー
_FRIENDLY に
located
して %n
partyToAgreement
エンティティー
_FRIENDLY and
Agreement
エンティティー
_FRIENDLY は
MilitaryOrganization
の
instance
では
(=>
(
and
(
instance
?CELL
MonoploidCell
)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL))
(
exists
(?COLL)
(
and
(
instance
?COLL
MonoploidChromosomeSet
)
(
located
?COLL ?N)
(
not
(
exists
(?SET)
(
and
(
instance
?SET
MonoploidChromosomeSet
)
(
not
(
equal
?SET ?COLL))
(
located
?SET ?N)))))))
VirusProteinAndCellPart.kif 756-771
オブジェクト
は
MonoploidCell
の
instance
では %n
オブジェクト
は
CellNucleus
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
物理
物理
は
MonoploidChromosomeSet
の
instance
では %n
物理
は
オブジェクト
に
located
して %n
物理
物理
は
MonoploidChromosomeSet
の
instance
では %n
物理
は
物理
と
equal
では
物理
は
オブジェクト
に
located
して %n
(=>
(
and
(
instance
?CLOTHING
OutdoorClothing
)
(
holdsDuring
?TIME
(
wears
?PERSON ?CLOTHING)))
(
not
(
exists
(?BUILDING)
(
and
(
instance
?BUILDING
Building
)
(
holdsDuring
?TIME
(
located
?PERSON ?BUILDING))))))
Mid-level-ontology.kif 5043-5051
エンティティー
は
OutdoorClothing
の
instance
では %n
エンティティー
は % を
wear
s %n{ない} は
時間位置
の
during
holds %n{ない}
エンティティー
エンティティー
は
建物
の
instance
では %n
エンティティー
は
エンティティー
に
located
して %n は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
instance
?DISCOVER
Discovering
)
(
patient
?DISCOVER ?OBJ)
(
holdsDuring
(
WhenFn
?DISCOVER)
(
located
?OBJ ?PLACE)))
(
exists
(?LEARN)
(
and
(
instance
?LEARN
Learning
)
(
subProcess
?LEARN ?DISCOVER)
(
patient
?LEARN
(
located
?OBJ ?PLACE)))))
Merge.kif 11973-11982
工程
は
Discovering
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
エンティティー
に
located
して %n は
工程
の
time
の existence の
during
holds %n{ない}
工程
工程
は
学習
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
エンティティー
は
エンティティー
に
located
して %n は
工程
の
patient
では %n
(=>
(
and
(
instance
?E
(
EdemaFn
?P))
(
experiencer
?E ?A))
(
exists
(?PI)
(
and
(
instance
?PI
BodyPart
)
(
part
?PI ?A)
(
located
?E ?PI))))
Mid-level-ontology.kif 9986-9994
工程
は
EdemaFn
体の部分
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
体の部分
I
体の部分
I は
体の部分
の
instance
では %n
体の部分
I は
AutonomousAgent
の
part
では %n
工程
は
体の部分
I に
located
して %n
(=>
(
and
(
instance
?EARPHONE
Earphone
)
(
wears
?PERSON ?EARPHONE)
(
instance
?HEAD
Head
)
(
part
?HEAD ?PERSON))
(
located
?EARPHONE ?HEAD))
ComputerInput.kif 510-516
WearableItem
は
Earphone
の
instance
では %n
動物
は % を
wear
s %n{ない}
オブジェクト
は
Head
の
instance
では %n
オブジェクト
は
動物
の
part
では %n
WearableItem
は
オブジェクト
に
located
して %n
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?P
Piston
)
(
instance
?U
UnitOfLength
)
(
part
?P ?E)
(
patient
?EC ?P)
(
eventLocated
?EC ?E)
(
pistonStroke
?E
(
MeasureFn
?LM ?U)))
(
not
(
exists
(?T1 ?T2 ?L1 ?L2 ?D)
(
and
(
during
?T1
(
WhenFn
?EC))
(
during
?T2
(
WhenFn
?EC))
(
holdsDuring
?T1
(
located
?P ?L1))
(
holdsDuring
?T2
(
located
?P ?L2))
(
distance
?L1 ?L2
(
MeasureFn
?D ?U))
(
greaterThan
?D ?LM)))))
Cars.kif 1943-1965
工程
は
EngineCycle
の
instance
では %n
Engine
は
InternalCombustionEngine
の
instance
では %n
オブジェクト
は
Piston
の
instance
では %n
測定単位
は
UnitOfLength
の
instance
では %n
オブジェクト
は
Engine
の
part
では %n
オブジェクト
は
工程
の
patient
では %n
eventLocated
工程
and
Engine
pistonStroke
Engine
and
実数
の
測定単位
(s)
時間間隔
時間間隔
,
物理
,
物理
and
実数
時間間隔
は
工程
の
time
の existence の
during
に takes %n{ない}
時間間隔
は
工程
の
time
の existence の
during
に takes %n{ない}
オブジェクト
は
物理
に
located
して %n は
時間間隔
の
during
holds %n{ない}
オブジェクト
は
物理
に
located
して %n は
時間間隔
の
during
holds %n{ない}
物理
と
物理
の
distance
は
実数
の
測定単位
(s) では %n
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
destination
?EXPORT ?AREA))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
Economy.kif 2447-2454
工程
は
Exporting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
地政学的地域
の
instance
では %n
工程
は
エンティティー
に
end
s %n{ない}
エンティティー
は
エンティティー
に
located
して %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
not
(
located
?ITEM ?AREA))))
Economy.kif 2421-2430
工程
は
Exporting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
地政学的地域
の
instance
では %n
エンティティー
は
エンティティー
に
located
して %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
エンティティー
に
located
して は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
origin
?EXPORT ?AREA))
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
Economy.kif 2412-2419
工程
は
Exporting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
オブジェクト
は
地政学的地域
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
エンティティー
は
オブジェクト
に
located
して %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
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