or
(=>
(
and
(
instance
?H
Hulling
)
(
patient
?H ?O))
(
or
(
instance
?O
Seed
)
(
instance
?O
Fruit
)))
Food.kif 174-180
工程
は
Hulling
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
Seed
の
instance
では %n
エンティティー
は
Fruit
の
instance
では %n
(=>
(
and
(
instance
?H
Hunting
)
(
patient
?H ?P))
(
hasPurpose
?H
(
exists
(?PROC)
(
and
(
patient
?PROC ?P)
(
or
(
instance
?PROC
Confining
)
(
instance
?PROC
Killing
))))))
Merge.kif 12956-12966
工程
は
Hunting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
エンティティー
ROC
エンティティー
は
エンティティー
ROC の
patient
では %n
エンティティー
ROC は
閉じ込め
の
instance
では %n
エンティティー
ROC は
殺害
の
instance
では %n の 目的 %n{ない}
(=>
(
and
(
instance
?H
Hurricane
)
(
eventLocated
?H ?P)
(
instance
?P
GeographicArea
)
(
or
(
located
?P ?SEA)
(
meetsSpatially
?P ?SEA)))
(
or
(
equal
?SEA
NortheasternPacificOcean
)
(
equal
?SEA
NorthAtlanticOcean
)))
Weather.kif 737-747
工程
は
Hurricane
の
instance
では %n
eventLocated
工程
and
オブジェクト
オブジェクト
は
地理的地域
の
instance
では %n
オブジェクト
は
オブジェクト
に
located
して %n
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
オブジェクト
は
NortheasternPacificOcean
と
equal
では %n
オブジェクト
は
NorthAtlanticOcean
と
equal
では %n
(=>
(
and
(
instance
?HELPING
Helping
)
(
agent
?HELPING ?AGENT)
(
result
?HELPING ?RESULT))
(
exists
(?PATIENT)
(
and
(
not
(
equal
?AGENT ?PATIENT))
(
or
(
patient
?HELPING ?PATIENT)
(
experiencer
?HELPING ?PATIENT))
(
wants
?PATIENT ?RESULT))))
MilitaryProcesses.kif 1419-1431
工程
は
Helping
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
物理
は
工程
の
result
では %n
認識エージェント
AutonomousAgent
は
認識エージェント
と
equal
では
認識エージェント
は
工程
の
patient
では %n
認識エージェント
が
工程
を
experience
s %n{ない}
認識エージェント
は
物理
を
want
s %n{ない}
(=>
(
and
(
instance
?I
HealthInsuranceCompany
)
(
customer
?I ?C))
(
hasPurposeForAgent
?I
(
exists
(?D ?P)
(
and
(
or
(
instance
?D
DiagnosticProcess
)
(
instance
?D
TherapeuticProcess
))
(
experiencer
?D ?C)
(
instance
?P
Payment
)
(
agent
?P ?I)
(
refers
?P ?D))) ?C))
Mid-level-ontology.kif 7186-7199
認識エージェント
は
HealthInsuranceCompany
の
instance
では %n
customer
認識エージェント
and
AutonomousAgent
認識エージェント
は
AutonomousAgent
の 目的
エンティティー
エンティティー
エンティティー
は
診断プロセス
の
instance
では %n
エンティティー
は
治療経過
の
instance
では %n
AutonomousAgent
が
エンティティー
を
experience
s %n{ない}
エンティティー
は
Payment
の
instance
では %n
認識エージェント
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
への
reference
を includes %n{ない} %n{ない}
(=>
(
and
(
instance
?IBD
UlcerativeColitis
)
(
experiencer
?IBD ?H))
(
or
(
attribute
?H
(
ImpairedBodyPartFn
LargeIntestine
))
(
attribute
?H
(
ImpairedBodyPartFn
Rectum
))))
Medicine.kif 2301-2309
工程
は
UlcerativeColitis
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
ImpairedBodyPartFn
LargeIntestine
は
AutonomousAgent
の
attribute
では %n
ImpairedBodyPartFn
Rectum
は
AutonomousAgent
の
attribute
では %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 13936-13945
工程
は
LawEnforcement
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
PoliceOrganization
の
instance
では %n
コレクション
コレクション
は
PoliceOrganization
の
instance
では %n
AutonomousAgent
は
コレクション
の
member
では %n
(=>
(
and
(
instance
?LEAP
LeapYear
)
(
instance
?LEAP
(
YearFn
?NUMBER)))
(
or
(
and
(
equal
(
RemainderFn
?NUMBER 4) 0)
(
not
(
equal
(
RemainderFn
?NUMBER 100) 0)))
(
equal
(
RemainderFn
?NUMBER 400) 0)))
Merge.kif 9037-9045
エンティティー
は
うるう年
の
instance
では %n
エンティティー
は
整数
year
目 の
instance
では %n
整数
を 4 で割った剰余数 は 0 と
equal
では %n
整数
を 100 で割った剰余数 は 0 と
equal
では
整数
を 400 で割った剰余数 は 0 と
equal
では %n
(=>
(
and
(
instance
?LOGO
Logo
)
(
represents
?LOGO ?OBJ))
(
or
(
instance
?OBJ
AutonomousAgent
)
(
instance
?OBJ
Product
)))
Media.kif 895-901
エンティティー
は
Logo
の
instance
では %n
エンティティー
は
エンティティー
を
express
es %n{ない}
エンティティー
は
AutonomousAgent
の
instance
では %n
エンティティー
は
製品
の
instance
では %n
(=>
(
and
(
instance
?MANEUVER
Maneuver
)
(
instance
?CONTEST
ViolentContest
)
(
subProcess
?MANEUVER ?CONTEST))
(
or
(
instance
?MANEUVER
Attack
)
(
instance
?MANEUVER
DefensiveManeuver
)))
Merge.kif 13488-13495
工程
は
策略
の
instance
では %n
工程
は
激しいコンテスト
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
Attack
の
instance
では %n
工程
は
DefensiveManeuver
の
instance
では %n
(=>
(
and
(
instance
?N
Nucleotide
)
(
part
?N ?M))
(
or
(
instance
?M
DNAMolecule
)
(
instance
?M
RNAMolecule
)))
VirusProteinAndCellPart.kif 56-62
オブジェクト
は
Nucleotide
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
DNAMolecule
の
instance
では %n
オブジェクト
は
RNAMolecule
の
instance
では %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
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
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
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
FoodAndBeverageStores
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING)
(
and
(
instance
?EV
Selling
)
(
or
(
instance
?THING
(
FoodForFn
Animal
))
(
instance
?THING
Beverage
))
(
patient
?EV ?THING))))))
naics.kif 7319-7333
コレクション
は
組織
の
instance
では %n
FoodAndBeverageStores
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
AutonomousAgent
は
販売
の
instance
では %n
エンティティー
は
FoodForFn
動物
の
instance
では %n
エンティティー
は
飲料
の
instance
では %n
エンティティー
は
AutonomousAgent
の
patient
では %n
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
LeatherAndAlliedProductManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
or
(
instance
?THING
Clothing
)
(
instance
?THING
Fabric
))
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 2457-2475
コレクション
は
組織
の
instance
では %n
LeatherAndAlliedProductManufacturing
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
工程
2 and
AutonomousAgent
2
AutonomousAgent
は
製造
の
instance
では %n
エンティティー
は
衣類
の
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
MotorVehicleAndPartsDealers
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING)
(
and
(
instance
?EV
Selling
)
(
or
(
instance
?THING
TransportationDevice
)
(
exists
(?DEV)
(
and
(
part
?THING ?DEV)
(
instance
?DEV
TransportationDevice
)))
(
patient
?EV ?THING)))))))
naics.kif 7023-7040
コレクション
は
組織
の
instance
では %n
MotorVehicleAndPartsDealers
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
AutonomousAgent
は
販売
の
instance
では %n
オブジェクト
は
輸送機
の
instance
では %n
オブジェクト
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
輸送機
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
patient
では %n
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
PlasticsAndRubberProductsManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
or
(
instance
?THING
Plastic
)
(
instance
?THING
Rubber
))
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 3497-3515
コレクション
は
組織
の
instance
では %n
PlasticsAndRubberProductsManufacturing
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
工程
2 and
AutonomousAgent
2
AutonomousAgent
は
製造
の
instance
では %n
エンティティー
は
Plastic
の
instance
では %n
エンティティー
は
Rubber
の
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
RailTransportation
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?MOVE ?RR ?OBJ)
(
and
(
instance
?MOVE
Transportation
)
(
or
(
patient
?MOVE ?P)
(
and
(
possesses
?P ?OBJ)
(
patient
?MOVE ?OBJ)
(
instance
?OBJ
Object
)))
(
possesses
?ORG ?RR)
(
instance
?RR
RailVehicle
))) ?MEM ?P))))))
naics.kif 8034-8059
コレクション
は
組織
の
instance
では %n
RailTransportation
は
コレクション
の
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{ない}
エンティティー
は
RailVehicle
の
instance
では %n のタスクを実行することはを
allow
s %n{ない}
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
SportingGoodsHobbyBookAndMusicStores
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING)
(
and
(
instance
?EV
Selling
)
(
instance
?THING
Object
)
(
or
(
capability
Sport
instrument
?THING)
(
capability
MakingMusic
instrument
?THING)
(
instance
?THING
Book
)
(
instance
?THING
MusicRecording
)
(
instance
?THING
MusicText
))
(
patient
?EV ?THING))))))
naics.kif 7600-7618
コレクション
は
組織
の
instance
では %n
SportingGoodsHobbyBookAndMusicStores
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
AutonomousAgent
は
販売
の
instance
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
オブジェクト
は
スポーツ
を
instrument
として行う
capable
では %n
オブジェクト
は
MakingMusic
を
instrument
として行う
capable
では %n
オブジェクト
は
本
の
instance
では %n
オブジェクト
は
MusicRecording
の
instance
では %n
オブジェクト
は
MusicText
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
patient
では %n
(=>
(
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
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
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
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