Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
result
Sigma KEE - result
result
appearance as argument number 1
(
disjointRelation
result
instrument
)
Merge.kif 2515-2515
结果
和
工具
是
disjoint
关系
(
documentation
result
ChineseLanguage
"(result ?ACTION ?OUTPUT)的意思是 ?OUTPUT 是 ?ACTION 的产品。例如:在以下'埃里克建了一栋房子'这命题,房子是个
result
。")
chinese_format.kif 1895-1896
(
documentation
result
EnglishLanguage
"(result ?ACTION ?OUTPUT) means that ?OUTPUT is a product of ?ACTION. For example, house is a
result
in the following proposition: Eric built a house.")
Merge.kif 2554-2556
(
documentation
result
JapaneseLanguage
"(result ?ACTION ?OUTPUT) とは、?OUTPUTO が ?ACTION のプロダクトであることを意味する。 例:家は次の命題の
result
である: エリックは家を建てた。")
japanese_format.kif 521-522
(
domain
result
1
Process
)
Merge.kif 2551-2551
结果
的 1 数量 是
过程
的
instance
(
domain
result
2
Entity
)
Merge.kif 2552-2552
结果
的 2 数量 是
实体
的
instance
(
instance
result
CaseRole
)
Merge.kif 2549-2549
结果
是
格角色
的
instance
(
instance
result
PartialValuedRelation
)
Merge.kif 2550-2550
结果
是
部分值关系
的
instance
(
subrelation
result
patient
)
Merge.kif 2548-2548
结果
是
受事
的
subrelation
appearance as argument number 2
(
disjointRelation
resource
result
)
Merge.kif 2513-2513
资源
和
结果
是
disjoint
关系
(
format
ChineseLanguage
result
"%2 %n 是 %1 的
result
")
chinese_format.kif 183-183
(
format
EnglishLanguage
result
"%2 is %n a
result
of %1")
english_format.kif 184-184
(
format
FrenchLanguage
result
"%2 est %n le
result
at de %1")
french_format.kif 111-111
(
format
ItalianLanguage
result
"%2 è %n un risultato di %1")
relations-it.txt 257-257
(
format
JapaneseLanguage
result
"%2 は %1 の
result
では %n")
japanese_format.kif 1940-1940
(
format
PortugueseLanguage
result
"%2 e' %n o
result
ado de %1")
portuguese_format.kif 63-63
(
format
cz
result
"%2 %p{je} %n{nen�} v�sledkem %1")
relations-cz.txt 87-87
(
format
de
result
"%2 ist ein
result
at von %1 %n{nicht}")
relations-de.txt 232-232
(
format
hi
result
"%2 %1 kaa pariNaama %n hai")
relations-hindi.txt 294-294
(
format
ro
result
"%2 %n{nu} este un
result
%t{rezultat} al lui %1")
relations-ro.kif 130-130
(
format
sv
result
"%2 är %n{inte} ett
result
at av %1")
relations-sv.txt 116-116
(
format
tg
result
"%2 %n ay ang hangga ng %1")
relations-tg.txt 449-449
(
termFormat
ChineseLanguage
result
"结果")
chinese_format.kif 184-184
(
termFormat
ChineseTraditionalLanguage
result
"結果")
domainEnglishFormat.kif 49795-49795
(
termFormat
EnglishLanguage
result
"result")
domainEnglishFormat.kif 49794-49794
(
termFormat
de
result
"resultat")
terms-de.txt 73-73
antecedent
(<=>
(
and
(
instance
?COMBINE
Combining
)
(
resource
?COMBINE ?OBJ1)
(
result
?COMBINE ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?COMBINE))
(
not
(
part
?OBJ1 ?OBJ2)))
(
holdsDuring
(
EndFn
(
WhenFn
?COMBINE))
(
part
?OBJ1 ?OBJ2))))
Merge.kif 12466-12473
过程
是
结合
的
instance
和
客体
是
那个 过程
的
resource
和
实体
是
那个 过程
的
result
若且唯若
那个 客体
不 是
那个 实体
的
part
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 客体
是
那个 实体
的
part
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
actedIn
?ACTOR ?O)
(
instance
?PERF
DramaticActing
)
(
patient
?PERF ?ACTOR)
(
result
?PERF ?O))
(
holdsDuring
(
WhenFn
?PERF)
(
attribute
?ACTOR
Actor
)))
Mid-level-ontology.kif 20760-20767
如果
actedIn
人类
and
内容承载物理
和
过程
是
戏剧表演
的
instance
和
那个 人类
是
那个 过程
的
patient
和
那个 内容承载物理
是
那个 过程
的
result
,
然后
Actor
是
那个 人类
的
attribute
在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
agent
?PROCESS ?AGENT)
(
result
?PROCESS ?WORK)
(
instance
?WORK
ArtWork
))
(
holdsDuring
(
WhenFn
?PROCESS)
(
attribute
?AGENT
Artist
)))
Mid-level-ontology.kif 18837-18843
如果
施事体
是
过程
的
agent
和
实体
是
那个 过程
的
result
和
那个 实体
是
艺术品
的
instance
,
然后
Artist
是
那个 施事体
的
attribute
在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
attribute
?X
Writer
)
(
instance
?TEXT ?CLASS)
(
or
(
subclass
?CLASS
Text
)
(
subclass
?CLASS
Document
))
(
instance
?WRITE
Writing
)
(
agent
?WRITE ?X)
(
result
?WRITE ?TEXT))
(
authors
?X ?CLASS))
Biography.kif 730-740
如果
作家
是
施事体
的
attribute
和
实体
是
有点 有内用物体
的
instance
和
有点 有内用物体
是
文本
的
subclass
或
那个 有点 有内用物体
是
Document
的
subclass
和
过程
是
写作
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 实体
是
那个 过程
的
result
,
然后
那个 施事体
是
那个 有点 有内用物体
的
authors
(=>
(
and
(
directed
?DIRECTOR ?MOVIE)
(
instance
?FILMMAKING
FilmMaking
)
(
instance
?FILMCREW
Organization
)
(
leader
?FILMCREW ?DIRECTOR)
(
agent
?FILMMAKING ?FILMCREW)
(
result
?FILMMAKING ?MOVIE))
(
holdsDuring
(
WhenFn
?FILMMAKING)
(
attribute
?DIRECTOR
FilmDirector
)))
Mid-level-ontology.kif 20734-20743
如果
人类
directed
动态映像
和
过程
是
电影制作
的
instance
和
施事体
是
机构
的
instance
和
那个 人类
是
那个 施事体
的
leader
和
那个 施事体
是
那个 过程
的
agent
和
那个 动态映像
是
那个 过程
的
result
,
然后
电影导演
是
那个 人类
的
attribute
在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
employs
?ORG ?CO)
(
instance
?D
DoNetworkMessaging
)
(
result
?D ?MSG)
(
attribute
?MSG
NSFW
)
(
instance
?S
Seeing
)
(
patient
?S ?MSG)
(
agent
?S ?CO))
(
modalAttribute
(
exists
(?PROC)
(
and
(
causes
?S ?PROC)
(
suffers
?PROC ?CO)))
Possibility
))
Medicine.kif 3040-3054
如果
施事体
employs
有认知的主事
和
过程
是
DoNetworkMessaging
的
instance
和
客体
是
那个 过程
的
result
和
NSFW
是
那个 客体
的
attribute
和
另一个 过程
是
看
的
instance
和
那个 客体
是
那个 另外 过程
的
patient
和
那个 有认知的主事
是
那个 另外 过程
的
agent
,
然后 有存在
实体
这样
那个 另外 过程
causes
那个 实体
和
那个 有认知的主事
suffers
从
那个 实体
的声明 has
可能性
的语气
(=>
(
and
(
employs
?ORG ?P)
(
employs
?ORG ?CO)
(
instance
?D
DoNetworkMessaging
)
(
result
?D ?MSG)
(
attribute
?MSG
NSFW
)
(
agent
?D ?P)
(
instance
?S
Seeing
)
(
patient
?S ?MSG)
(
agent
?S ?CO))
(
modalAttribute
(
exists
(?PROC)
(
and
(
causes
?D ?PROC)
(
suffers
?PROC ?P)))
Likely
))
Medicine.kif 3022-3038
如果
施事体
employs
有认知的主事
和
那个 施事体
employs
另一个 有认知的主事
和
过程
是
DoNetworkMessaging
的
instance
和
客体
是
那个 过程
的
result
和
NSFW
是
那个 客体
的
attribute
和
那个 有认知的主事
是
那个 过程
的
agent
和
另一个 过程
是
看
的
instance
和
那个 客体
是
那个 另外 过程
的
patient
和
那个 另外 有认知的主事
是
那个 另外 过程
的
agent
,
然后 有存在
那个 有认知的主事
ROC 这样
那个 过程
causes
那个 有认知的主事
ROC 和
那个 有认知的主事
suffers
从
那个 有认知的主事
ROC 的声明 has
容易
的语气
(=>
(
and
(
instance
?BUILD
Constructing
)
(
result
?BUILD ?ARTIFACT))
(
instance
?ARTIFACT
StationaryArtifact
))
Merge.kif 12828-12832
如果
过程
是
建筑
的
instance
和
实体
是
那个 过程
的
result
,
然后
那个 实体
是
固定人工制品
的
instance
(=>
(
and
(
instance
?C
CateringService
)
(
agent
?C ?AGENT)
(
destination
?C ?CUST)
(
located
?AGENT ?LOC1)
(
customer
?CUST ?AGENT)
(
exists
(?S ?FOOD ?E)
(
and
(
instance
?S
Cooking
)
(
agent
?S ?AGENT)
(
result
?S ?FOOD)
(
patient
?C ?FOOD)
(
instance
?E
Eating
)
(
agent
?E ?CUST)
(
eventLocated
?E ?LOC2))))
(
not
(
equal
?LOC1 ?LOC2)))
Dining.kif 586-602
如果
过程
是
CateringService
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 过程
在
那个 过程
UST 结束 和
那个 施事体
是
located
在
客体
和
那个 施事体
是
那个 过程
UST 的
customer
和 有存在
另一个 过程
,
实体
, and 和
第三 过程
这样
那个 另外 过程
是
烹饪
的
instance
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 实体
是
那个 另外 过程
的
result
和
那个 实体
是
那个 过程
的
patient
和
那个 第三 过程
是
进食
的
instance
和
那个 过程
UST 是
那个 第三 过程
的
agent
和
那个 第三 过程
是
located
在
另一个 客体
,
然后
那个 客体
不
equal
那个 另外 客体
(=>
(
and
(
instance
?COPY
Copying
)
(
resource
?COPY ?THING1)
(
result
?COPY ?THING2))
(
copy
?THING1 ?THING2))
Mid-level-ontology.kif 20415-20420
如果
过程
是
模仿
的
instance
和
客体
是
那个 过程
的
resource
和
另一个 客体
是
那个 过程
的
result
,
然后
那个 客体
是和
那个 另外 客体
完全相同的
copy
(=>
(
and
(
instance
?CREATE
Creation
)
(
result
?CREATE ?PROP)
(
instance
?PROP
Proposition
)
(
agent
?CREATE ?AGENT))
(
propositionOwner
?AGENT ?PROP))
Catalog.kif 172-178
如果
过程
是
创作
的
instance
和
命题
是
那个 过程
的
result
和
那个 命题
是
命题
的
instance
和
有认知的主事
是
那个 过程
的
agent
,
然后
那个 有认知的主事
authored
那个 命题
(=>
(
and
(
instance
?D
Antidiuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
not
(
equal
?U1 ?U2))
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 10055-10078
如果
客体
是
Antidiuretic
的
instance
和
运动
是
消化
的
instance
和
施事体
是
那个 运动
的
agent
和
移动
那个 运动
and
那个 客体
和
时距
是
Urination
的
instance
和
实体
是
那个 时距
的
result
和
那个 施事体
是
那个 时距
的
agent
和
另一个 时距
是
Urination
的
instance
和
那个 时距
不
equal
那个 另外 时距
和
另一个 实体
是
那个 另外 时距
的
result
和
那个 施事体
是
那个 另外 时距
的
agent
和
那个 时距
比
那个 运动
发生的
earlier
和
那个 运动
比
那个 另外 时距
发生的
earlier
和
测量单位
是
UnitOfVolume
的
instance
和
那个 时距
的
measure
是
实数
那个 测量单位
和
那个 另外 时距
的
measure
是
另一个 实数
那个 测量单位
,
然后
那个 实数
是
greaterThan
那个 另外 实数
的声明 has
容易
的语气
(=>
(
and
(
instance
?D
Diuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N2 ?N1)
Likely
))
Mid-level-ontology.kif 10025-10046
如果
客体
是
Diuretic
的
instance
和
运动
是
消化
的
instance
和
施事体
是
那个 运动
的
agent
和
移动
那个 运动
and
那个 客体
和
时距
是
Urination
的
instance
和
实体
是
那个 时距
的
result
和
那个 施事体
是
那个 时距
的
agent
和
另一个 时距
是
Urination
的
instance
和
另一个 实体
是
那个 另外 时距
的
result
和
那个 施事体
是
那个 另外 时距
的
agent
和
那个 时距
比
那个 运动
发生的
earlier
和
那个 运动
比
那个 另外 时距
发生的
earlier
和
测量单位
是
UnitOfVolume
的
instance
和
那个 时距
的
measure
是
实数
那个 测量单位
和
那个 另外 时距
的
measure
是
另一个 实数
那个 测量单位
,
然后
那个 另外 实数
是
greaterThan
那个 实数
的声明 has
容易
的语气
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?REM
OrganismRemains
)
(
instance
?ORG
Organism
)
(
holdsDuring
?T2
(
part
?OBJ ?REM))
(
holdsDuring
?T1
(
part
?OBJ ?ORG))
(
earlier
?T1 ?T2)
(
result
?DEATH ?REM))
(
experiencer
?DEATH ?ORG))
Mid-level-ontology.kif 74-83
如果
过程
是
死亡
的
instance
和
实体
是
OrganismRemains
的
instance
和
施事体
是
生物
的
instance
和
另一个 实体
是
那个 实体
的
part
在
时距
holdsDuring
和
那个 另外 实体
是
那个 施事体
的
part
在
另一个 时距
holdsDuring
和
那个 另外 时距
比
那个 时距
发生的
earlier
和
那个 实体
是
那个 过程
的
result
,
然后
那个 施事体
经历了
那个 过程
(=>
(
and
(
instance
?DECIDE
Deciding
)
(
agent
?DECIDE ?A)
(
patient
?DECIDE ?S)
(
instance
?S
Set
)
(
result
?DECIDE ?X)
(
instance
?X
ContentBearingPhysical
))
(
containsFormula
?X
(
holdsDuring
(
FutureFn
(
WhenFn
?DECIDE))
(
exists
(?M)
(
and
(
element
?M ?S)
(
instance
?M
IntentionalProcess
)
(
agent
?M ?A))))))
Merge.kif 12046-12062
如果
过程
是
决定
的
instance
和
施事体
是
那个 过程
的
agent
和
实体
是
那个 过程
的
patient
和
那个 实体
是
集合
的
instance
和
内容承载物理
是
那个 过程
的
result
和
那个 内容承载物理
是
内容承载物理
的
instance
,
然后
containsFormula
那个 内容承载物理
and 有存在
另一个 实体
这样
那个 另外 实体
是
那个 实体
的
element
和
那个 另外 实体
是
有意图过程
的
instance
和
那个 施事体
是
那个 另外 实体
的
agent
在
那个 过程
出现 的
time
之后
holdsDuring
(=>
(
and
(
instance
?DEVELOP
DevelopingWeaponOfMassDestruction
)
(
result
?DEVELOP ?WEAPON))
(
instance
?WEAPON
WeaponOfMassDestruction
))
WMD.kif 690-694
如果
过程
是
发展大规模杀伤性武器
的
instance
和
实体
是
那个 过程
的
result
,
然后
那个 实体
是
大规模杀伤性武器
的
instance
(=>
(
and
(
instance
?ELEMENT1
ElementalSubstance
)
(
instance
?ELEMENT2
ElementalSubstance
)
(
not
(
equal
?ELEMENT1 ?ELEMENT2))
(
instance
?PROCESS
ChemicalSynthesis
)
(
resource
?PROCESS ?ELEMENT1)
(
resource
?PROCESS ?ELEMENT2)
(
result
?PROCESS ?COMPOUND))
(
instance
?COMPOUND
CompoundSubstance
))
Merge.kif 12547-12556
如果
客体
是
元素物质
的
instance
和
另一个 客体
是
元素物质
的
instance
和
那个 客体
不
equal
那个 另外 客体
和
过程
是
化学合成
的
instance
和
那个 客体
是
那个 过程
的
resource
和
那个 另外 客体
是
那个 过程
的
resource
和
实体
是
那个 过程
的
result
,
然后
那个 实体
是
复合物质
的
instance
(=>
(
and
(
instance
?EVENT
OperationPlanning
)
(
result
?EVENT ?CBO)
(
instance
?CBO
ContentBearingObject
)
(
containsInformation
?CBO ?INFO))
(
instance
?INFO
OperationPlan
))
MilitaryProcesses.kif 1527-1533
如果
过程
是
运营计划
的
instance
和
内容承载物理
是
那个 过程
的
result
和
那个 内容承载物理
是
有内用物体
的
instance
和
那个 内容承载物理
contains
命题
的资料,
然后
那个 命题
是
运作计划
的
instance
(=>
(
and
(
instance
?EVENT
Planning
)
(
result
?EVENT ?CBO)
(
instance
?CBO
ContentBearingObject
))
(
exists
(?PLAN)
(
and
(
instance
?PLAN
Plan
)
(
containsInformation
?CBO ?PLAN))))
Merge.kif 10840-10848
如果
过程
是
规划
的
instance
和
内容承载物理
是
那个 过程
的
result
和
那个 内容承载物理
是
有内用物体
的
instance
,
然后 有存在
命题
这样
那个 命题
是
计划
的
instance
和
那个 内容承载物理
contains
那个 命题
的资料
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
result
?EXPERIMENT ?RESULT))
(
instance
?RESULT
Formula
))
UXExperimentalTerms.kif 3794-3798
如果
过程
是
试验
的
instance
和
实体
是
那个 过程
的
result
,
然后
那个 实体
是
公式
的
instance
(=>
(
and
(
instance
?F
Felling
)
(
result
?F ?S))
(
exists
(?STEM)
(
and
(
instance
?S
(
DeadFn
?STEM))
(
subclass
?STEM
PlantStem
))))
Economy.kif 5485-5493
如果
过程
是
砍伐
的
instance
和
实体
是
那个 过程
的
result
,
然后 有存在
那个 实体
TEM 这样
那个 实体
是 一个
dead
那个 实体
TEM 的
instance
和
那个 实体
TEM 是
PlantStem
的
subclass
(=>
(
and
(
instance
?F
Fermentation
)
(
patient
?F ?X)
(
instance
?X
(
JuiceOfFn
WineGrape
))
(
result
?F ?W))
(
instance
?W
Wine
))
Food.kif 3692-3699
如果
过程
是
Fermentation
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
是
酿酒葡萄
的
juice
的
instance
和
另一个 实体
是
那个 过程
的
result
,
然后
那个 另外 实体
是
葡萄酒
的
instance
(=>
(
and
(
instance
?FACILITY
NuclearWeaponProductionFacility
)
(
instance
?DEVELOP
DevelopingWeaponOfMassDestruction
)
(
eventLocated
?DEVELOP ?FACILITY)
(
result
?DEVELOP ?WEAPON))
(
instance
?WEAPON
NuclearWeapon
))
WMD.kif 654-660
如果
客体
是
核武器生产设施
的
instance
和
过程
是
发展大规模杀伤性武器
的
instance
和
那个 过程
是
located
在
那个 客体
和
实体
是
那个 过程
的
result
,
然后
那个 实体
是
核武器
的
instance
(=>
(
and
(
instance
?G
Choreographing
)
(
result
?G ?P)
(
realization
?D ?P))
(
instance
?D
Dancing
))
Mid-level-ontology.kif 16047-16052
如果
过程
是
编排
的
instance
和
命题
是
那个 过程
的
result
和
另一个 过程
表示
那个 命题
的内容,
然后
那个 另外 过程
是
跳舞
的
instance
(=>
(
and
(
instance
?H
Harvesting
)
(
result
?H ?M)
(
instance
?M
Mushroom
))
(
attribute
?M
Produce
))
Food.kif 2687-2692
如果
过程
是
收获
的
instance
和
客体
是
那个 过程
的
result
和
那个 客体
是
Mushroom
的
instance
,
然后
农产品
是
那个 客体
的
attribute
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
and
(
instance
?COPY
Photocopying
)
(
patient
?COPY ?OBJ1)
(
instance
?OBJ1
VisualContentBearingObject
)
(
containsInformation
?OBJ1 ?INFO1))
(
exists
(?OBJ2 ?INFO2)
(
and
(
result
?COPY ?OBJ2)
(
instance
?OBJ2
VisualContentBearingObject
)
(
containsInformation
?OBJ2 ?INFO2)
(
equal
?INFO1 ?INFO2))))
Mid-level-ontology.kif 26329-26340
过程
是
Photocopying
的
instance
和
内容承载物理
是
那个 过程
的
patient
和
那个 内容承载物理
是
VisualContentBearingObject
的
instance
和
那个 内容承载物理
contains
命题
的资料 若且唯若 有存在
另一个 内容承载物理
和
另一个 命题
这样
那个 另外 内容承载物理
是
那个 过程
的
result
和
那个 另外 内容承载物理
是
VisualContentBearingObject
的
instance
和
那个 另外 内容承载物理
contains
那个 另外 命题
的资料 和
那个 命题
equal
那个 另外 命题
(<=>
(
instance
?CS
ConjugatedSubstance
)
(
exists
(?C1 ?C2 ?P)
(
and
(
instance
?C1
CompoundSubstance
)
(
instance
?C2
CompoundSubstance
)
(
not
(
equal
?C1 ?C2))
(
instance
?P
ChemicalSynthesis
)
(
resource
?P ?C1)
(
resource
?P ?C2)
(
result
?P ?CS))))
Mid-level-ontology.kif 6478-6488
实体
是
共轭物质
的
instance
若且唯若 有存在
客体
,
另一个 客体
, and 和
过程
这样
那个 客体
是
复合物质
的
instance
和
那个 另外 客体
是
复合物质
的
instance
和
那个 客体
不
equal
那个 另外 客体
和
那个 过程
是
化学合成
的
instance
和
那个 客体
是
那个 过程
的
resource
和
那个 另外 客体
是
那个 过程
的
resource
和
那个 实体
是
那个 过程
的
result
(<=>
(
yearOfFounding
?O ?Y)
(
exists
(?F ?YEAR)
(
and
(
overlapsTemporally
(
WhenFn
?F) ?YEAR)
(
instance
?YEAR
(
YearFn
?Y))
(
instance
?F
Founding
)
(
result
?F ?O))))
Mid-level-ontology.kif 968-975
整数
是
机构
的
year
资金 若且唯若 有存在
过程
和
那个 整数
EAR 这样
那个 整数
EAR 时段 和
那个 过程
出现 的
time
重叠 和
那个 整数
EAR 是
那个 整数
year
的
instance
和
那个 过程
是
创建
的
instance
和
那个 机构
是
那个 过程
的
result
(=>
(
actedIn
?ACTOR ?O)
(
exists
(?PERF)
(
and
(
instance
?PERF
DramaticActing
)
(
patient
?PERF ?ACTOR)
(
result
?PERF ?O))))
Mid-level-ontology.kif 20752-20758
如果
actedIn
人类
and
内容承载物理
,
然后 有存在
过程
这样
那个 过程
是
戏剧表演
的
instance
和
那个 人类
是
那个 过程
的
patient
和
那个 内容承载物理
是
那个 过程
的
result
(=>
(
and
(
attribute
?OBJ ?ATR)
(
instance
?ATR
SubjectiveAssessmentAttribute
))
(
exists
(?TIME ?JUDGE ?AGENT)
(
and
(
instance
?JUDGE
Judging
)
(
agent
?JUDGE ?AGENT)
(
patient
?JUDGE ?OBJ)
(
result
?JUDGE
(
attribute
?OBJ ?ATR))
(
holdsDuring
?TIME
(
believes
?AGENT
(
property
?OBJ ?ATR))))))
Merge.kif 17332-17345
如果
属性
是
客体
的
attribute
和
那个 属性
是
主观评价属性
的
instance
,
然后 有存在
时间位置
,
过程
, and 和
施事体
这样
那个 过程
是
判断
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 客体
是
那个 过程
的
patient
和
那个 属性
是
那个 客体
的
attribute
是
那个 过程
的
result
和
那个 施事体
believes
那个 客体
有
那个 属性
的
attribute
在
那个 时间位置
holdsDuring
(=>
(
and
(
attribute
?X
Produce
)
(
instance
?X
FruitOrVegetable
))
(
hasPurpose
?X
(
exists
(?H)
(
and
(
instance
?H
Harvesting
)
(
result
?H ?X)
(
instance
?X
(
FoodForFn
Human
))))))
Economy.kif 4195-4204
如果
农产品
是
客体
的
attribute
和
那个 客体
是
水果或蔬菜
的
instance
,
然后
那个 客体
的 目的 是 有存在
实体
这样
那个 实体
是
收获
的
instance
和
那个 客体
是
那个 实体
的
result
和
那个 客体
是
food
for
人类
的
instance
(=>
(
and
(
destination
?MSG ?TELEX)
(
instance
?MSG
Messaging
)
(
patient
?MSG ?M)
(
instance
?TELEX
Telex
))
(
exists
(?PROC ?TEXT)
(
and
(
instrument
?PROC ?TELEX)
(
result
?PROC ?TEXT)
(
represents
?TEXT ?M)
(
instance
?TEXT
Text
)
(
before
(
BeginFn
(
WhenFn
?MSG))
(
BeginFn
(
WhenFn
?PROC))))))
Communications.kif 202-214
如果
过程
在
客体
结束 和
那个 过程
是
讯息
的
instance
和
实体
是
那个 过程
的
patient
和
那个 客体
是
Telex
的
instance
,
然后 有存在
另一个 过程
和
另一个 实体
这样
那个 客体
是导致
那个 另外 过程
的
instrument
和
那个 另外 实体
是
那个 另外 过程
的
result
和
那个 另外 实体
表达
那个 实体
和
那个 另外 实体
是
文本
的
instance
和
那个 过程
出现 的
time
的开始%n在
那个 另外 过程
出现 的
time
的开始
before
发生
(=>
(
and
(
instance
?C
Crushing
)
(
patient
?C ?O)
(
instance
?O
Object
))
(
exists
(?SC)
(
and
(
result
?C ?SC)
(
instance
?SC
ShapeChange
)
(
patient
?SC ?O))))
Food.kif 994-1003
如果
过程
是
Crushing
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
是
客体
的
instance
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
那个 过程
的
result
和
那个 另外 过程
是
形状变化
的
instance
和
那个 实体
是
那个 另外 过程
的
patient
(=>
(
and
(
instance
?C
Curdling
)
(
patient
?C ?X)
(
instance
?X
Colloid
))
(
exists
(?S ?A)
(
and
(
instance
?S
Separating
)
(
subProcess
?S ?C)
(
patient
?S ?X)
(
result
?S ?A)
(
piece
?A ?X)
(
instance
?A
Substance
))))
Food.kif 3199-3211
如果
过程
是
Curdling
的
instance
和
物质
是
那个 过程
的
patient
和
那个 物质
是
胶体
的
instance
,
然后 有存在
另一个 过程
和
另一个 物质
这样
那个 另外 过程
是
分开
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 物质
是
那个 另外 过程
的
patient
和
那个 另外 物质
是
那个 另外 过程
的
result
和
那个 另外 物质
是
那个 物质
的
piece
和
那个 另外 物质
是
物质
的
instance
(=>
(
and
(
instance
?CA
ChemicalAcid
)
(
instance
?CB
ChemicalBase
)
(
instance
?C
ChemicalProcess
)
(
patient
?C ?CA)
(
patient
?C ?CB))
(
exists
(?CS)
(
and
(
instance
?CS
ChemicalSalt
)
(
result
?C ?CS))))
Mid-level-ontology.kif 8726-8736
如果
实体
是
化学酸
的
instance
和
另一个 实体
是
化学基地
的
instance
和
过程
是
化学过程
的
instance
和
那个 实体
是
那个 过程
的
patient
和
那个 另外 实体
是
那个 过程
的
patient
,
然后 有存在
那个 过程
S 这样
那个 过程
S 是
盐
的
instance
和
那个 过程
S 是
那个 过程
的
result
(=>
(
and
(
instance
?COLOR
SecondaryColor
)
(
attribute
?OBJ ?COLOR))
(
exists
(?PROCESS ?RESOURCE1 ?RESOURCE2 ?PRIMARY1 ?PRIMARY2)
(
and
(
result
?PROCESS ?OBJ)
(
resource
?PROCESS ?RESOURCE1)
(
resource
?PROCESS ?RESOURCE2)
(
attribute
?RESOURCE1 ?PRIMARY1)
(
attribute
?RESOURCE2 ?PRIMARY2)
(
instance
?PRIMARY1
PrimaryColor
)
(
instance
?PRIMARY2
PrimaryColor
)
(
not
(
equal
?PRIMARY1 ?PRIMARY2)))))
Mid-level-ontology.kif 19379-19392
如果
属性
是
二等色
的
instance
和
那个 属性
是
客体
的
attribute
,
然后 有存在
过程
,
另一个 客体
,, ,
第三 客体
,, ,
另一个 属性
, and 和
第三 属性
这样
那个 客体
是
那个 过程
的
result
和
那个 另外 客体
是
那个 过程
的
resource
和
那个 第三 客体
是
那个 过程
的
resource
和
那个 另外 属性
是
那个 另外 客体
的
attribute
和
那个 第三 属性
是
那个 第三 客体
的
attribute
和
那个 另外 属性
是
原色
的
instance
和
那个 第三 属性
是
原色
的
instance
和
那个 另外 属性
不
equal
那个 第三 属性
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?ORG
Organism
)
(
experiencer
?DEATH ?ORG))
(
exists
(?REM ?OBJ)
(
and
(
result
?DEATH ?REM)
(
instance
?REM
OrganicObject
)
(
holdsDuring
(
FutureFn
(
WhenFn
?DEATH))
(
attribute
?REM
Dead
))
(=>
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DEATH))
(
part
?OBJ ?REM))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEATH))
(
part
?OBJ ?ORG))))))
Merge.kif 10222-10237
如果
过程
是
死亡
的
instance
和
施事体
是
生物
的
instance
和
那个 施事体
经历了
那个 过程
,
然后 有存在
实体
和
另一个 实体
这样
那个 实体
是
那个 过程
的
result
和
那个 实体
是
有机物体
的
instance
和
死
是
那个 实体
的
attribute
在
那个 过程
出现 的
time
之后
holdsDuring
和
如果
那个 另外 实体
是
那个 实体
的
part
在 紧接
那个 过程
出现 的
time
after
holdsDuring
,
然后
那个 另外 实体
是
那个 施事体
的
part
在 紧接
那个 过程
出现 的
time
before
holdsDuring
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?REM
OrganismRemains
)
(
instance
?ORG
Organism
)
(
holdsDuring
?T2
(
part
?OBJ ?REM))
(
holdsDuring
?T1
(
part
?OBJ ?ORG))
(
earlier
?T1 ?T2)
(
experiencer
?DEATH ?ORG))
(
result
?DEATH ?REM))
Mid-level-ontology.kif 85-94
如果
过程
是
死亡
的
instance
和
实体
是
OrganismRemains
的
instance
和
施事体
是
生物
的
instance
和
另一个 实体
是
那个 实体
的
part
在
时距
holdsDuring
和
那个 另外 实体
是
那个 施事体
的
part
在
另一个 时距
holdsDuring
和
那个 另外 时距
比
那个 时距
发生的
earlier
和
那个 施事体
经历了
那个 过程
,
然后
那个 实体
是
那个 过程
的
result
(=>
(
and
(
instance
?DISMANTLE
DismantlingWeaponOfMassDestruction
)
(
patient
?DISMANTLE ?WEAPON))
(
exists
(?DEVELOP)
(
and
(
instance
?DEVELOP
DevelopingWeaponOfMassDestruction
)
(
result
?DEVELOP ?WEAPON)
(
earlier
(
WhenFn
?DEVELOP)
(
WhenFn
?DISMANTLE)))))
WMD.kif 750-758
如果
过程
是
拆除大规模杀伤性武器
的
instance
和
实体
是
那个 过程
的
patient
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
发展大规模杀伤性武器
的
instance
和
那个 实体
是
那个 另外 过程
的
result
和
那个 另外 过程
出现 的
time
比
那个 过程
出现 的
time
发生的
earlier
(=>
(
and
(
instance
?FM
FoamingMilk
)
(
instance
?M
ProcessedMilk
)
(
patient
?FM ?M))
(
exists
(?H ?A ?B)
(
and
(
instance
?H
Heating
)
(
patient
?H ?M)
(
instance
?A
Aerating
)
(
patient
?A ?M)
(
result
?A ?B)
(
instance
?B
Bubble
)
(
during
(
WhenFn
?A)
(
WhenFn
?H)))))
Food.kif 1190-1205
如果
过程
是
FoamingMilk
的
instance
和
实体
是
ProcessedMilk
的
instance
和
那个 实体
是
那个 过程
的
patient
,
然后 有存在
另一个 过程
,
第三 过程
, and 和
另一个 实体
这样
那个 另外 过程
是
加热
的
instance
和
那个 实体
是
那个 另外 过程
的
patient
和
那个 第三 过程
是
曝气
的
instance
和
那个 实体
是
那个 第三 过程
的
patient
和
那个 另外 实体
是
那个 第三 过程
的
result
和
那个 另外 实体
是
气泡
的
instance
和
那个 第三 过程
出现 的
time
在
那个 另外 过程
出现 的
time
时段内发生
(=>
(
and
(
instance
?G
Gaslighting
)
(
agent
?G ?A)
(
suffers
?G ?H))
(
exists
(?P)
(
and
(
instance
?P
Perception
)
(
experiencer
?P ?H)
(
causesProposition
(
suffers
?G ?H)
(
not
(
knows
?H
(
result
?P ?R)))))))
Medicine.kif 3665-3678
如果
过程
是
Gaslighting
的
instance
和
施事体
是
那个 过程
的
agent
和
另一个 施事体
suffers
从
那个 过程
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
感知
的
instance
和
那个 另外 施事体
经历了
那个 另外 过程
和
那个 另外 施事体
doesn't
knows
实体
是
那个 另外 过程
的
result
是
那个 另外 施事体
suffers
从
那个 过程
的
causes
提议
(=>
(
and
(
instance
?G
Gene
)
(
located
?G ?C)
(
instance
?C
Cell
))
(
exists
(?B ?N ?R)
(
and
(
instance
?B
BiologicalProcess
)
(
eventLocated
?B ?C)
(
origin
?B ?G)
(
result
?B ?N)
(
instance
?N
Nucleotide
)
(
part
?N ?R)
(
instance
?R
RNAMolecule
)
(
located
?R ?C))))
VirusProteinAndCellPart.kif 655-669
如果
客体
是
Gene
的
instance
和
那个 客体
是
located
在
另一个 客体
和
那个 另外 客体
是
细胞
的
instance
,
然后 有存在
过程
,
第三 客体
, and 和
第四 客体
这样
那个 过程
是
生物过程
的
instance
和
那个 过程
是
located
在
那个 另外 客体
和
那个 客体
是
那个 过程
的源头 和
那个 第三 客体
是
那个 过程
的
result
和
那个 第三 客体
是
Nucleotide
的
instance
和
那个 第三 客体
是
那个 第四 客体
的
part
和
那个 第四 客体
是
RNA分子
的
instance
和
那个 第四 客体
是
located
在
那个 另外 客体
(=>
(
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
和
实体
是
那个 过程
的
patient
和
那个 实体
是
躯体性物体
的
instance
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
那个 过程
的
result
和
那个 另外 实体
是
群体
的
instance
和 对所有
第三 实体
如果
那个 第三 实体
是
那个 另外 实体
的
member
,
然后
那个 第三 实体
是
那个 实体
的
part
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?L
Laceration
)
(
instance
?S
Skin
)
(
equal
?S
(
HoleHostFn
?L))
(
part
?S ?H))
(
exists
(?P)
(
and
(
instance
?P
Poking
)
(
result
?P ?L))))
Medicine.kif 6219-6228
如果
洞
是
Laceration
的
instance
和
客体
是
皮肤
的
instance
和
那个 客体
equal
洞
那个 洞
的主体 和
那个 客体
是
另一个 客体
的
part
,
然后 有存在
过程
这样
那个 过程
是
刺
的
instance
和
那个 洞
是
那个 过程
的
result
(=>
(
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
?P
ForestProduct
)
(
instance
?M
Manufacture
)
(
result
?M ?P)
(
patient
?M ?X)
(
instance
?X
Organism
))
(
exists
(?A ?F)
(
and
(
instance
?A
Agriculture
)
(
result
?A ?X)
(
eventLocated
?A ?F)
(
instance
?F
Forest
))))
Economy.kif 5210-5222
如果
实体
是
ForestProduct
的
instance
和
过程
是
制造
的
instance
和
那个 实体
是
那个 过程
的
result
和
另一个 实体
是
那个 过程
的
patient
和
那个 另外 实体
是
生物
的
instance
,
然后 有存在
另一个 过程
和
客体
这样
那个 另外 过程
是
农业
的
instance
和
那个 另外 实体
是
那个 另外 过程
的
result
和
那个 另外 过程
是
located
在
那个 客体
和
那个 客体
是
森林
的
instance
(=>
(
and
(
instance
?P
Putting
)
(
patient
?P ?S)
(
instance
?S
Spice
)
(
destination
?P ?F)
(
instance
?F
PreparedFood
))
(
exists
(?C ?A)
(
and
(
instance
?C
InternalChange
)
(
patient
?C ?F)
(
result
?C ?A)
(
attribute
?F ?A)
(
or
(
instance
?A
FlavourAttribute
)
(
instance
?A
ColorAttribute
)))))
Economy.kif 4384-4399
如果
过程
是
放
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
是
香料
的
instance
和
那个 过程
在
客体
结束 和
那个 客体
是
已准备食物
的
instance
,
然后 有存在
另一个 过程
和
属性
这样
那个 另外 过程
是
内部变化
的
instance
和
那个 客体
是
那个 另外 过程
的
patient
和
那个 属性
是
那个 另外 过程
的
result
和
那个 属性
是
那个 客体
的
attribute
和
那个 属性
是
FlavourAttribute
的
instance
或
那个 属性
是
颜色属性
的
instance
(=>
(
and
(
instance
?PAGE
ViewItemPage
)
(
instance
?ADVERTISING
WebListing
)
(
component
?ADVERTISING ?PAGE)
(
patient
?ADVERTISING ?ITEM)
(
instance
?ITEM
Physical
))
(
exists
(?DESCRIPTION ?STATING ?DESCRIPTIONCONTENT)
(
and
(
instance
?STATING
Stating
)
(
patient
?STATING ?DESCRIPTION)
(
refers
?DESCRIPTION ?ITEM)
(
result
?DESCRIPTION ?DESCRIPTIONCONTENT)
(
part
?DESCRIPTIONCONTENT ?PAGE))))
UXExperimentalTerms.kif 2078-2091
如果
躯体性物体
是
ViewItemPage
的
instance
和
过程
是
WebListing
的
instance
和
那个 过程
是
那个 躯体性物体
的
component
和
实体
是
那个 过程
的
patient
和
那个 实体
是
物理
的
instance
,
然后 有存在
另一个 过程
,
第三 过程
, and 和
那个 另外 过程
CONTENT 这样
那个 第三 过程
是
陈述
的
instance
和
那个 另外 过程
是
那个 第三 过程
的
patient
和
那个 另外 过程
提到
那个 实体
和
那个 另外 过程
CONTENT 是
那个 另外 过程
的
result
和
那个 另外 过程
CONTENT 是
那个 躯体性物体
的
part
(=>
(
and
(
instance
?PLAN
Plan
)
(
instance
?OBJ
ContentBearingObject
)
(
containsInformation
?OBJ ?PLAN))
(
exists
(?PLANNING)
(
and
(
instance
?PLANNING
Planning
)
(
result
?PLANNING ?OBJ))))
Merge.kif 16802-16810
如果
命题
是
计划
的
instance
和
内容承载物理
是
有内用物体
的
instance
和
那个 内容承载物理
contains
那个 命题
的资料,
然后 有存在
那个 命题
NING 这样
那个 命题
NING 是
规划
的
instance
和
那个 内容承载物理
是
那个 命题
NING 的
result
(=>
(
and
(
instance
?PLAN
Plan
)
(
instance
?PROC
Process
)
(
represents
?PLAN ?PROC))
(
exists
(?PLANNING ?CBO)
(
and
(
instance
?PLANNING
Planning
)
(
instance
?CBO
ContentBearingPhysical
)
(
containsInformation
?CBO ?PLAN)
(
result
?PLANNING ?CBO)
(
earlier
(
BeginFn
(
WhenFn
?PLANNING))
(
BeginFn
(
WhenFn
?PROC)))
(
earlier
(
EndFn
(
WhenFn
?PLANNING))
(
EndFn
(
WhenFn
?PROC))))))
Military.kif 32-44
如果
命题
是
计划
的
instance
和
物理
是
过程
的
instance
和
那个 命题
表达
那个 物理
,
然后 有存在
那个 命题
NING 和
内容承载物理
这样
那个 命题
NING 是
规划
的
instance
和
那个 内容承载物理
是
内容承载物理
的
instance
和
那个 内容承载物理
contains
那个 命题
的资料 和
那个 内容承载物理
是
那个 命题
NING 的
result
和
那个 命题
NING 出现 的
time
的开始 比
那个 物理
出现 的
time
的开始发生的
earlier
和
那个 命题
NING 出现 的
time
的结束 比
那个 物理
出现 的
time
的结束发生的
earlier
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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