member
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?O)
(
agent
?EV ?A))
(
exists
(?M ?MA)
(
and
(
instance
?M
Maintaining
)
(
eventLocated
?M ?O)
(
subProcess
?M ?EV)
(
or
(
subOrganization
?MA ?A)
(
member
?MA ?A)
(
equal
?MA ?A))
(
agent
?M ?MA))))
MilitaryProcesses.kif 2573-2587
工程
は
Evacuation
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
組織
は
工程
の
agent
では %n
工程
工程
A
工程
は
維持
の
instance
では %n
eventLocated
工程
and
オブジェクト
工程
は
工程
% の
subprocess
では %n
工程
A は組織
組織
の一部では %n
工程
A は
組織
の
member
では %n
工程
A は
組織
と
equal
では %n
工程
A は
工程
の
agent
では %n
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?O)
(
agent
?EV ?A))
(
exists
(?T ?TA)
(
and
(
instance
?T
Transportation
)
(
destination
?T ?O)
(
or
(
subOrganization
?TA ?A)
(
member
?TA ?A)
(
equal
?TA ?A))
(
or
(
agent
?T ?TA)
(
patient
?T ?TA)))))
MilitaryProcesses.kif 2554-2569
工程
は
Evacuation
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
組織
は
工程
の
agent
では %n
工程
工程
A
工程
は
交通手段
の
instance
では %n
工程
は
オブジェクト
に
end
s %n{ない}
工程
A は組織
組織
の一部では %n
工程
A は
組織
の
member
では %n
工程
A は
組織
と
equal
では %n
工程
A は
工程
の
agent
では %n
工程
A は
工程
の
patient
では %n
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?INTERVAL
TimeInterval
))
(
equal
(
DivisionFn
(
CardinalityFn
(
KappaFn
?PURCHASE
(
and
(
instance
?PURCHASE
Buying
)
(
member
?PURCHASE
(
QualifyingPurchasesFn
?EXPERIMENT))
(
during
(
WhenFn
?PURCHASE) ?INTERVAL))))
(
CardinalityFn
(
KappaFn
?USER
(
and
(
member
?USER
(
TreatedUsersFn
?EXPERIMENT))
(
instance
?ACCESSING
AccessingWebPage
)
(
during
(
WhenFn
?ACCESSING) ?INTERVAL)
(
agent
?ACCESSING ?USER)))))
(
PPIFn
?EXPERIMENT ?INTERVAL)))
UXExperimentalTerms.kif 3095-3114
Experimenting
は
Experimenting
の
instance
では %n
時間間隔
は
時間間隔
の
instance
では %n
エンティティー
class
の
instances
の数 +
エンティティー
class
の
instances
の数 は
PPIFn
Experimenting
and
時間間隔
と
equal
では %n
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?INTERVAL
TimeInterval
))
(
equal
(
DivisionFn
(
CardinalityFn
(
KappaFn
?PURCHASE
(
and
(
instance
?PURCHASE
Buying
)
(
member
?PURCHASE
(
QualifyingPurchasesFn
?EXPERIMENT)))))
(
CardinalityFn
(
KappaFn
?USER
(
and
(
member
?USER
(
TreatedUsersFn
?EXPERIMENT))
(
instance
?ACCESSING
AccessingWebPage
)
(
agent
?ACCESSING ?USER)))))
(
PPSFn
?EXPERIMENT)))
UXExperimentalTerms.kif 3056-3073
Experimenting
は
Experimenting
の
instance
では %n
エンティティー
は
時間間隔
の
instance
では %n
エンティティー
class
の
instances
の数 +
エンティティー
class
の
instances
の数 は
PPSFn
Experimenting
と
equal
では %n
(=>
(
and
(
instance
?G
Grinding
)
(
patient
?G ?O)
(
instance
?O
CorpuscularObject
))
(
holdsDuring
(
EndFn
(
WhenFn
?G))
(
exists
(?C)
(
and
(
result
?G ?C)
(
instance
?C
Collection
)
(
forall
(?M)
(=>
(
member
?M ?C)
(
part
?M ?O)))))))
Food.kif 1012-1026
工程
は
Grinding
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
微粒子オブジェクト
の
instance
では %n
エンティティー
エンティティー
は
工程
の
result
では %n
エンティティー
は
コレクション
の
instance
では %n
エンティティー
エンティティー
は
エンティティー
の
member
では %n
エンティティー
は
エンティティー
の
part
では %n
は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?I
Immigrating
)
(
agent
?I ?A))
(
exists
(?N1 ?N2)
(
and
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
origin
?I ?N1)
(
destination
?I ?N2)
(
not
(
equal
?N1 ?N2))
(
member
?A
(
CitizenryFn
?N1))
(
not
(
member
?A
(
CitizenryFn
?N2)))
(
hasPurpose
?I
(
inhabits
?A ?N2)))))
Mid-level-ontology.kif 17352-17368
工程
は
Immigrating
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
地政学的地域
地政学的地域
地政学的地域
は
国民
の
instance
では %n
地政学的地域
は
国民
の
instance
では %n
工程
は
地政学的地域
から
originate
s %n{ない}
工程
は
地政学的地域
に
end
s %n{ない}
地政学的地域
は
地政学的地域
と
equal
では
AutonomousAgent
は
CitizenryFn
地政学的地域
の
member
では %n
AutonomousAgent
は
CitizenryFn
地政学的地域
の
member
では
工程
は
AutonomousAgent
は
地政学的地域
に
live
s %n{ない} の 目的 %n{ない}
(=>
(
and
(
instance
?IC
IhramClothing
)
(
wears
?IC ?M)
(
attribute
?M
Male
))
(
exists
(?C ?B ?S)
(
and
(
instance
?C
Cloak
)
(
instance
?B
Belt
)
(
instance
?S
Sandal
)
(
member
?C ?IC)
(
member
?B ?IC)
(
member
?S ?IC))))
ArabicCulture.kif 151-163
動物
は
IhramClothing
の
instance
では %n
動物
は % を
wear
s %n{ない}
Male
は
WearableItem
の
attribute
では %n
物理
物理
and
物理
物理
は
Cloak
の
instance
では %n
物理
は
Belt
の
instance
では %n
物理
は
Sandal
の
instance
では %n
物理
は
動物
の
member
では %n
物理
は
動物
の
member
では %n
物理
は
動物
の
member
では %n
(=>
(
and
(
instance
?INTERVAL
TimeInterval
)
(
instance
?SITE
WebSite
))
(
exists
(?NEWBUYERS)
(
and
(
instance
?NEWBUYERS
Collection
)
(
forall
(?AGENT)
(=>
(
member
?AGENT ?NEWBUYERS)
(
and
(
exists
(?BUYING)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?AGENT)
(
instrument
?BUYING ?SITE)
(
during
?BUYING ?INTERVAL)))
(
not
(
exists
(?INTERVAL_BEFORE)
(
and
(
instance
?INTERVAL_BEFORE
TimeInterval
)
(
earlier
?INTERVAL_BEFORE ?INTERVAL)
(
holdsDuring
?INTERVAL_BEFORE
(
exists
(?BUYING_BEFORE)
(
and
(
instance
?BUYING_BEFORE
Buying
)
(
agent
?BUYING_BEFORE ?AGENT)
(
instrument
?BUYING_BEFORE ?SITE)
(
during
?BUYING_BEFORE ?INTERVAL))))))))))
(
equal
(
SiteWideNewBuyersFn
?INTERVAL ?SITE) ?NEWBUYERS))))
UXExperimentalTerms.kif 3376-3408
時間間隔
は
時間間隔
の
instance
では %n
WebSite
は
WebSite
の
instance
では %n
コレクション
コレクション
は
コレクション
の
instance
では %n
AutonomousAgent
AutonomousAgent
は
コレクション
の
member
では %n
時間間隔
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
時間間隔
は
購買
の
instance
では %n
AutonomousAgent
は
時間間隔
の
agent
では %n
WebSite
は
時間間隔
の
instrument
では %n
時間間隔
は
時間間隔
の
during
に takes %n{ない}
時間間隔
_BEFORE
時間間隔
_BEFORE は
時間間隔
の
instance
では %n
時間間隔
_BEFORE は
時間間隔
より
earlier
happens %n{ない}
時間間隔
_BEFORE
時間間隔
_BEFORE は
購買
の
instance
では %n
AutonomousAgent
は
時間間隔
_BEFORE の
agent
では %n
WebSite
は
時間間隔
_BEFORE の
instrument
では %n
時間間隔
_BEFORE は
時間間隔
の
during
に takes %n{ない} は
時間間隔
_BEFORE の
during
holds %n{ない}
SiteWideNewBuyersFn
時間間隔
and
WebSite
は
コレクション
と
equal
では %n
(=>
(
and
(
instance
?INTERVAL
TimeInterval
)
(
instance
?SITE
WebSite
))
(
exists
(?NEWREGISTRATIONS)
(
and
(
instance
?NEWREGISTRATIONS
Collection
)
(
forall
(?USER)
(=>
(
and
(
instance
?USER
Human
)
(
not
(
exists
(?INTERVAL_BEFORE)
(
and
(
instance
?INTERVAL_BEFORE
TimeInterval
)
(
earlier
?INTERVAL_BEFORE ?INTERVAL)
(
holdsDuring
?INTERVAL_BEFORE
(
registeredUser
?USER ?SITE)))))
(
exists
(?INTERVAL_DURING)
(
and
(
instance
?INTERVAL_DURING
TimeInterval
)
(
during
?INTERVAL_DURING ?INTERVAL)
(
holdsDuring
?INTERVAL
(
registeredUser
?USER ?SITE)))))
(
member
?USER ?NEWREGISTRATIONS)))
(
equal
?NEWREGISTRATIONS
(
SiteWideNewRegistrationsFn
?INTERVAL ?SITE)))))
UXExperimentalTerms.kif 3428-3455
時間間隔
は
時間間隔
の
instance
では %n
WebSite
は
WebSite
の
instance
では %n
コレクション
コレクション
は
コレクション
の
instance
では %n
物理
物理
は
人[人間]
の
instance
では %n
時間間隔
_BEFORE
時間間隔
_BEFORE は
時間間隔
の
instance
では %n
時間間隔
_BEFORE は
時間間隔
より
earlier
happens %n{ない}
registeredUser
物理
and
WebSite
は
時間間隔
_BEFORE の
during
holds %n{ない}
時間間隔
_DURING
時間間隔
_DURING は
時間間隔
の
instance
では %n
時間間隔
_DURING は
時間間隔
の
during
に takes %n{ない}
registeredUser
物理
and
WebSite
は
時間間隔
の
during
holds %n{ない}
物理
は
コレクション
の
member
では %n
コレクション
は
SiteWideNewRegistrationsFn
時間間隔
and
WebSite
と
equal
では %n
(=>
(
and
(
instance
?INTERVAL
TimeInterval
)
(
instance
?SITE
WebSite
))
(
exists
(?NEWSELLERS)
(
and
(
instance
?NEWSELLERS
Collection
)
(
forall
(?AGENT)
(=>
(
member
?AGENT ?NEWSELLERS)
(
and
(
exists
(?SELLING)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?AGENT)
(
instrument
?SELLING ?SITE)
(
during
?SELLING ?INTERVAL)))
(
not
(
exists
(?INTERVAL_BEFORE)
(
and
(
instance
?INTERVAL_BEFORE
TimeInterval
)
(
earlier
?INTERVAL_BEFORE ?INTERVAL)
(
holdsDuring
?INTERVAL_BEFORE
(
exists
(?SELLING_BEFORE)
(
and
(
instance
?SELLING_BEFORE
Selling
)
(
agent
?SELLING_BEFORE ?AGENT)
(
instrument
?SELLING_BEFORE ?SITE)
(
during
?SELLING_BEFORE ?INTERVAL))))))))))
(
equal
(
SiteWideNewSellersFn
?INTERVAL ?SITE) ?NEWSELLERS))))
UXExperimentalTerms.kif 3475-3507
時間間隔
は
時間間隔
の
instance
では %n
WebSite
は
WebSite
の
instance
では %n
コレクション
コレクション
は
コレクション
の
instance
では %n
AutonomousAgent
AutonomousAgent
は
コレクション
の
member
では %n
時間間隔
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
時間間隔
は
販売
の
instance
では %n
AutonomousAgent
は
時間間隔
の
agent
では %n
WebSite
は
時間間隔
の
instrument
では %n
時間間隔
は
時間間隔
の
during
に takes %n{ない}
時間間隔
_BEFORE
時間間隔
_BEFORE は
時間間隔
の
instance
では %n
時間間隔
_BEFORE は
時間間隔
より
earlier
happens %n{ない}
時間間隔
_BEFORE
時間間隔
_BEFORE は
販売
の
instance
では %n
AutonomousAgent
は
時間間隔
_BEFORE の
agent
では %n
WebSite
は
時間間隔
_BEFORE の
instrument
では %n
時間間隔
_BEFORE は
時間間隔
の
during
に takes %n{ない} は
時間間隔
_BEFORE の
during
holds %n{ない}
SiteWideNewSellersFn
時間間隔
and
WebSite
は
コレクション
と
equal
では %n
(=>
(
and
(
instance
?JOIN
Hiring
)
(
instance
?ORG
Organization
)
(
agent
?JOIN ?ORG)
(
patient
?JOIN ?PERSON))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?JOIN))
(
not
(
member
?PERSON ?ORG)))
(
holdsDuring
(
EndFn
(
WhenFn
?JOIN))
(
member
?PERSON ?ORG))))
Merge.kif 10610-10618
工程
は
雇用
の
instance
では %n
AutonomousAgent
は
組織
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
AutonomousAgent
の
member
では は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
AutonomousAgent
の
member
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?JOIN
JoiningAnOrganization
)
(
instance
?AGENT
AutonomousAgent
)
(
agent
?JOIN ?AGENT)
(
patient
?JOIN ?ORG)
(
instance
?JOIN
Organization
))
(
member
?AGENT ?ORG))
Government.kif 2501-2508
工程
は
組織に加入
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
コレクション
は
工程
の
patient
では %n
工程
は
組織
の
instance
では %n
AutonomousAgent
は
コレクション
の
member
では %n
(=>
(
and
(
instance
?JOIN
JoiningAnOrganization
)
(
instance
?ORG
Organization
)
(
agent
?JOIN ?PERSON)
(
patient
?JOIN ?ORG))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?JOIN))
(
not
(
member
?PERSON ?ORG)))
(
holdsDuring
(
EndFn
(
WhenFn
?JOIN))
(
member
?PERSON ?ORG))))
Merge.kif 10578-10586
工程
は
組織に加入
の
instance
では %n
エンティティー
は
組織
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
は
エンティティー
の
member
では は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
AutonomousAgent
は
エンティティー
の
member
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?L
LawEnforcement
)
(
agent
?L ?P))
(
or
(
instance
?P
PoliceOrganization
)
(
exists
(?O)
(
and
(
instance
?O
PoliceOrganization
)
(
member
?P ?O)))))
Mid-level-ontology.kif 13909-13918
工程
は
LawEnforcement
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
PoliceOrganization
の
instance
では %n
コレクション
コレクション
は
PoliceOrganization
の
instance
では %n
AutonomousAgent
は
コレクション
の
member
では %n
(=>
(
and
(
instance
?LEAVE
Firing
)
(
instance
?ORG
Organization
)
(
agent
?LEAVE ?ORG)
(
patient
?LEAVE ?P))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?LEAVE))
(
member
?P ?ORG))
(
holdsDuring
(
EndFn
(
WhenFn
?LEAVE))
(
not
(
member
?P ?ORG)))))
Merge.kif 10683-10691
工程
は
Firing
の
instance
では %n
AutonomousAgent
は
組織
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
AutonomousAgent
の
member
では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
AutonomousAgent
の
member
では は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?LEAVE
LeavingAnOrganization
)
(
instance
?ORG
Organization
)
(
agent
?LEAVE ?PERSON)
(
patient
?LEAVE ?ORG))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?LEAVE))
(
member
?PERSON ?ORG))
(
holdsDuring
(
EndFn
(
WhenFn
?LEAVE))
(
not
(
member
?PERSON ?ORG)))))
Merge.kif 10651-10659
工程
は
組織を脱退
の
instance
では %n
エンティティー
は
組織
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
は
エンティティー
の
member
では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
AutonomousAgent
は
エンティティー
の
member
では は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?LEAVE
Quitting
)
(
instance
?ORG
Organization
)
(
agent
?LEAVE ?PERSON)
(
patient
?LEAVE ?ORG))
(
desires
?PERSON
(
holdsDuring
(
EndFn
(
WhenFn
?LEAVE))
(
not
(
member
?PERSON ?ORG)))))
Merge.kif 10665-10675
工程
は
Quitting
の
instance
では %n
エンティティー
は
組織
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
認識エージェント
が
認識エージェント
は
エンティティー
の
member
では は
工程
の
time
の existence の
end
の
during
holds %n{ない} を
desire
s %n{ない}
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
AgricultureForestryFishingAndHunting
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?EV ?MEM)
(
exists
(?THING ?EV2 ?MEM2)
(
and
(
or
(
instance
?EV
Killing
)
(
instance
?EV
Maintaining
))
(
patient
?EV ?THING)
(
or
(
instance
?THING
Animal
)
(
instance
?THING
Plant
))
(
not
(
instance
?THING
Human
))
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 50-72
コレクション
は
組織
の
instance
では %n
AgricultureForestryFishingAndHunting
は
コレクション
の
attribute
では %n
工程
AutonomousAgent
AutonomousAgent
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
工程
2 and
AutonomousAgent
2
工程
は
殺害
の
instance
では %n
工程
は
維持
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
動物
の
instance
では %n
エンティティー
は
植物
の
instance
では %n
エンティティー
は
人[人間]
の
instance
では
AutonomousAgent
2 は
コレクション
の
member
では %n
工程
2 は
販売
の
instance
では %n
AutonomousAgent
2 は
工程
2 の
agent
では %n
エンティティー
は
工程
2 の
patient
では %n
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
AirTransportationIndustry
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?FLY ?PLANE ?OBJ)
(
and
(
instance
?FLY
Transportation
)
(
or
(
patient
?FLY ?P)
(
and
(
possesses
?P ?OBJ)
(
patient
?FLY ?OBJ)
(
instance
?OBJ
Object
)))
(
possesses
?ORG ?PLANE)
(
instance
?PLANE
Aircraft
))) ?MEM ?P))))))
naics.kif 7953-7978
コレクション
は
組織
の
instance
では %n
AirTransportationIndustry
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
認識エージェント
AutonomousAgent
は
販売
の
instance
では %n
認識エージェント
は
人[人間]
の
instance
では %n
認識エージェント
は
AutonomousAgent
の
patient
では %n
工程
は
認識エージェント
が
エンティティー
認識エージェント
LANE and
エンティティー
エンティティー
は
交通手段
の
instance
では %n
認識エージェント
は
エンティティー
の
patient
では %n
認識エージェント
は
エンティティー
を
possess
es %n{ない}
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
オブジェクト
の
instance
では %n
コレクション
は
認識エージェント
LANE を
possess
es %n{ない}
認識エージェント
LANE は
Aircraft
の
instance
では %n のタスクを実行することはを
allow
s %n{ない}
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
ApparelManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
instance
?THING
Clothing
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 2194-2210
コレクション
は
組織
の
instance
では %n
ApparelManufacturing
は
コレクション
の
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
BeverageAndTobaccoProductManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
or
(
instance
?THING
Beverage
)
(
instance
?THING
TobaccoProduct
))
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 1837-1855
コレクション
は
組織
の
instance
では %n
BeverageAndTobaccoProductManufacturing
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
工程
2 and
AutonomousAgent
2
AutonomousAgent
は
製造
の
instance
では %n
エンティティー
は
飲料
の
instance
では %n
エンティティー
は
TobaccoProduct
の
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
BuildingMaterialAndGardenEquipmentAndSuppliesDealers
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING)
(
and
(
instance
?EV
Selling
)
(
instance
?THING
Object
)
(
or
(
capability
Constructing
resource
?THING)
(
capability
Agriculture
resource
?THING))
(
patient
?EV ?THING))))))
naics.kif 7242-7257
コレクション
は
組織
の
instance
では %n
BuildingMaterialAndGardenEquipmentAndSuppliesDealers
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
AutonomousAgent
は
販売
の
instance
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
オブジェクト
は
構築
を
resource
として行う
capable
では %n
オブジェクト
は
Agriculture
を
resource
として行う
capable
では %n
オブジェクト
は
AutonomousAgent
の
patient
では %n
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
ChemicalManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
instance
?THING
PureSubstance
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 3125-3141
コレクション
は
組織
の
instance
では %n
ChemicalManufacturing
は
コレクション
の
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
ClothingAndClothingAccessoriesStores
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING)
(
and
(
instance
?EV
Selling
)
(
instance
?THING
Clothing
)
(
patient
?EV ?THING))))))
naics.kif 7509-7521
コレクション
は
組織
の
instance
では %n
ClothingAndClothingAccessoriesStores
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
AutonomousAgent
は
販売
の
instance
では %n
エンティティー
は
衣類
の
instance
では %n
エンティティー
は
AutonomousAgent
の
patient
では %n
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
ComputerAndElectronicProductManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
or
(
instance
?THING
Computer
)
(
and
(
instance
?THING
Machine
)
(
exists
(?EV3 ?ELEC)
(
and
(
patient
?EV3 ?THING)
(
resource
?EV3 ?ELEC)
(
instance
?ELEC
Electricity
)))))
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 5126-5150
コレクション
は
組織
の
instance
では %n
ComputerAndElectronicProductManufacturing
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
工程
2 and
AutonomousAgent
2
AutonomousAgent
は
製造
の
instance
では %n
エンティティー
は
Computer
の
instance
では %n
エンティティー
は
機械
の
instance
では %n
AutonomousAgent
3
オブジェクト
エンティティー
は
AutonomousAgent
3 の
patient
では %n
オブジェクト
は
AutonomousAgent
3 の
resource
では %n
オブジェクト
は
Electricity
の
instance
では %n
エンティティー
は
AutonomousAgent
の
patient
では %n
工程
2 は
コレクション
の
member
では %n
AutonomousAgent
2 は
販売
の
instance
では %n
工程
2 は
AutonomousAgent
2 の
agent
では %n
エンティティー
は
AutonomousAgent
2 の
patient
では %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