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
和
实体
是
机构
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 实体
是
那个 过程
的
patient
,
然后
那个 施事体
不 是
那个 实体
的
member
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 施事体
是
那个 实体
的
member
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
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
和
施事体
是
机构
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
实体
是
那个 过程
的
patient
,
然后
那个 实体
是
那个 施事体
的
member
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 实体
不 是
那个 施事体
的
member
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
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
和
实体
是
机构
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 实体
是
那个 过程
的
patient
,
然后
那个 施事体
是
那个 实体
的
member
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 施事体
不 是
那个 实体
的
member
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
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
和
实体
是
机构
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
那个 实体
是
那个 过程
的
patient
,
然后
那个 有认知的主事
desires
那个 有认知的主事
不 是
那个 实体
的
member
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?OP
BeginningOperations
)
(
instance
?ORG
Organization
)
(
agent
?OP ?ORG))
(
starts
?OP
(
WhenFn
?ORG)))
Mid-level-ontology.kif 16294-16299
如果
时距
是
开始运营
的
instance
和
施事体
是
机构
的
instance
和
那个 施事体
是
那个 时距
的
agent
,
然后
那个 时距
starts
了才到
那个 施事体
出现 的
time
(=>
(
and
(
instance
?OP
CeasingOperations
)
(
instance
?ORG
Organization
)
(
agent
?OP ?ORG))
(
finishes
?OP
(
WhenFn
?ORG)))
Mid-level-ontology.kif 16331-16336
如果
时距
是
停止运营
的
instance
和
施事体
是
机构
的
instance
和
那个 施事体
是
那个 时距
的
agent
,
然后
那个 时距
finishes
了才到
那个 施事体
出现 的
time
(=>
(
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
如果
施事体
是
机构
的
instance
和
行业属性
是
那个 施事体
的
attribute
和
有点 客体
是
那个 行业属性
的
industry
产品类别,
然后 有存在
过程
和
实体
这样
那个 过程
是
制作
的
instance
和
那个 实体
是
有点 客体
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 实体
是
那个 过程
的
result
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG ?INDUSTRY)
(
industryServiceType
?INDUSTRY ?TYPE))
(
exists
(?EVENT)
(
and
(
instance
?EVENT ?TYPE)
(
agent
?EVENT ?ORG))))
Economy.kif 1649-1657
如果
施事体
是
机构
的
instance
和
行业属性
是
那个 施事体
的
attribute
和
有点 有意图过程
是
那个 行业属性
的
industry
服务类别,
然后 有存在
过程
这样
那个 过程
是
有点 有意图过程
的
instance
和
那个 施事体
是
那个 过程
的
agent
(=>
(
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
和
农业林业捕鱼和狩猎
是
那个 群体
的
attribute
,
然后 有存在
过程
和
施事体
这样
那个 施事体
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
实体
,
那个 过程
2, and 和
那个 施事体
2 这样
那个 过程
是
杀害
的
instance
或
那个 过程
是
维护
的
instance
和
那个 实体
是
那个 过程
的
patient
和
那个 实体
是
动物
的
instance
或
那个 实体
是
植物
的
instance
和
那个 实体
不 是
人类
的
instance
和
那个 施事体
2 是
那个 群体
的
member
和
那个 过程
2 是
出售
的
instance
和
那个 施事体
2 是
那个 过程
2 的
agent
和
那个 实体
是
那个 过程
2 的
patient
(=>
(
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
和
航空运输业
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
有认知的主事
这样
那个 施事体
是
出售
的
instance
和
那个 有认知的主事
是
人类
的
instance
和
那个 有认知的主事
是
那个 施事体
的
patient
和
那个 过程
允许
那个 有认知的主事
执行 有存在
实体
,
那个 有认知的主事
LANE, and 和
第三 实体
这样
那个 实体
是
运输
的
instance
和
那个 有认知的主事
是
那个 实体
的
patient
或
那个 有认知的主事
possesses
那个 第三 实体
和
那个 第三 实体
是
那个 实体
的
patient
和
那个 第三 实体
是
客体
的
instance
和
那个 群体
possesses
那个 有认知的主事
LANE 和
那个 有认知的主事
LANE 是
飞机
的
instance
的任务
(=>
(
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
和
服装制造业
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
实体
,
那个 过程
2, and 和
那个 施事体
2 这样
那个 施事体
是
制造
的
instance
和
那个 实体
是
服装
的
instance
和
那个 实体
是
那个 施事体
的
patient
和
那个 过程
2 是
那个 群体
的
member
和
那个 施事体
2 是
出售
的
instance
和
那个 过程
2 是
那个 施事体
2 的
agent
和
那个 实体
是
那个 施事体
2 的
patient
(=>
(
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
和
饮料和烟草制品制造业
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
实体
,
那个 过程
2, and 和
那个 施事体
2 这样
那个 施事体
是
制造
的
instance
和
那个 实体
是
饮料
的
instance
或
那个 实体
是
烟草制品
的
instance
和
那个 实体
是
那个 施事体
的
patient
和
那个 过程
2 是
那个 群体
的
member
和
那个 施事体
2 是
出售
的
instance
和
那个 过程
2 是
那个 施事体
2 的
agent
和
那个 实体
是
那个 施事体
2 的
patient
(=>
(
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
和
建筑材料和园艺设备及用品经销商
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
客体
这样
那个 施事体
是
出售
的
instance
和
那个 客体
是
客体
的
instance
和
那个 客体
能够担当
资源
的角色做
建筑
或
那个 客体
能够担当
资源
的角色做
农业
和
那个 客体
是
那个 施事体
的
patient
(=>
(
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
和
化学制造业
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
实体
,
那个 过程
2, and 和
那个 施事体
2 这样
那个 施事体
是
制造
的
instance
和
那个 实体
是
純物质
的
instance
和
那个 实体
是
那个 施事体
的
patient
和
那个 过程
2 是
那个 群体
的
member
和
那个 施事体
2 是
出售
的
instance
和
那个 过程
2 是
那个 施事体
2 的
agent
和
那个 实体
是
那个 施事体
2 的
patient
(=>
(
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
和
服装和服饰配件商店
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
实体
这样
那个 施事体
是
出售
的
instance
和
那个 实体
是
服装
的
instance
和
那个 实体
是
那个 施事体
的
patient
(=>
(
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
和
计算机和电子产品制造业
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
实体
,
那个 过程
2, and 和
那个 施事体
2 这样
那个 施事体
是
制造
的
instance
和
那个 实体
是
电脑
的
instance
或
那个 实体
是
机器
的
instance
和 有存在
那个 施事体
3 和
客体
这样
那个 实体
是
那个 施事体
3 的
patient
和
那个 客体
是
那个 施事体
3 的
resource
和
那个 客体
是
电力
的
instance
和
那个 实体
是
那个 施事体
的
patient
和
那个 过程
2 是
那个 群体
的
member
和
那个 施事体
2 是
出售
的
instance
和
那个 过程
2 是
那个 施事体
2 的
agent
和
那个 实体
是
那个 施事体
2 的
patient
(=>
(
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
和
施工
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
实体
,
那个 过程
2, and 和
那个 施事体
2 这样
那个 施事体
是
建筑
的
instance
和
那个 实体
是
那个 施事体
的
patient
和
那个 过程
2 是
那个 群体
的
member
和
那个 施事体
2 是
出售
的
instance
和
那个 过程
2 是
那个 施事体
2 的
agent
和
那个 实体
是
那个 施事体
2 的
patient
(=>
(
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
和
信使和信使
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
有认知的主事
和
实体
这样
那个 施事体
是
出售
的
instance
和
那个 实体
是
客体
的
instance
和
那个 有认知的主事
是
人类
的
instance
和
那个 有认知的主事
是
那个 施事体
的
patient
和
那个 过程
允许
那个 有认知的主事
执行 有存在
另一个 实体
这样
那个 另外 实体
是
运输
的
instance
和
那个 有认知的主事
possesses
那个 实体
和
那个 实体
是
那个 另外 实体
的
patient
的任务
(=>
(
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
和
电气设备器具和元件制造
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
实体
,
那个 过程
2, and 和
那个 施事体
2 这样
那个 施事体
是
制造
的
instance
和
那个 实体
是
机器
的
instance
和 有存在
那个 施事体
3 和
客体
这样
那个 实体
是
那个 施事体
3 的
patient
和
那个 客体
是
那个 施事体
3 的
resource
和
那个 客体
是
电力
的
instance
和
那个 实体
是
那个 施事体
的
patient
和
那个 过程
2 是
那个 群体
的
member
和
那个 施事体
2 是
出售
的
instance
和
那个 过程
2 是
那个 施事体
2 的
agent
和
那个 实体
是
那个 施事体
2 的
patient
(=>
(
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
和
电子和电器商店
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
实体
这样
那个 施事体
是
出售
的
instance
和
那个 实体
是
电器
的
instance
和
那个 实体
是
那个 施事体
的
patient
(=>
(
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
和
金属制品制造
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
实体
,
那个 过程
2, and 和
那个 施事体
2 这样
那个 施事体
是
制造
的
instance
和
那个 实体
是
金属
的
instance
和
那个 实体
是
那个 施事体
的
patient
和
那个 过程
2 是
那个 群体
的
member
和
那个 施事体
2 是
出售
的
instance
和
那个 过程
2 是
那个 施事体
2 的
agent
和
那个 实体
是
那个 施事体
2 的
patient
(=>
(
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
和
食品和饮料店
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
实体
这样
那个 施事体
是
出售
的
instance
和
那个 实体
是
food
for
动物
的
instance
或
那个 实体
是
饮料
的
instance
和
那个 实体
是
那个 施事体
的
patient
(=>
(
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
和
食品制造业
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
实体
,
那个 过程
2, and 和
那个 施事体
2 这样
那个 施事体
是
烹饪
的
instance
和
那个 施事体
是
制造
的
instance
和
那个 实体
是
那个 施事体
的
patient
和
那个 过程
2 是
那个 群体
的
member
和
那个 施事体
2 是
出售
的
instance
和
那个 过程
2 是
那个 施事体
2 的
agent
和
那个 实体
是
那个 施事体
2 的
patient
(=>
(
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
和
家具和家居用品商店
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
实体
这样
那个 施事体
是
出售
的
instance
和
那个 实体
是
家具
的
instance
和
那个 实体
是
那个 施事体
的
patient
(=>
(
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
和
家具及相关产品制造
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
实体
,
那个 过程
2, and 和
那个 施事体
2 这样
那个 施事体
是
制造
的
instance
和
那个 实体
是
家具
的
instance
和
那个 实体
是
那个 施事体
的
patient
和
那个 过程
2 是
那个 群体
的
member
和
那个 施事体
2 是
出售
的
instance
和
那个 过程
2 是
那个 施事体
2 的
agent
和
那个 实体
是
那个 施事体
2 的
patient
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