attribute
(=>
(
and
(
attribute
?C
Collectible
)
(
hasPurpose
?C ?P))
(
exists
(?H ?P2)
(
and
(
instance
?H
Human
)
(
wants
?H ?C)
(
desires
?H ?P2)
(
entails
?P2
(
possesses
?H ?C))
(
not
(
equal
?P ?P2)))))
Mid-level-ontology.kif 29507-29519
Collectible
は
オブジェクト
の
attribute
では %n
オブジェクト
は
公式
の 目的 %n{ない}
認識エージェント
公式
2
認識エージェント
は
人[人間]
の
instance
では %n
認識エージェント
は
オブジェクト
を
want
s %n{ない}
認識エージェント
が
公式
2 を
desire
s %n{ない}
公式
2 は
認識エージェント
は
オブジェクト
を
possess
es %n{ない} を
entail
s %n{ない}
公式
は
公式
2 と
equal
では
(=>
(
and
(
attribute
?D
DeviceDamaged
)
(
hasPurpose
?D ?F))
(
not
(
modalAttribute
?F
Possibility
)))
Mid-level-ontology.kif 29458-29463
DeviceDamaged
は
オブジェクト
の
attribute
では %n
オブジェクト
は
公式
の 目的 %n{ない}
ステートメント
公式
には
Possibility
の
modal
force
が ない %p{ある}
(=>
(
and
(
attribute
?D
DeviceNormal
)
(
hasPurpose
?D ?F))
(
modalAttribute
?F
Possibility
))
Mid-level-ontology.kif 29431-29435
DeviceNormal
は
オブジェクト
の
attribute
では %n
オブジェクト
は
公式
の 目的 %n{ない}
ステートメント
公式
には
Possibility
の
modal
force
が ある
(=>
(
and
(
attribute
?DEVICE ?ATTRIBUTE)
(
instance
?ATTRIBUTE
DeviceAttribute
))
(
instance
?DEVICE
Device
))
Mid-level-ontology.kif 1833-1837
属性
は
オブジェクト
の
attribute
では %n
属性
は
DeviceAttribute
の
instance
では %n
オブジェクト
は
デバイス
の
instance
では %n
(=>
(
and
(
attribute
?DEVICE
Functioning
)
(
hasPurpose
?DEVICE ?PROP))
(
truth
?PROP
True
))
Mid-level-ontology.kif 1844-1848
Functioning
は
オブジェクト
の
attribute
では %n
オブジェクト
は
公式
の 目的 %n{ない}
公式
is
True
%n
(=>
(
and
(
attribute
?DEVICE
Malfunctioning
)
(
hasPurpose
?DEVICE ?PROP))
(
truth
?PROP
False
))
Mid-level-ontology.kif 1854-1858
Malfunctioning
は
オブジェクト
の
attribute
では %n
オブジェクト
は
公式
の 目的 %n{ない}
公式
is
False
%n
(=>
(
and
(
attribute
?EXP ?ATTR)
(
instance
?ATTR
ExperimentAttribute
))
(
instance
?EXP
Experimenting
))
UXExperimentalTerms.kif 4407-4411
属性
は
オブジェクト
の
attribute
では %n
属性
は
ExperimentAttribute
の
instance
では %n
オブジェクト
は
Experimenting
の
instance
では %n
(=>
(
and
(
attribute
?F
DecafAttribute
)
(
instance
?F
Food
))
(
not
(
exists
(?C)
(
and
(
instance
?C
Caffeine
)
(
piece
?C ?F)))))
Food.kif 437-445
DecafAttribute
は
物質
の
attribute
では %n
物質
は
Food
の
instance
では %n
物質
物質
は
Caffeine
の
instance
では %n
物質
は
物質
の
piece
では %n
(=>
(
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
FamilyStylePortion
は
オブジェクト
の
attribute
では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
FamilyStylePortion
は
オブジェクト
の
attribute
では
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
オブジェクト
は
クラス
の
instance
では %n
オブジェクト
は
クラス
の
instance
では %n
測定単位
は
測定単位
の
instance
では %n
実数
は
実数
より
greater
では %n
(=>
(
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
では %n
diseaseTreatment
病気または症候群
and
治療経過
工程
は
TherpeuticProcess
の
instance
では %n
病気または症候群
OC は
工程
の
agent
では %n
オブジェクト
は
工程
の
patient
では %n
MedicalDoctor
は
病気または症候群
OC の
attribute
では %n
ステートメント
工程
は
治療経過
の
instance
では %n には
Possibility
の
modal
force
が ある
(=>
(
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
Anemia
は
オブジェクト
の
attribute
では %n
オブジェクト
は
血
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
Female
は
オブジェクト
の
attribute
では %n
オブジェクト
の
measure
は 0.1 の
Liter
(s) では %n
オブジェクト
E は
Hemoglobin
の
instance
では %n
オブジェクト
E は
オブジェクト
の
part
では %n
オブジェクト
E2 は
Hemoglobin
の
instance
では
オブジェクト
E は
オブジェクト
E2 と
equal
では
オブジェクト
2 は
オブジェクト
の
part
では %n
オブジェクト
E の
measure
は
実数
の
Gram
(s) では %n
実数
は 12 より
less
では %n
(=>
(
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
Anemia
は
オブジェクト
の
attribute
では %n
オブジェクト
は
血
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
Male
は
オブジェクト
の
attribute
では %n
オブジェクト
の
measure
は 0.1 の
Liter
(s) では %n
オブジェクト
E は
Hemoglobin
の
instance
では %n
オブジェクト
E は
オブジェクト
の
part
では %n
オブジェクト
E2 は
Hemoglobin
の
instance
では
オブジェクト
E は
オブジェクト
E2 と
equal
では
オブジェクト
2 は
オブジェクト
の
part
では %n
オブジェクト
E の
measure
は
実数
の
Gram
(s) では %n
実数
は 13 より
less
では %n
(=>
(
and
(
attribute
?H
Healthy
)
(
restingBreathingRate
?H ?R))
(
and
(
greaterThanOrEqualTo
?R 12)
(
greaterThanOrEqualTo
16 ?R)))
Medicine.kif 359-365
Healthy
は
哺乳動物
の
attribute
では %n
restingBreathingRate
哺乳動物
and
整数
整数
は 12
greater
では %n 16 は
整数
greater
では %n
(=>
(
and
(
attribute
?H
Muslim
)
(
equal
(
WealthFn
?H) ?W))
(
modalAttribute
(
exists
(?Z ?T ?U ?Y ?C)
(
and
(
instance
?Z
Zakat
)
(
instance
?Y
Year
)
(
during
?Y
(
WhenFn
?H))
(
holdsDuring
?Y
(
attribute
?H
FullyFormed
))
(
agent
?Z ?H)
(
patient
?Z ?T)
(
monetaryValue
?T
(
MeasureFn
?C ?U))
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?C
(
MultiplicationFn
?W 0.025))))
Obligation
))
ArabicCulture.kif 204-223
Muslim
は
AutonomousAgent
の
attribute
では %n
AutonomousAgent
の所有物の
value
は
通貨測定
と
equal
では %n
ステートメント
エンティティー
エンティティー
,
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
Zakat
の
instance
では %n
エンティティー
は
年
の
instance
では %n
エンティティー
は
AutonomousAgent
の
time
の existence の
during
に takes %n{ない}
FullyFormed
は
AutonomousAgent
の
attribute
では %n は
エンティティー
の
during
holds %n{ない}
AutonomousAgent
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
の
value
は
エンティティー
の
エンティティー
(s) では %n
エンティティー
は
UnitOfCurrency
の
instance
では %n
エンティティー
は
通貨測定
+ 0.025 より
greater
では %n には
Obligation
の
modal
force
が ある
(=>
(
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
ADHD
は
AutonomousAgent
の
attribute
では %n
ADHD
は
AutonomousAgent
の
attribute
では
AutonomousAgent
は
AutonomousAgent
と
equal
では
工程
は
クラス
の
instance
では %n
工程
は
クラス
の
instance
では %n
クラス
は
意図的な心理的プロセス
の
subclass
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
の
time
の existence の
duration
は
時間分
では %n
工程
の
time
の existence の
duration
は
時間分
では %n
ステートメント
時間分
は
時間分
より
greater
では %n には
Likely
の
modal
force
が ある
(=>
(
and
(
attribute
?I
Inhabited
)
(
instance
?I
Region
))
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
inhabits
?H ?I))))
Mid-level-ontology.kif 30120-30127
Inhabited
は
オブジェクト
の
attribute
では %n
オブジェクト
は
地域
の
instance
では %n
物
物
は
人[人間]
の
instance
では %n
物
は
オブジェクト
に
live
s %n{ない}
(=>
(
and
(
attribute
?INDIVIDUAL ?CH)
(
instance
?CH
Christian
))
(
member
?INDIVIDUAL
Christianity
))
People.kif 795-799
属性
は
オブジェクト
の
attribute
では %n
属性
は
Christian
の
instance
では %n
オブジェクト
は
Christianity
の
member
では %n
(=>
(
and
(
attribute
?LISTING ?ATTRIBUTE)
(
instance
?ATTRIBUTE
ListingAttribute
))
(
instance
?LISTING
WebListing
))
UXExperimentalTerms.kif 299-303
属性
は
オブジェクト
の
attribute
では %n
属性
は
ListingAttribute
の
instance
では %n
オブジェクト
は
WebListing
の
instance
では %n
(=>
(
and
(
attribute
?M
DemoRecording
)
(
instance
?M
Recording
))
(
hasPurpose
?M
(
exists
(?D ?G ?MUSIC)
(
and
(
instance
?D
Demonstrating
)
(
record
?M ?MUSIC)
(
patient
?D ?MUSIC)
(
destination
?D ?G)
(
instance
?G
GroupOfPeople
)))))
Music.kif 408-419
DemoRecording
は
オブジェクト
の
attribute
では %n
オブジェクト
は
Recording
の
instance
では %n
オブジェクト
は
エンティティー
エンティティー
and
オブジェクト
USIC
エンティティー
は
Demonstrating
の
instance
では %n
record
オブジェクト
and
オブジェクト
USIC
オブジェクト
USIC は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
に
end
s %n{ない}
エンティティー
は
GroupOfPeople
の
instance
では %n の 目的 %n{ない}
(=>
(
and
(
attribute
?M
LiveRecording
)
(
instance
?M
Recording
))
(
exists
(?P)
(
and
(
instance
?P
Performance
)
(
record
?M ?P))))
Music.kif 378-385
LiveRecording
は
コンテンツベアリングオブジェクト
の
attribute
では %n
コンテンツベアリングオブジェクト
は
Recording
の
instance
では %n
物理
物理
は
Performance
の
instance
では %n
record
コンテンツベアリングオブジェクト
and
物理
(=>
(
and
(
attribute
?M
MashupRecording
)
(
instance
?M
Recording
))
(
exists
(?M1 ?M2 ?S1 ?S2)
(
and
(
musicInterpretation
?M1 ?S1)
(
musicInterpretation
?M2 ?S2)
(
not
(
equal
?S1 ?S2))
(
part
?M1 ?M)
(
part
?M2 ?M))))
Music.kif 426-436
MashupRecording
は
オブジェクト
の
attribute
では %n
オブジェクト
は
Recording
の
instance
では %n
オブジェクト
1
オブジェクト
2,
音楽
and
音楽
musicInterpretation
オブジェクト
1 and
音楽
musicInterpretation
オブジェクト
2 and
音楽
音楽
は
音楽
と
equal
では
オブジェクト
1 は
オブジェクト
の
part
では %n
オブジェクト
2 は
オブジェクト
の
part
では %n
(=>
(
and
(
attribute
?M
RemixRecording
)
(
instance
?M
MusicRecording
))
(
exists
(?O ?A)
(
equal
?M
(
RemixFn
?O ?A))))
Music.kif 444-449
RemixRecording
は
MusicRecording
の
attribute
では %n
MusicRecording
は
MusicRecording
の
instance
では %n
MusicRecording
認識エージェント
MusicRecording
は
RemixFn
MusicRecording
and
認識エージェント
と
equal
では %n
(=>
(
and
(
attribute
?M
StudioRecording
)
(
instance
?M
Recording
))
(
exists
(?P ?S)
(
and
(
record
?M ?P)
(
eventLocated
?P ?S)
(
instance
?S
RecordingStudio
))))
Music.kif 392-400
StudioRecording
は
コンテンツベアリングオブジェクト
の
attribute
では %n
コンテンツベアリングオブジェクト
は
Recording
の
instance
では %n
工程
オブジェクト
record
コンテンツベアリングオブジェクト
and
工程
eventLocated
工程
and
オブジェクト
オブジェクト
は
RecordingStudio
の
instance
では %n
(=>
(
and
(
attribute
?MILITARY
PeaceState
)
(
instance
?MILITARY
MilitaryOrganization
)
(
leaderPosition
?MILITARY ?LEADER))
(
subordinatePosition
?MILITARY ?LEADER
SecretaryOfDefense
))
MilitaryPersons.kif 461-466
PeaceState
は
組織
の
attribute
では %n
組織
は
MilitaryOrganization
の
instance
では %n
leaderPosition
組織
and
ポジション
subordinatePosition
組織
,
ポジション
and
SecretaryOfDefense
(=>
(
and
(
attribute
?MILITARY
WarState
)
(
instance
?MILITARY
MilitaryOrganization
)
(
leaderPosition
?MILITARY ?LEADER))
(
subordinatePosition
?MILITARY ?LEADER
President
))
MilitaryPersons.kif 473-478
WarState
は
組織
の
attribute
では %n
組織
は
MilitaryOrganization
の
instance
では %n
leaderPosition
組織
and
ポジション
subordinatePosition
組織
,
ポジション
and
President
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