instance
(=>
(
and
(
antagonistMuscles
?A ?B)
(
instance
?E
Extension
)
(
instrument
?E ?AC)
(
moves
?F ?BC)
(
instance
?AC ?A)
(
instance
?BC ?B)
(
part
?AC ?H)
(
part
?BC ?H)
(
instance
?H
Mammal
))
(
capability
Flexion
instrument
?BC))
Mid-level-ontology.kif 10685-10696
antagonistMuscles
Muscle
and
Muscle
例
Process
and
Extension
儀器
Process
and
Muscle
C
移動
Motion
and
Muscle
C
例
Muscle
C and
Muscle
例
Muscle
C and
Muscle
部分
Muscle
C and
Object
部分
Muscle
C and
Object
例
Object
and
Mammal
能力
Flexion
,
儀器
and
Muscle
C
(=>
(
and
(
antagonistMuscles
?A ?B)
(
instance
?F
Flexion
)
(
instrument
?F ?AC)
(
moves
?F ?BC)
(
instance
?AC ?A)
(
instance
?BC ?B)
(
part
?AC ?H)
(
part
?BC ?H)
(
instance
?H
Mammal
))
(
capability
Extension
instrument
?BC))
Mid-level-ontology.kif 10672-10683
antagonistMuscles
Muscle
and
Muscle
例
Motion
and
Flexion
儀器
Motion
and
Muscle
C
移動
Motion
and
Muscle
C
例
Muscle
C and
Muscle
例
Muscle
C and
Muscle
部分
Muscle
C and
Object
部分
Muscle
C and
Object
例
Object
and
Mammal
能力
Extension
,
儀器
and
Muscle
C
(=>
(
and
(
applicableRelation
?O ?R)
(
instance
?O ?OC)
(
domain
?R 1 ?DC))
(
or
(
equal
?OC ?DC)
(
subclass
?OC ?DC)))
Mid-level-ontology.kif 31387-31394
applicableRelation
Object
and
Relation
例
Object
and
Object
C
域
Relation
, 1 and
Class
等於
Object
C and
Class
子類
Object
C and
Class
(=>
(
and
(
approximateDiameter
?O
(
MeasureFn
?L ?LM))
(
sphereRadius
?S
(
MeasureFn
(
DivisionFn
?L 2.0) ?LM))
(
measure
?S
(
MeasureFn
?V1 ?VM))
(
measure
?O
(
MeasureFn
?V2 ?VM))
(
instance
?LM
UnitOfLength
)
(
instance
?VM
UnitOfVolume
))
(
equal
?V1 ?V2))
Mid-level-ontology.kif 17948-17959
SelfConnectedObject
的
approximate
diameter
是
測量
RealNumber
and
RealNumber
M
Object
的
radius
是
測量
部
RealNumber
and 2.0 and
RealNumber
M
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
測量
SelfConnectedObject
and
測量
RealNumber
and
UnitOfMeasure
例
RealNumber
M and
UnitOfLength
例
UnitOfMeasure
and
UnitOfVolume
等於
RealNumber
and
RealNumber
(=>
(
and
(
arableLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?TOTAL
AreaMeasure
)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?TOTAL)))
(
arableLandArea
?REGION
(
MeasureFn
?AMOUNT ?UNIT)))
Geography.kif 2080-2090
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
arable
土地
大於或等於
RealNumber
and 0.0
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
total
區域
例
RealNumber
and
AreaMeasure
等於
RealNumber
and
乘法
RealNumber
and
RealNumber
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
arable
土地
(=>
(
and
(
arableLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?ARABLE)
(
and
(
instance
?ARABLE
ArableLand
)
(
geographicSubregion
?ARABLE ?REGION)
(
measure
?ARABLE
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2092-2106
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
arable
土地
大於或等於
RealNumber
and 0.0
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
total
區域
例
UnitOfMeasure
and
UnitOfArea
GeographicArea
例
GeographicArea
and
耕地
GeographicArea
是
GeographicArea
的
geographic
次要地區
測量
GeographicArea
and
測量
乘法
RealNumber
and
RealNumber
and
UnitOfMeasure
(=>
(
and
(
attribute
(
GovernmentFn
?AREA) ?TYPE)
(
instance
?TYPE
FormOfGovernment
))
(
governmentType
?AREA ?TYPE))
Government.kif 148-152
attribute
政府
GeopoliticalArea
and
政體
例
政體
and
政體
%2 是 1% 的
government
類別
(=>
(
and
(
attribute
?A ?ATTR)
(
instance
?ATTR
AlbumAttribute
))
(
instance
?A
Album
))
Music.kif 478-482
attribute
Object
and
Object
TTR
例
Object
TTR and
AlbumAttribute
例
Object
and
Album
(=>
(
and
(
attribute
?A
AppraisalAsJustTreatment
)
(
instance
?AJT
AppraisalProcess
)
(
agent
?AJT ?A))
(
exists
(?P ?A2)
(
and
(
instance
?P
Process
)
(
refers
?AJT ?P)
(
agent
?P ?A2)
(
not
(
equal
?A ?A2))
(
patient
?P ?A)
(
wants
?A ?P))))
emotion.kif 374-387
attribute
CognitiveAgent
and
AppraisalAsJustTreatment
例
CognitiveAgent
JT and
AppraisalProcess
agent
CognitiveAgent
JT and
CognitiveAgent
Process
CognitiveAgent
例
Process
and
Process
參照
CognitiveAgent
JT and
Process
agent
Process
and
CognitiveAgent
等於
CognitiveAgent
and
CognitiveAgent
患者
Process
and
CognitiveAgent
想要
CognitiveAgent
and
Process
(=>
(
and
(
attribute
?A
AppraisalAsUnjustTreatment
)
(
instance
?AUJ
AppraisalProcess
)
(
agent
?AUJ ?A))
(
exists
(?P ?A2)
(
and
(
instance
?P
Process
)
(
refers
?AUJ ?P)
(
agent
?P ?A2)
(
not
(
equal
?A ?A2))
(
patient
?P ?A)
(
not
(
wants
?A ?P)))))
emotion.kif 349-363
attribute
CognitiveAgent
and
AppraisalAsUnjustTreatment
例
CognitiveAgent
UJ and
AppraisalProcess
agent
CognitiveAgent
UJ and
CognitiveAgent
Process
CognitiveAgent
例
Process
and
Process
參照
CognitiveAgent
UJ and
Process
agent
Process
and
CognitiveAgent
等於
CognitiveAgent
and
CognitiveAgent
患者
Process
and
CognitiveAgent
想要
CognitiveAgent
and
Process
(=>
(
and
(
attribute
?A
Founder
)
(
instance
?A
Human
))
(
exists
(?PROC)
(
and
(
instance
?PROC
Founding
)
(
agent
?PROC ?A))))
Biography.kif 223-230
attribute
AutonomousAgent
and
Founder
例
AutonomousAgent
and
Human
Process
例
Process
and
創建
agent
Process
and
AutonomousAgent
(=>
(
and
(
attribute
?ACCT ?ATTR)
(
instance
?ATTR
AccountAttribute
))
(
instance
?ACCT
UserAccount
))
UXExperimentalTerms.kif 648-652
attribute
Object
and
Attribute
例
Attribute
and
AccountAttribute
例
Object
and
用戶帳號
(=>
(
and
(
attribute
?ACTOR
VoiceActor
)
(
instance
?DRAMA
DramaticActing
)
(
agent
?DRAMA ?ACTOR)
(
instance
?SPEAK
LinguisticCommunication
)
(
agent
?SPEAK ?ACTOR)
(
subProcess
?SPEAK ?DRAMA))
(
and
(
not
(
exists
(?S ?VIEWER)
(
and
(
instance
?S
Seeing
)
(
patient
?S ?ACTOR)
(
agent
?S ?VIEWER))))
(
exists
(?H ?VIEWER)
(
and
(
instance
?H
Hearing
)
(
patient
?H ?ACTOR)
(
agent
?H ?VIEWER)))))
Biography.kif 757-776
attribute
AutonomousAgent
and
配音演員
例
Process
and
戲劇表演
agent
Process
and
AutonomousAgent
例
Process
and
語言交流
agent
Process
and
AutonomousAgent
子過程
Process
and
Process
Process
AutonomousAgent
例
Process
and
Seeing
患者
Process
and
AutonomousAgent
agent
Process
and
AutonomousAgent
Process
AutonomousAgent
例
Process
and
Hearing
患者
Process
and
AutonomousAgent
agent
Process
and
AutonomousAgent
(=>
(
and
(
attribute
?AGENT
(
MemberFn
?ORG))
(
instance
?AGENT
AutonomousAgent
)
(
instance
?ORG
Organization
))
(
member
?AGENT ?ORG))
Government.kif 1774-1779
attribute
Object
and
Organization
的
member
例
Object
and
AutonomousAgent
例
Organization
and
Organization
會員
Object
and
Organization
(=>
(
and
(
attribute
?AREA
CommunistState
)
(
instance
?AREA
Nation
))
(
economyType
?AREA
CentrallyPlannedEconomy
))
Economy.kif 865-869
attribute
AutonomousAgent
and
共產主義國家
例
AutonomousAgent
and
Nation
中央計劃經濟
是
AutonomousAgent
的
economy
類別
(=>
(
and
(
attribute
?ATHLETE ?PA)
(
instance
?PA
ProfessionalAthlete
))
(
exists
(?GAME)
(
and
(
instance
?GAME
Sport
)
(
contestParticipant
?GAME ?ATHLETE))))
Sports.kif 1363-1370
attribute
AutonomousAgent
and
Attribute
例
Attribute
and
ProfessionalAthlete
Contest
例
Contest
and
Sport
AutonomousAgent
participates
在
Contest
(=>
(
and
(
attribute
?ATHLETE ?PA)
(
instance
?PA
ProfessionalAthlete
))
(
hasSkill
Sport
?ATHLETE))
Sports.kif 1357-1361
attribute
AutonomousAgent
and
Attribute
例
Attribute
and
ProfessionalAthlete
有技巧
Sport
and
AutonomousAgent
(=>
(
and
(
attribute
?DEVICE ?ATTRIBUTE)
(
instance
?ATTRIBUTE
DeviceAttribute
))
(
instance
?DEVICE
Device
))
Mid-level-ontology.kif 1833-1837
attribute
Object
and
Attribute
例
Attribute
and
設備屬性
例
Object
and
Device
(=>
(
and
(
attribute
?EXP ?ATTR)
(
instance
?ATTR
ExperimentAttribute
))
(
instance
?EXP
Experimenting
))
UXExperimentalTerms.kif 4407-4411
attribute
Object
and
Attribute
例
Attribute
and
ExperimentAttribute
例
Object
and
試驗
(=>
(
and
(
attribute
?F
DecafAttribute
)
(
instance
?F
Food
))
(
not
(
exists
(?C)
(
and
(
instance
?C
Caffeine
)
(
piece
?C ?F)))))
Food.kif 437-445
attribute
Substance
and
DecafAttribute
例
Substance
and
Food
Substance
例
Substance
and
Caffeine
片
Substance
and
Substance
(=>
(
and
(
attribute
?FOOD1
FamilyStylePortion
)
(
measure
?FOOD1
(
MeasureFn
?MEAS1 ?U))
(
not
(
attribute
?FOOD2
FamilyStylePortion
))
(
measure
?FOOD2
(
MeasureFn
?MEAS2 ?U))
(
instance
?FOOD1 ?CLASS)
(
instance
?FOOD2 ?CLASS)
(
instance
?U
UnitOfMeasure
))
(
greaterThan
?MEAS1 ?MEAS2))
Dining.kif 1165-1176
attribute
Object
and
FamilyStylePortion
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
attribute
Object
and
FamilyStylePortion
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
例
Object
and
Class
例
Object
and
Class
例
UnitOfMeasure
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
(=>
(
and
(
attribute
?H ?D)
(
diseaseTreatment
?D ?P)
(
instance
?TP
TherpeuticProcess
)
(
agent
?TP ?DOC)
(
patient
?TP ?H)
(
attribute
?DOC
MedicalDoctor
))
(
modalAttribute
(
instance
?TP ?P)
Possibility
))
Medicine.kif 5824-5834
attribute
Object
and
DiseaseOrSyndrome
diseaseTreatment
DiseaseOrSyndrome
and
TherapeuticProcess
例
Process
and
TherpeuticProcess
agent
Process
and
DiseaseOrSyndrome
OC
患者
Process
and
Object
attribute
DiseaseOrSyndrome
OC and
醫生
模態屬性
例
Process
and
TherapeuticProcess
and
可能性
(=>
(
and
(
attribute
?H
Anemia
)
(
instance
?B
Blood
)
(
part
?B ?H)
(
attribute
?H
Female
)
(
measure
?B
(
MeasureFn
0.1
Liter
))
(
instance
?HE
Hemoglobin
)
(
part
?HE ?B)
(
not
(
instance
?HE2
Hemoglobin
))
(
not
(
equal
?HE ?HE2))
(
part
?H2 ?B)
(
measure
?HE
(
MeasureFn
?N
Gram
)))
(
lessThan
?N 12))
Medicine.kif 172-187
attribute
Object
and
Anemia
例
Object
and
Blood
部分
Object
and
Object
attribute
Object
and
女
測量
Object
and
測量
0.1 and
升
例
Object
E and
Hemoglobin
部分
Object
E and
Object
例
Object
E2 and
Hemoglobin
等於
Object
E and
Object
E2
部分
Object
and
Object
測量
Object
E and
測量
RealNumber
and
公克
少於
RealNumber
and 12
(=>
(
and
(
attribute
?H
Anemia
)
(
instance
?B
Blood
)
(
part
?B ?H)
(
attribute
?H
Male
)
(
measure
?B
(
MeasureFn
0.1
Liter
))
(
instance
?HE
Hemoglobin
)
(
part
?HE ?B)
(
not
(
instance
?HE2
Hemoglobin
))
(
not
(
equal
?HE ?HE2))
(
part
?H2 ?B)
(
measure
?HE
(
MeasureFn
?N
Gram
)))
(
lessThan
?N 13))
Medicine.kif 155-170
attribute
Object
and
Anemia
例
Object
and
Blood
部分
Object
and
Object
attribute
Object
and
男
測量
Object
and
測量
0.1 and
升
例
Object
E and
Hemoglobin
部分
Object
E and
Object
例
Object
E2 and
Hemoglobin
等於
Object
E and
Object
E2
部分
Object
and
Object
測量
Object
E and
測量
RealNumber
and
公克
少於
RealNumber
and 13
(=>
(
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
容易
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