Term Intersection
: 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
Term 1:
Term 2:
(=>
(
and
(
instance
?MENU
SetMenu
)
(
offers
?AGENT ?MENU)
(
catalogItem
?CLASS ?MENU)
(
subclass
?CLASS
PreparedFood
)
(
instance
?X ?VLASS)
(
instance
?Y ?CLASS)
(
not
(
equal
?X ?Y))
(
price
?X ?PRICE1 ?AGENT1)
(
price
?Y ?PRICE2 ?AGENT2))
(
equal
?PRICE1 ?PRICE2))
Dining.kif 189-201
例
Catalog
and
SetMenu
AutonomousAgent
offers
拍賣樣品在
Catalog
Entity
是在
Catalog
子類
Entity
and
已準備食物
例
Physical
and
Class
例
Physical
and
Entity
等於
Physical
and
Physical
Physical
是 對於
AutonomousAgent
1 的
price
CurrencyMeasure
Physical
是 對於
AutonomousAgent
2 的
price
CurrencyMeasure
等於
CurrencyMeasure
and
CurrencyMeasure
(=>
(
instance
?PE
ProtectiveEyewear
)
(
hasPurpose
?PE
(=>
(
exists
(?PERSON)
(
and
(
instance
?PERSON
Human
)
(
wears
?PERSON ?PE)))
(
exists
(?PROTECT ?EYE ?INJ ?I ?T)
(
and
(
instance
?PROTECT
Process
)
(
instrument
?PROTECT ?PE)
(
subclass
?INJ
(
KappaFn
?I
(
exists
(?HUMAN)
(
and
(
instance
?I
Injuring
)
(
instance
?EYE
Eye
)
(
instance
?HUMAN
Human
)
(
properPart
?EYE ?HUMAN)
(
patient
?I ?EYE)
(=>
(
holdsDuring
?T
(
patient
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROTECT ?PERSON))))))))
(
prevents
?PROTECT ?INJ))))))
Cars.kif 3482-3509
例
Physical
and
防護眼鏡
有目的
Physical
and
Physical
RSON
例
Physical
RSON and
Human
穿
Physical
RSON and
Physical
entity
entity
,
entity
,
entity
and
entity
例
entity
and
Process
儀器
entity
and
Physical
子類
entity
and
卡帕
entity
and
entity
例
entity
and
Injuring
例
entity
and
眼睛
例
entity
and
Human
適當的部分
entity
and
entity
患者
entity
and
entity
持有期間
entity
and
患者
entity
and
Physical
RSON
持有期間
entity
and
患者
entity
and
Physical
RSON
防止
entity
and
entity
(=>
(
and
(
instance
?X
BreakingRecord
)
(
agent
?X ?A1))
(
exists
(?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)
(
and
(
instance
?AC
Set
)
(
element
?A1 ?AC)
(
subclass
?PC
Process
)
(
instance
?L
Region
)
(
instance
?TP
TimePoint
)
(
instance
?Q
Quantity
)
(
instance
?P1 ?PC)
(
refers
?X ?Q)
(
refers
?Q ?P1)
(
playsRoleInEvent
?A1 ?ROLE ?P1)
(
eventLocated
?P1 ?L)
(
not
(
exists
(?A2 ?P2)
(
and
(
instance
?A2 ?AC)
(
not
(
equal
?A2 ?A1))
(
instance
?P2 ?PC)
(
holdsDuring
(
TimeIntervalFn
?TP
(
EndFn
(
WhenFn
?X)))
(
and
(
playsRoleInEvent
?A2 ?ROLE ?P2)
(
eventLocated
?P2 ?L)))))))))
Mid-level-ontology.kif 30030-30060
例
Process
and
BreakingRecord
agent
Process
and
AutonomousAgent
Set
Class
,
Process
,
TimePoint
,
CaseRole
,
Object
and
Entity
例
Set
and
Set
元件
AutonomousAgent
and
Set
子類
Class
and
Process
例
Object
and
Region
例
TimePoint
and
TimePoint
例
Entity
and
Quantity
例
Process
and
Class
參照
Process
and
Entity
參照
Entity
and
Process
AutonomousAgent
對於
Process
在事件
CaseRole
plays
角色
Process
是
located
在
Object
Entity
Entity
例
Entity
and
Set
等於
Entity
and
AutonomousAgent
例
Entity
and
Class
持有期間
時間間隔
TimePoint
and
結束
何時
Process
and
Entity
對於
Entity
在事件
CaseRole
plays
角色
Entity
是
located
在
Object
(=>
(
and
(
instance
?PROCESS ?PROCESS_CLASS)
(
subclass
?PROCESS_CLASS
Process
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?AGENT
AutonomousAgent
)
(
agent
?PROCESS ?AGENT)
(
agent
?ACCESSING ?AGENT)
(
during
?PROCESS ?ACCESSING)
(
instance
?TIMETOFIRST
TimeInterval
)
(
not
(
exists
(?PROCESS2)
(
and
(
instance
?PROCESS2 ?PROCESS_CLASS)
(
agent
?PROCESS2 ?AGENT)
(
during
?PROCESS2 ?ACCESSING)
(
before
(
BeginFn
(
WhenFn
?PROCESS2))
(
BeginFn
(
WhenFn
?PROCESS))))))
(
equal
(
BeginFn
(
WhenFn
?ACCESSING))
(
BeginFn
(
WhenFn
?TIMETOFIRST)))
(
equal
(
BeginFn
(
WhenFn
?PROCESS))
(
EndFn
(
WhenFn
?TIMETOFIRST))))
(
equal
(
TTFxFn
?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))
UXExperimentalTerms.kif 1496-1518
例
TimeInterval
and
TimeInterval
_CLASS
子類
TimeInterval
_CLASS and
Process
例
AccessingWebPage
and
AccessingWebPage
例
AutonomousAgent
and
AutonomousAgent
agent
TimeInterval
and
AutonomousAgent
agent
AccessingWebPage
and
AutonomousAgent
期間
TimeInterval
and
AccessingWebPage
例
Physical
and
TimeInterval
TimeInterval
例
TimeInterval
and
TimeInterval
_CLASS
agent
TimeInterval
and
AutonomousAgent
期間
TimeInterval
and
AccessingWebPage
之前
開始
何時
TimeInterval
and
開始
何時
TimeInterval
等於
開始
何時
AccessingWebPage
and
開始
何時
Physical
等於
開始
何時
TimeInterval
and
結束
何時
Physical
等於
AccessingWebPage
的
time
在 類別
TimeInterval
_CLASS and
Physical
(=>
(
instance
?X
Protecting
)
(
hasPurpose
?X
(
exists
(?OBJ ?T ?H ?HARM)
(
and
(
instance
?OBJ
Object
)
(
patient
?X
Object
)
(
subclass
?HARM
(
KappaFn
?H
(
and
(
or
(
instance
?H
CriminalAction
)
(
instance
?H
Damaging
))
(=>
(
holdsDuring
?T
(
patient
?H ?OBJ))
(
not
(
holdsDuring
?T
(
patient
?X ?OBJ)))))))
(
or
(
prevents
?X ?HARM)
(
hinders
?X ?HARM))))))
Mid-level-ontology.kif 18421-18442
例
Physical
and
Protecting
有目的
Physical
and
entity
entity
,
entity
and
entity
ARM
例
entity
and
Object
患者
Physical
and
Object
子類
entity
ARM and
卡帕
entity
and
例
entity
and
犯罪行為
例
entity
and
Damaging
持有期間
entity
and
患者
entity
and
entity
持有期間
entity
and
患者
Physical
and
entity
防止
Physical
and
entity
ARM
Physical
hinders
entity
ARM
(=>
(
habitatOfOrganism
?O ?L)
(
not
(
subclass
?O
DomesticAnimal
)))
Mid-level-ontology.kif 30397-30400
Organism
inhabits
GeographicArea
子類
Organism
and
家畜
(=>
(
and
(
instance
?HP
HearingProtection
)
(
instance
?PERSON
Human
)
(
wears
?PERSON ?HP))
(
hasPurpose
?HP
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?SOUND ?HEAR ?HUMAN ?T)
(
and
(
instance
?SOUND
RadiatingSound
)
(
instance
?HEAR
Hearing
)
(
instance
?HUMAN
Human
)
(
patient
?HEAR ?SOUND)
(
experiencer
?HEAR ?HUMAN)
(
causes
?HEAR ?I)
(
experiencer
?I ?HUMAN)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)
(
instrument
?PROC ?HP)))))
Cars.kif 3447-3476
例
可穿戴物品
and
聽力保護
例
Animal
and
Human
穿
Animal
and
可穿戴物品
有目的
可穿戴物品
and
entity
entity
and
entity
例
entity
and
Process
子類
entity
and
卡帕
entity
and
例
entity
and
Injuring
entity
entity
,
entity
and
entity
例
entity
and
RadiatingSound
例
entity
and
Hearing
例
entity
and
Human
患者
entity
and
entity
體驗者
entity
and
entity
原因
entity
and
entity
體驗者
entity
and
entity
持有期間
entity
and
體驗者
entity
and
Animal
持有期間
entity
and
患者
entity
and
Animal
防止
entity
and
entity
儀器
entity
and
可穿戴物品
(=>
(
attribute
?H
ObsessiveCompulsiveDisorder
)
(
exists
(?COL ?C)
(
and
(
memberType
?COL ?C)
(
or
(
subclass
?C
Investigating
)
(
subclass
?C
Cleaning
))
(=>
(
instance
?CI ?C)
(
and
(
agent
?CI ?H)
(
not
(
wants
?H ?CI)))))))
Medicine.kif 4025-4038
attribute
CognitiveAgent
and
ObsessiveCompulsiveDisorder
Collection
Class
Class
是
Collection
的
member
類別
子類
Class
and
Investigating
子類
Class
and
清潔的
例
Class
I and
Class
agent
Class
I and
CognitiveAgent
想要
CognitiveAgent
and
Class
I
(=>
(
and
(
instance
?SH
SafetyHarness
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?SH))
(
hasPurpose
?SH
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
instrument
?PROC ?SH)
(
patient
?PROC ?PERSON)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?F ?H ?T)
(
and
(
instance
?H
Human
)
(
experiencer
?I ?H)
(
instance
?F
Falling
)
(
experiencer
?F ?H)
(
causes
?F ?I)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)))))
Cars.kif 3389-3417
例
可穿戴物品
and
安全套
例
Animal
and
Animal
穿
Animal
and
可穿戴物品
有目的
可穿戴物品
and
entity
entity
and
entity
例
entity
and
Process
儀器
entity
and
可穿戴物品
患者
entity
and
Animal
子類
entity
and
卡帕
entity
and
例
entity
and
Injuring
entity
entity
and
entity
例
entity
and
Human
體驗者
entity
and
entity
例
entity
and
落下
體驗者
entity
and
entity
原因
entity
and
entity
持有期間
entity
and
體驗者
entity
and
Animal
持有期間
entity
and
患者
entity
and
Animal
防止
entity
and
entity
(=>
(
and
(
attribute
?H1
ADHD
)
(
not
(
attribute
?H2
ADHD
))
(
not
(
equal
?H1 ?H2))
(
instance
?I1 ?IC)
(
instance
?I2 ?IC)
(
subclass
?IC
IntentionalPsychologicalProcess
)
(
agent
?I1 ?H1)
(
agent
?I2 ?H2)
(
duration
(
WhenFn
?I1) ?D1)
(
duration
(
WhenFn
?I2) ?D2))
(
modalAttribute
(
greaterThan
?D2 ?D1)
Likely
))
Medicine.kif 3984-4004
attribute
AutonomousAgent
and
ADHD
attribute
AutonomousAgent
and
ADHD
等於
AutonomousAgent
and
AutonomousAgent
例
Process
and
Class
例
Process
and
Class
子類
Class
and
IntentionalPsychologicalProcess
agent
Process
and
AutonomousAgent
agent
Process
and
AutonomousAgent
持續時間
何時
Process
and
TimeDuration
持續時間
何時
Process
and
TimeDuration
模態屬性
比較多
TimeDuration
and
TimeDuration
and
容易
(=>
(
and
(
subclass
?T1C
Tissue
)
(
subclass
?T2C
Tissue
)
(
instance
?T1 ?T1C)
(
instance
?T2 ?T2C)
(
instance
?H
Human
)
(
part
?T1 ?H)
(
part
?T2 ?H)
(
not
(
equal
?T1C ?T2C))
(
not
(
subclass
?T1C ?T2C))
(
not
(
subclass
?T2C ?T1C))
(
orientation
?T1 ?T2
Adjacent
))
(
modalAttribute
(
exists
(?CT)
(
and
(
instance
?CT
ConnectiveTissue
)
(
between
?T1 ?CT ?T2)))
Likely
))
Merge.kif 15166-15187
子類
Class
and
Tissue
子類
Class
and
Tissue
例
Object
and
Class
例
Object
and
Class
例
Object
and
Human
部分
Object
and
Object
部分
Object
and
Object
等於
Class
and
Class
子類
Class
and
Class
子類
Class
and
Class
方位
Object
,
Object
and
鄰
模態屬性
entity
例
entity
and
ConnectiveTissue
之間
Object
,
entity
and
Object
and
容易
(=>
(
instance
?OBJ
CorpuscularObject
)
(
exists
(?SUBSTANCE1 ?SUBSTANCE2)
(
and
(
subclass
?SUBSTANCE1
Substance
)
(
subclass
?SUBSTANCE2
Substance
)
(
material
?SUBSTANCE1 ?OBJ)
(
material
?SUBSTANCE2 ?OBJ)
(
not
(
equal
?SUBSTANCE1 ?SUBSTANCE2)))))
Merge.kif 1231-1239
例
CorpuscularObject
and
CorpuscularObject
Substance
Substance
子類
Substance
and
Substance
子類
Substance
and
Substance
材料
Substance
and
CorpuscularObject
材料
Substance
and
CorpuscularObject
等於
Substance
and
Substance
(=>
(
and
(
instance
?AREA
LandlockedArea
)
(
subclass
?CLAIM
MaritimeClaimArea
))
(
not
(
maritimeClaimType
?AREA ?CLAIM)))
Geography.kif 983-987
例
GeopoliticalArea
and
內陸地區
子類
海事索賠區
and
海事索賠區
海事索賠區
是
GeopoliticalArea
的
maritime
要求類型
(=>
(
and
(
instance
?CS1 ?CLASS)
(
subclass
?CLASS
CompoundSubstance
)
(
not
(
exists
(?CS2)
(
and
(
instance
?CS2 ?CLASS)
(
part
?CS2 ?CS1))))
(
molecularRatio
?ECLASS ?N ?CLASS)
(
instance
?G
Group
)
(
member
?E ?G)
(
part
?E ?CS1)
(
instance
?E ?ECLASS))
(
memberCount
?G ?N))
Cars.kif 1772-1786
例
Object
and
CompoundSubstance
子類
CompoundSubstance
and
CompoundSubstance
Object
例
Object
and
CompoundSubstance
部分
Object
and
Object
molecularRatio
ElementalSubstance
,
Integer
and
CompoundSubstance
例
Collection
and
Group
會員
Object
and
Collection
部分
Object
and
Object
例
Object
and
ElementalSubstance
Integer
是
Collection
的
member
計數
(=>
(
instance
?TEAM
CrossFunctionalTeam
)
(
exists
(?SKILL ?MEMBER1 ?MEMBER2 ?INST)
(
and
(
subclass
?SKILL
Process
)
(
instance
?MEMBER1
Human
)
(
instance
?MEMBER2
Human
)
(
member
?MEMBER1 ?TEAM)
(
member
?MEMBER2 ?TEAM)
(
hasSkill
?SKILL ?MEMBER1)
(
not
(
hasSkill
?SKILL ?MEMBER2))
(
instance
?INST ?SKILL)
(
inScopeOfInterest
?TEAM ?INST))))
UXExperimentalTerms.kif 2630-2643
例
Collection
and
CrossFunctionalTeam
Process
AutonomousAgent
,
AutonomousAgent
and
Entity
子類
Process
and
Process
例
AutonomousAgent
and
Human
例
AutonomousAgent
and
Human
會員
AutonomousAgent
and
Collection
會員
AutonomousAgent
and
Collection
有技巧
Process
and
AutonomousAgent
有技巧
Process
and
AutonomousAgent
例
Entity
and
Process
在感興趣的範圍內
Collection
and
Entity
(=>
(
immediateSubclass
?CLASS1 ?CLASS2)
(
not
(
exists
(?CLASS3)
(
and
(
subclass
?CLASS3 ?CLASS2)
(
subclass
?CLASS1 ?CLASS3)
(
not
(
equal
?CLASS2 ?CLASS3))
(
not
(
equal
?CLASS1 ?CLASS3))))))
Merge.kif 160-167
直接子類
Class
and
Class
Class
子類
Class
and
Class
子類
Class
and
Class
等於
Class
and
Class
等於
Class
and
Class
(=>
(
and
(
not
(
vegetationType
?REGION ?TYPE))
(
subclass
?TYPE
Plant
)
(
instance
?REGION
GeographicArea
))
(
not
(
exists
(?PLANT)
(
and
(
instance
?PLANT ?TYPE)
(
located
?PLANT ?REGION)))))
Geography.kif 6201-6209
Plant
是
found
在
GeographicArea
子類
Plant
and
Plant
例
GeographicArea
and
GeographicArea
Physical
例
Physical
and
Plant
位於
Physical
and
GeographicArea
(=>
(
immediateInstance
?ENTITY ?CLASS)
(
not
(
exists
(?SUBCLASS)
(
and
(
subclass
?SUBCLASS ?CLASS)
(
not
(
equal
?SUBCLASS ?CLASS))
(
instance
?ENTITY ?SUBCLASS)))))
Merge.kif 98-104
立即實例
Entity
and
Class
Class
子類
Class
and
Class
等於
Class
and
Class
例
Entity
and
Class
(=>
(
and
(
instance
?TEXT ?CLASS)
(
subclass
?CLASS
FictionalText
)
(
authors
?AGENT ?CLASS))
(
exists
(?CONTENT)
(
and
(
subsumesContentInstance
?TEXT ?CONTENT)
(
instance
?CONTENT
Formula
)
(
not
(
believes
?AGENT ?CONTENT)))))
Merge.kif 15431-15440
例
內容承載物理
and
ContentBearingObject
子類
ContentBearingObject
and
虛構的文字
作者
CognitiveAgent
and
ContentBearingObject
Formula
包含內容實例
內容承載物理
and
Formula
例
Formula
and
Formula
相信
CognitiveAgent
and
Formula
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