or
(=>
(
and
(
instance
?H
Hulling
)
(
patient
?H ?O))
(
or
(
instance
?O
Seed
)
(
instance
?O
Fruit
)))
Food.kif 174-180
如果
过程
是
Hulling
的
instance
和
实体
是
那个 过程
的
patient
,
然后
那个 实体
是
种子
的
instance
或
那个 实体
是
水果
的
instance
(=>
(
and
(
instance
?H
Hunting
)
(
patient
?H ?P))
(
hasPurpose
?H
(
exists
(?PROC)
(
and
(
patient
?PROC ?P)
(
or
(
instance
?PROC
Confining
)
(
instance
?PROC
Killing
))))))
Merge.kif 12910-12920
如果
过程
是
狩猎
的
instance
和
实体
是
那个 过程
的
patient
,
然后
那个 过程
的 目的 是 有存在
那个 实体
ROC 这样
那个 实体
是
那个 实体
ROC 的
patient
和
那个 实体
ROC 是
关押
的
instance
或
那个 实体
ROC 是
杀害
的
instance
(=>
(
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 753-763
如果
过程
是
飓风
的
instance
和
那个 过程
是
located
在
客体
和
那个 客体
是
地理区域
的
instance
和
那个 客体
是
located
在
另一个 客体
或
那个 客体
接上
那个 另外 客体
,
然后
那个 另外 客体
equal
NortheasternPacificOcean
或
那个 另外 客体
equal
北大西洋
(=>
(
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
如果
过程
是
帮助
的
instance
和
施事体
是
那个 过程
的
agent
和
物理
是
那个 过程
的
result
,
然后 有存在
有认知的主事
这样
那个 施事体
不
equal
那个 有认知的主事
和
那个 有认知的主事
是
那个 过程
的
patient
或
那个 有认知的主事
经历了
那个 过程
和
那个 有认知的主事
wants
那个 物理
(=>
(
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 7159-7172
如果
有认知的主事
是
HealthInsuranceCompany
的
instance
和
施事体
是
那个 有认知的主事
的
customer
,
然后
那个 施事体
在
那个 有认知的主事
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 实体
是
诊断过程
的
instance
或
那个 实体
是
治疗过程
的
instance
和
那个 施事体
经历了
那个 实体
和
那个 另外 实体
是
付款
的
instance
和
那个 有认知的主事
是
那个 另外 实体
的
agent
和
那个 另外 实体
提到
那个 实体
(=>
(
and
(
instance
?IBD
UlcerativeColitis
)
(
experiencer
?IBD ?H))
(
or
(
attribute
?H
(
ImpairedBodyPartFn
LargeIntestine
))
(
attribute
?H
(
ImpairedBodyPartFn
Rectum
))))
Medicine.kif 2301-2309
如果
过程
是
UlcerativeColitis
的
instance
和
施事体
经历了
那个 过程
,
然后
ImpairedBodyPartFn
LargeIntestine
是
那个 施事体
的
attribute
或
ImpairedBodyPartFn
Rectum
是
那个 施事体
的
attribute
(=>
(
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
如果
过程
是
执法
的
instance
和
施事体
是
那个 过程
的
agent
,
然后
那个 施事体
是
警察组织
的
instance
或 有存在
群体
这样
那个 群体
是
警察组织
的
instance
和
那个 施事体
是
那个 群体
的
member
(=>
(
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 9001-9009
如果
实体
是
闰年
的
instance
和
那个 实体
是
整数
year
的
instance
,
然后
那个 整数
模除 4
equal
0 和
那个 整数
模除 100 不
equal
0 或
那个 整数
模除 400
equal
0
(=>
(
and
(
instance
?LOGO
Logo
)
(
represents
?LOGO ?OBJ))
(
or
(
instance
?OBJ
AutonomousAgent
)
(
instance
?OBJ
Product
)))
Media.kif 895-901
如果
实体
是
Logo
的
instance
和
那个 实体
表达
另一个 实体
,
然后
那个 另外 实体
是
施事体
的
instance
或
那个 另外 实体
是
产品
的
instance
(=>
(
and
(
instance
?MANEUVER
Maneuver
)
(
instance
?CONTEST
ViolentContest
)
(
subProcess
?MANEUVER ?CONTEST))
(
or
(
instance
?MANEUVER
Attack
)
(
instance
?MANEUVER
DefensiveManeuver
)))
Merge.kif 13442-13449
如果
过程
是
竞争招数
的
instance
和
另一个 过程
是
暴力比赛
的
instance
和
那个 过程
%n是
那个 另外 过程
的
subProcess
,
然后
那个 过程
是
攻击
的
instance
或
那个 过程
是
防守机动
的
instance
(=>
(
and
(
instance
?N
Nucleotide
)
(
part
?N ?M))
(
or
(
instance
?M
DNAMolecule
)
(
instance
?M
RNAMolecule
)))
VirusProteinAndCellPart.kif 56-62
如果
客体
是
Nucleotide
的
instance
和
那个 客体
是
另一个 客体
的
part
,
然后
那个 另外 客体
是
DNA分子
的
instance
或
那个 另外 客体
是
RNA分子
的
instance
(=>
(
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
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
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
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
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
和
皮革及相关产品制造
是
那个 群体
的
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
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
和
汽车及零部件经销商
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
客体
这样
那个 施事体
是
出售
的
instance
和
那个 客体
是
运输设备
的
instance
或 有存在
另一个 客体
这样
那个 客体
是
那个 另外 客体
的
part
和
那个 另外 客体
是
运输设备
的
instance
或
那个 客体
是
那个 施事体
的
patient
(=>
(
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
和
塑料和橡胶制品制造
是
那个 群体
的
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
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
和
铁路运输
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
有认知的主事
这样
那个 施事体
是
出售
的
instance
和
那个 有认知的主事
是
人类
的
instance
和
那个 有认知的主事
是
那个 施事体
的
patient
和
那个 过程
允许
那个 有认知的主事
执行 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
运输
的
instance
和
那个 有认知的主事
是
那个 实体
的
patient
或
那个 有认知的主事
possesses
那个 第三 实体
和
那个 第三 实体
是
那个 实体
的
patient
和
那个 第三 实体
是
客体
的
instance
和
那个 群体
possesses
那个 另外 实体
和
那个 另外 实体
是
铁路车辆
的
instance
的任务
(=>
(
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
和
体育用品爱好书籍和音乐商店
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
客体
这样
那个 施事体
是
出售
的
instance
和
那个 客体
是
客体
的
instance
和
那个 客体
能够担当
工具
的角色做
运动
或
那个 客体
能够担当
工具
的角色做
制作音乐
或
那个 客体
是
书
的
instance
或
那个 客体
是
音乐录音
的
instance
或
那个 客体
是
音乐文本
的
instance
和
那个 客体
是
那个 施事体
的
patient
(=>
(
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
和
公用事业
是
那个 群体
的
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
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
和
水运业
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
有认知的主事
这样
那个 施事体
是
出售
的
instance
和
那个 有认知的主事
是
人类
的
instance
和
那个 有认知的主事
是
那个 施事体
的
patient
和
那个 过程
允许
那个 有认知的主事
执行 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
运输
的
instance
和
那个 有认知的主事
是
那个 实体
的
patient
或
那个 有认知的主事
possesses
那个 第三 实体
和
那个 第三 实体
是
那个 实体
的
patient
和
那个 第三 实体
是
客体
的
instance
和
那个 群体
possesses
那个 另外 实体
和
那个 另外 实体
是
水车
的
instance
的任务
(=>
(
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
和
木制品制造业
是
那个 群体
的
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