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
不相交的關係
結果
and
儀器
(
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 and
Process
(
domain
result
2
Entity
)
Merge.kif 2552-2552
域
結果
, 2 and
Entity
(
instance
result
CaseRole
)
Merge.kif 2549-2549
例
結果
and
CaseRole
(
instance
result
PartialValuedRelation
)
Merge.kif 2550-2550
例
結果
and
PartialValuedRelation
(
subrelation
result
patient
)
Merge.kif 2548-2548
子關係
結果
and
患者
appearance as argument number 2
(
disjointRelation
resource
result
)
Merge.kif 2513-2513
不相交的關係
資源
and
結果
(
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
例
Process
and
Combining
資源
Process
and
Object
結果
Process
and
Entity
持有期間
開始
何時
Process
and
部分
Object
and
Entity
持有期間
結束
何時
Process
and
部分
Object
and
Entity
(=>
(
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
Human
and
內容承載物理
例
Process
and
戲劇表演
患者
Process
and
Human
結果
Process
and
內容承載物理
持有期間
何時
Process
and
attribute
Human
and
Actor
(=>
(
and
(
agent
?PROCESS ?AGENT)
(
result
?PROCESS ?WORK)
(
instance
?WORK
ArtWork
))
(
holdsDuring
(
WhenFn
?PROCESS)
(
attribute
?AGENT
Artist
)))
Mid-level-ontology.kif 18837-18843
agent
Process
and
AutonomousAgent
結果
Process
and
Entity
例
Entity
and
ArtWork
持有期間
何時
Process
and
attribute
AutonomousAgent
and
Artist
(=>
(
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
AutonomousAgent
and
作家
例
Entity
and
ContentBearingObject
子類
ContentBearingObject
and
Text
子類
ContentBearingObject
and
Document
例
Process
and
Writing
agent
Process
and
AutonomousAgent
結果
Process
and
Entity
作者
AutonomousAgent
and
ContentBearingObject
(=>
(
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
Human
directed
MotionPicture
例
Process
and
電影製作
例
AutonomousAgent
and
Organization
Human
是
AutonomousAgent
的
leader
agent
Process
and
AutonomousAgent
結果
Process
and
MotionPicture
持有期間
何時
Process
and
attribute
Human
and
電影導演
(=>
(
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
採用
AutonomousAgent
and
CognitiveAgent
例
Process
and
DoNetworkMessaging
結果
Process
and
Object
attribute
Object
and
NSFW
例
Process
and
Seeing
患者
Process
and
Object
agent
Process
and
CognitiveAgent
模態屬性
entity
原因
Process
and
entity
CognitiveAgent
suffers
從
entity
and
可能性
(=>
(
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
採用
AutonomousAgent
and
CognitiveAgent
採用
AutonomousAgent
and
CognitiveAgent
例
Process
and
DoNetworkMessaging
結果
Process
and
Object
attribute
Object
and
NSFW
agent
Process
and
CognitiveAgent
例
Process
and
Seeing
患者
Process
and
Object
agent
Process
and
CognitiveAgent
模態屬性
CognitiveAgent
ROC
原因
Process
and
CognitiveAgent
ROC
CognitiveAgent
suffers
從
CognitiveAgent
ROC and
容易
(=>
(
and
(
instance
?BUILD
Constructing
)
(
result
?BUILD ?ARTIFACT))
(
instance
?ARTIFACT
StationaryArtifact
))
Merge.kif 12828-12832
例
Process
and
Constructing
結果
Process
and
Entity
例
Entity
and
StationaryArtifact
(=>
(
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
例
Process
and
CateringService
agent
Process
and
AutonomousAgent
目的地
Process
and
Process
UST
位於
AutonomousAgent
and
Object
AutonomousAgent
是
Process
UST 的
customer
Process
Entity
and
Process
例
Process
and
Cooking
agent
Process
and
AutonomousAgent
結果
Process
and
Entity
患者
Process
and
Entity
例
Process
and
Eating
agent
Process
and
Process
UST
Process
是
located
在
Object
等於
Object
and
Object
(=>
(
and
(
instance
?COPY
Copying
)
(
resource
?COPY ?THING1)
(
result
?COPY ?THING2))
(
copy
?THING1 ?THING2))
Mid-level-ontology.kif 20415-20420
例
Process
and
模仿
資源
Process
and
Object
結果
Process
and
Object
複製
Object
and
Object
(=>
(
and
(
instance
?CREATE
Creation
)
(
result
?CREATE ?PROP)
(
instance
?PROP
Proposition
)
(
agent
?CREATE ?AGENT))
(
propositionOwner
?AGENT ?PROP))
Catalog.kif 172-178
例
Process
and
Creation
結果
Process
and
Proposition
例
Proposition
and
Proposition
agent
Process
and
CognitiveAgent
CognitiveAgent
authored
Proposition
(=>
(
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
例
Object
and
Antidiuretic
例
Motion
and
Ingesting
agent
Motion
and
AutonomousAgent
移動
Motion
and
Object
例
TimeInterval
and
Urination
結果
TimeInterval
and
Entity
agent
TimeInterval
and
AutonomousAgent
例
TimeInterval
and
Urination
等於
TimeInterval
and
TimeInterval
結果
TimeInterval
and
Entity
agent
TimeInterval
and
AutonomousAgent
早期
TimeInterval
and
Motion
早期
Motion
and
TimeInterval
例
UnitOfMeasure
and
UnitOfVolume
測量
TimeInterval
and
測量
RealNumber
and
UnitOfMeasure
測量
TimeInterval
and
測量
RealNumber
and
UnitOfMeasure
模態屬性
比較多
RealNumber
and
RealNumber
and
容易
(=>
(
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
例
Object
and
Diuretic
例
Motion
and
Ingesting
agent
Motion
and
AutonomousAgent
移動
Motion
and
Object
例
TimeInterval
and
Urination
結果
TimeInterval
and
Entity
agent
TimeInterval
and
AutonomousAgent
例
TimeInterval
and
Urination
結果
TimeInterval
and
Entity
agent
TimeInterval
and
AutonomousAgent
早期
TimeInterval
and
Motion
早期
Motion
and
TimeInterval
例
UnitOfMeasure
and
UnitOfVolume
測量
TimeInterval
and
測量
RealNumber
and
UnitOfMeasure
測量
TimeInterval
and
測量
RealNumber
and
UnitOfMeasure
模態屬性
比較多
RealNumber
and
RealNumber
and
容易
(=>
(
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
例
Process
and
Death
例
Entity
and
OrganismRemains
例
AutonomousAgent
and
Organism
持有期間
TimeInterval
and
部分
entity
and
Entity
持有期間
TimeInterval
and
部分
entity
and
AutonomousAgent
早期
TimeInterval
and
TimeInterval
結果
Process
and
Entity
體驗者
Process
and
AutonomousAgent
(=>
(
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
例
Process
and
決定
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
例
Entity
and
Set
結果
Process
and
內容承載物理
例
內容承載物理
and
內容承載物理
containsFormula
內容承載物理
and
持有期間
未來
何時
Process
and
entity
元件
entity
and
Entity
例
entity
and
IntentionalProcess
agent
entity
and
AutonomousAgent
(=>
(
and
(
instance
?DEVELOP
DevelopingWeaponOfMassDestruction
)
(
result
?DEVELOP ?WEAPON))
(
instance
?WEAPON
WeaponOfMassDestruction
))
WMD.kif 690-694
例
Process
and
發展大規模殺傷性武器
結果
Process
and
Entity
例
Entity
and
大規模殺傷性武器
(=>
(
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
例
Object
and
ElementalSubstance
例
Object
and
ElementalSubstance
等於
Object
and
Object
例
Process
and
ChemicalSynthesis
資源
Process
and
Object
資源
Process
and
Object
結果
Process
and
Entity
例
Entity
and
CompoundSubstance
(=>
(
and
(
instance
?EVENT
OperationPlanning
)
(
result
?EVENT ?CBO)
(
instance
?CBO
ContentBearingObject
)
(
containsInformation
?CBO ?INFO))
(
instance
?INFO
OperationPlan
))
MilitaryProcesses.kif 1527-1533
例
Process
and
運營計劃
結果
Process
and
內容承載物理
例
內容承載物理
and
ContentBearingObject
包含信息
內容承載物理
and
Proposition
例
Proposition
and
運作計劃
(=>
(
and
(
instance
?EVENT
Planning
)
(
result
?EVENT ?CBO)
(
instance
?CBO
ContentBearingObject
))
(
exists
(?PLAN)
(
and
(
instance
?PLAN
Plan
)
(
containsInformation
?CBO ?PLAN))))
Merge.kif 10840-10848
例
Process
and
Planning
結果
Process
and
內容承載物理
例
內容承載物理
and
ContentBearingObject
Proposition
例
Proposition
and
Plan
包含信息
內容承載物理
and
Proposition
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
result
?EXPERIMENT ?RESULT))
(
instance
?RESULT
Formula
))
UXExperimentalTerms.kif 3794-3798
例
Process
and
試驗
結果
Process
and
Entity
例
Entity
and
Formula
(=>
(
and
(
instance
?F
Felling
)
(
result
?F ?S))
(
exists
(?STEM)
(
and
(
instance
?S
(
DeadFn
?STEM))
(
subclass
?STEM
PlantStem
))))
Economy.kif 5485-5493
例
Process
and
砍伐
結果
Process
and
Entity
Entity
TEM
例
Entity
and 一個
dead
Entity
TEM
子類
Entity
TEM and
PlantStem
(=>
(
and
(
instance
?F
Fermentation
)
(
patient
?F ?X)
(
instance
?X
(
JuiceOfFn
WineGrape
))
(
result
?F ?W))
(
instance
?W
Wine
))
Food.kif 3692-3699
例
Process
and
Fermentation
患者
Process
and
Entity
例
Entity
and
釀酒葡萄
的
juice
結果
Process
and
Entity
例
Entity
and
葡萄酒
(=>
(
and
(
instance
?FACILITY
NuclearWeaponProductionFacility
)
(
instance
?DEVELOP
DevelopingWeaponOfMassDestruction
)
(
eventLocated
?DEVELOP ?FACILITY)
(
result
?DEVELOP ?WEAPON))
(
instance
?WEAPON
NuclearWeapon
))
WMD.kif 654-660
例
Object
and
核武器生產設施
例
Process
and
發展大規模殺傷性武器
Process
是
located
在
Object
結果
Process
and
Entity
例
Entity
and
核武器
(=>
(
and
(
instance
?G
Choreographing
)
(
result
?G ?P)
(
realization
?D ?P))
(
instance
?D
Dancing
))
Mid-level-ontology.kif 16047-16052
例
Process
and
編排
結果
Process
and
Proposition
實現
Process
and
Proposition
例
Process
and
Dancing
(=>
(
and
(
instance
?H
Harvesting
)
(
result
?H ?M)
(
instance
?M
Mushroom
))
(
attribute
?M
Produce
))
Food.kif 2687-2692
例
Process
and
收穫
結果
Process
and
Object
例
Object
and
Mushroom
attribute
Object
and
農産品
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
例
Process
and
Photocopying
患者
Process
and
內容承載物理
例
內容承載物理
and
VisualContentBearingObject
包含信息
內容承載物理
and
Proposition
內容承載物理
Proposition
結果
Process
and
內容承載物理
例
內容承載物理
and
VisualContentBearingObject
包含信息
內容承載物理
and
Proposition
等於
Proposition
and
Proposition
(<=>
(
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
例
Entity
and
共軛物質
Object
Object
and
Process
例
Object
and
CompoundSubstance
例
Object
and
CompoundSubstance
等於
Object
and
Object
例
Process
and
ChemicalSynthesis
資源
Process
and
Object
資源
Process
and
Object
結果
Process
and
Entity
(<=>
(
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
Integer
是
Organization
的
year
資金
Process
Integer
EAR
暫時重疊
何時
Process
and
Integer
EAR
例
Integer
EAR and
年
Integer
例
Process
and
創建
結果
Process
and
Organization
(=>
(
actedIn
?ACTOR ?O)
(
exists
(?PERF)
(
and
(
instance
?PERF
DramaticActing
)
(
patient
?PERF ?ACTOR)
(
result
?PERF ?O))))
Mid-level-ontology.kif 20752-20758
actedIn
Human
and
內容承載物理
Process
例
Process
and
戲劇表演
患者
Process
and
Human
結果
Process
and
內容承載物理
(=>
(
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
Object
and
Attribute
例
Attribute
and
SubjectiveAssessmentAttribute
TimePosition
Process
and
AutonomousAgent
例
Process
and
判斷
agent
Process
and
AutonomousAgent
患者
Process
and
Object
結果
Process
and
attribute
Object
and
Attribute
持有期間
TimePosition
and
相信
AutonomousAgent
and
屬性
Object
and
Attribute
(=>
(
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
Object
and
農産品
例
Object
and
FruitOrVegetable
有目的
Object
and
entity
例
entity
and
收穫
結果
entity
and
Object
例
Object
and
food
for
Human
(=>
(
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
目的地
Process
and
Object
例
Process
and
訊息
患者
Process
and
Entity
例
Object
and
Telex
Process
Entity
儀器
Process
and
Object
結果
Process
and
Entity
代表
Entity
and
Entity
例
Entity
and
Text
之前
開始
何時
Process
and
開始
何時
Process
(=>
(
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
例
Process
and
Crushing
患者
Process
and
Entity
例
Entity
and
Object
Process
結果
Process
and
Process
例
Process
and
ShapeChange
患者
Process
and
Entity
(=>
(
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
例
Process
and
Curdling
患者
Process
and
Substance
例
Substance
and
膠體
Process
Substance
例
Process
and
Separating
子過程
Process
and
Process
患者
Process
and
Substance
結果
Process
and
Substance
片
Substance
and
Substance
例
Substance
and
Substance
(=>
(
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
例
Entity
and
化學酸
例
Entity
and
化學基地
例
Process
and
ChemicalProcess
患者
Process
and
Entity
患者
Process
and
Entity
Process
S
例
Process
S and
鹽
結果
Process
and
Process
S
(=>
(
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
例
Attribute
and
二等色
attribute
Object
and
Attribute
Process
Object
,
Object
,
Attribute
and
Attribute
結果
Process
and
Object
資源
Process
and
Object
資源
Process
and
Object
attribute
Object
and
Attribute
attribute
Object
and
Attribute
例
Attribute
and
PrimaryColor
例
Attribute
and
PrimaryColor
等於
Attribute
and
Attribute
(=>
(
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
例
Process
and
Death
例
AutonomousAgent
and
Organism
體驗者
Process
and
AutonomousAgent
Entity
entity
結果
Process
and
Entity
例
Entity
and
OrganicObject
持有期間
未來
何時
Process
and
attribute
Entity
and
死
持有期間
眼前的未來
何時
Process
and
部分
entity
and
Entity
持有期間
不久的過去
何時
Process
and
部分
entity
and
AutonomousAgent
(=>
(
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
例
Process
and
Death
例
Entity
and
OrganismRemains
例
AutonomousAgent
and
Organism
持有期間
TimeInterval
and
部分
entity
and
Entity
持有期間
TimeInterval
and
部分
entity
and
AutonomousAgent
早期
TimeInterval
and
TimeInterval
體驗者
Process
and
AutonomousAgent
結果
Process
and
Entity
(=>
(
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
例
Process
and
拆除大規模殺傷性武器
患者
Process
and
Entity
Process
例
Process
and
發展大規模殺傷性武器
結果
Process
and
Entity
早期
何時
Process
and
何時
Process
(=>
(
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
例
Process
and
FoamingMilk
例
Entity
and
ProcessedMilk
患者
Process
and
Entity
Process
Process
and
Entity
例
Process
and
Heating
患者
Process
and
Entity
例
Process
and
曝氣
患者
Process
and
Entity
結果
Process
and
Entity
例
Entity
and
氣泡
期間
何時
Process
and
何時
Process
(=>
(
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
例
Process
and
Gaslighting
agent
Process
and
AutonomousAgent
AutonomousAgent
suffers
從
Process
Process
例
Process
and
Perception
體驗者
Process
and
AutonomousAgent
知道
AutonomousAgent
and
結果
Process
and
entity
是
AutonomousAgent
suffers
從
Process
的
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
例
Object
and
Gene
位於
Object
and
Object
例
Object
and
Cell
Process
Object
and
Object
例
Process
and
BiologicalProcess
Process
是
located
在
Object
起源
Process
and
Object
結果
Process
and
Object
例
Object
and
Nucleotide
部分
Object
and
Object
例
Object
and
RNA分子
位於
Object
and
Object
(=>
(
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
例
Process
and
Grinding
患者
Process
and
Entity
例
Entity
and
CorpuscularObject
持有期間
結束
何時
Process
and
entity
結果
Process
and
entity
例
entity
and
Collection
entity
會員
entity
and
entity
部分
entity
and
Entity
(=>
(
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
例
HoleRegion
and
Laceration
例
Object
and
皮膚
等於
Object
and
洞主持人
HoleRegion
部分
Object
and
Object
Process
例
Process
and
Poking
結果
Process
and
HoleRegion
(=>
(
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
and
Organization
attribute
AutonomousAgent
and
行業屬性
Object
是
行業屬性
的
industry
產品類別
Process
Entity
例
Process
and
Making
例
Entity
and
Object
agent
Process
and
AutonomousAgent
結果
Process
and
Entity
(=>
(
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
例
Entity
and
ForestProduct
例
Process
and
Manufacture
結果
Process
and
Entity
患者
Process
and
Entity
例
Entity
and
Organism
Process
Object
例
Process
and
農業
結果
Process
and
Entity
Process
是
located
在
Object
例
Object
and
森林
(=>
(
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
例
Process
and
Putting
患者
Process
and
Entity
例
Entity
and
香料
目的地
Process
and
Object
例
Object
and
已準備食物
Process
Attribute
例
Process
and
InternalChange
患者
Process
and
Object
結果
Process
and
Attribute
attribute
Object
and
Attribute
例
Attribute
and
FlavourAttribute
例
Attribute
and
ColorAttribute
(=>
(
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
例
CorpuscularObject
and
ViewItemPage
例
Process
and
WebListing
零件
Process
and
CorpuscularObject
患者
Process
and
Entity
例
Entity
and
Physical
Process
Process
and
Process
CONTENT
例
Process
and
Stating
患者
Process
and
Process
參照
Process
and
Entity
結果
Process
and
Process
CONTENT
部分
Process
CONTENT and
CorpuscularObject
(=>
(
and
(
instance
?PLAN
Plan
)
(
instance
?OBJ
ContentBearingObject
)
(
containsInformation
?OBJ ?PLAN))
(
exists
(?PLANNING)
(
and
(
instance
?PLANNING
Planning
)
(
result
?PLANNING ?OBJ))))
Merge.kif 16802-16810
例
Proposition
and
Plan
例
內容承載物理
and
ContentBearingObject
包含信息
內容承載物理
and
Proposition
Proposition
NING
例
Proposition
NING and
Planning
結果
Proposition
NING and
內容承載物理
(=>
(
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
例
Proposition
and
Plan
例
Physical
and
Process
代表
Proposition
and
Physical
Proposition
NING
內容承載物理
例
Proposition
NING and
Planning
例
內容承載物理
and
內容承載物理
包含信息
內容承載物理
and
Proposition
結果
Proposition
NING and
內容承載物理
早期
開始
何時
Proposition
NING and
開始
何時
Physical
早期
結束
何時
Proposition
NING and
結束
何時
Physical
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