Organization
(組織)
(=>
(
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
?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
?OP
BeginningOperations
)
(
instance
?ORG
Organization
)
(
agent
?OP ?ORG))
(
starts
?OP
(
WhenFn
?ORG)))
Mid-level-ontology.kif 16294-16299
時間間隔
は
BeginningOperations
の
instance
では %n
AutonomousAgent
は
組織
の
instance
では %n
AutonomousAgent
は
時間間隔
の
agent
では %n
時間間隔
は
AutonomousAgent
の
time
の existence を
start
s %n{ない}
(=>
(
and
(
instance
?OP
CeasingOperations
)
(
instance
?ORG
Organization
)
(
agent
?OP ?ORG))
(
finishes
?OP
(
WhenFn
?ORG)))
Mid-level-ontology.kif 16331-16336
時間間隔
は
CeasingOperations
の
instance
では %n
AutonomousAgent
は
組織
の
instance
では %n
AutonomousAgent
は
時間間隔
の
agent
では %n
時間間隔
は
AutonomousAgent
の
time
の existence を
finish
es %n{ない}
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG ?INDUSTRY)
(
industryProductType
?INDUSTRY ?TYPE))
(
exists
(?EVENT ?ITEM)
(
and
(
instance
?EVENT
Making
)
(
instance
?ITEM ?TYPE)
(
agent
?EVENT ?ORG)
(
result
?EVENT ?ITEM))))
Economy.kif 1607-1617
AutonomousAgent
は
組織
の
instance
では %n
IndustryAttribute
は
AutonomousAgent
の
attribute
では %n
industryProductType
IndustryAttribute
and
オブジェクト
工程
エンティティー
工程
は
作る
の
instance
では %n
エンティティー
は
オブジェクト
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
result
では %n
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG ?INDUSTRY)
(
industryServiceType
?INDUSTRY ?TYPE))
(
exists
(?EVENT)
(
and
(
instance
?EVENT ?TYPE)
(
agent
?EVENT ?ORG))))
Economy.kif 1649-1657
AutonomousAgent
は
組織
の
instance
では %n
IndustryAttribute
は
AutonomousAgent
の
attribute
では %n
industryServiceType
IndustryAttribute
and
意図的なプロセス
工程
工程
は
意図的なプロセス
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %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
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
Construction
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Constructing
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 1080-1095
コレクション
は
組織
の
instance
では %n
Construction
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
工程
2 and
AutonomousAgent
2
AutonomousAgent
は
構築
の
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
CouriersAndMessengers
))
(
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
(?TRANS)
(
and
(
instance
?TRANS
Transportation
)
(
possesses
?P ?OBJ)
(
patient
?TRANS ?OBJ))) ?MEM ?P))))))
naics.kif 8736-8756
コレクション
は
組織
の
instance
では %n
CouriersAndMessengers
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
認識エージェント
エンティティー
AutonomousAgent
は
販売
の
instance
では %n
エンティティー
は
オブジェクト
の
instance
では %n
認識エージェント
は
人[人間]
の
instance
では %n
認識エージェント
は
AutonomousAgent
の
patient
では %n
工程
は
認識エージェント
が
エンティティー
エンティティー
は
交通手段
の
instance
では %n
認識エージェント
は
エンティティー
を
possess
es %n{ない}
エンティティー
は
エンティティー
の
patient
では %n のタスクを実行することはを
allow
s %n{ない}
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
ElectricalEquipmentApplianceAndComponentManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
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 5421-5443
コレクション
は
組織
の
instance
では %n
ElectricalEquipmentApplianceAndComponentManufacturing
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
工程
2 and
AutonomousAgent
2
AutonomousAgent
は
製造
の
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
ElectronicsAndApplianceStores
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING)
(
and
(
instance
?EV
Selling
)
(
instance
?THING
ElectricDevice
)
(
patient
?EV ?THING))))))
naics.kif 7186-7198
コレクション
は
組織
の
instance
では %n
ElectronicsAndApplianceStores
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
AutonomousAgent
は
販売
の
instance
では %n
エンティティー
は
ElectricDevice
の
instance
では %n
エンティティー
は
AutonomousAgent
の
patient
では %n
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
FabricatedMetalProductManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
instance
?THING
Metal
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 4225-4241
コレクション
は
組織
の
instance
では %n
FabricatedMetalProductManufacturing
は
コレクション
の
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
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
FoodManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Cooking
)
(
instance
?EV
Manufacture
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 1361-1377
コレクション
は
組織
の
instance
では %n
FoodManufacturing
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
工程
2 and
AutonomousAgent
2
AutonomousAgent
は
料理
の
instance
では %n
AutonomousAgent
は
製造
の
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
FurnitureAndHomeFurnishingsStores
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING)
(
and
(
instance
?EV
Selling
)
(
instance
?THING
Furniture
)
(
patient
?EV ?THING))))))
naics.kif 7125-7137
コレクション
は
組織
の
instance
では %n
FurnitureAndHomeFurnishingsStores
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
AutonomousAgent
は
販売
の
instance
では %n
エンティティー
は
Furniture
の
instance
では %n
エンティティー
は
AutonomousAgent
の
patient
では %n
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
FurnitureAndRelatedProductManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
instance
?THING
Furniture
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 5994-6010
コレクション
は
組織
の
instance
では %n
FurnitureAndRelatedProductManufacturing
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
工程
2 and
AutonomousAgent
2
AutonomousAgent
は
製造
の
instance
では %n
エンティティー
は
Furniture
の
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