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:
(=>
(
attribute
?P
Researcher
)
(
exists
(?S)
(
and
(
subclass
?S
Science
)
(
hasExpertise
?P ?S))))
Mid-level-ontology.kif 18896-18901
Researcher
は
人[人間]
の
attribute
では %n
研究分野
研究分野
は
Science
の
subclass
では %n
hasExpertise
人[人間]
and
研究分野
(=>
(
and
(
instance
?V
ViolentContest
)
(
patient
?V ?H)
(
attribute
?H
(
InjuryCausedFn
?PC))
(
attribute
?H
(
ImpairedBodyPartFn
Airway
)))
(
modalAttribute
(
or
(
subclass
?PC
Combustion
)
(
exists
(?FI)
(
and
(
instance
?I
Injuring
)
(
located
?I ?F)
(
instance
?F
Face
)
(
patient
?I ?H))))
Likely
))
Medicine.kif 698-715
工程
は
激しいコンテスト
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
InjuryCausedFn
工程
は
オブジェクト
の
attribute
では %n
ImpairedBodyPartFn
Airway
は
オブジェクト
の
attribute
では %n
ステートメント
工程
は
燃焼
の
subclass
では %n
エンティティー
エンティティー
は
けが
の
instance
では %n
エンティティー
は
エンティティー
に
located
して %n
エンティティー
は
Face
の
instance
では %n
オブジェクト
は
エンティティー
の
patient
では %n には
Likely
の
modal
force
が ある
(=>
(
attribute
?H
ArtCritic
)
(
hasPurpose
?H
(
exists
(?AW ?T ?CLASS)
(
and
(
instance
?AW
ArtWork
)
(
overlapsTemporally
(
WhenFn
?AW)
(
WhenFn
?H))
(
instance
?T ?CLASS)
(
subclass
?CLASS
Article
)
(
authors
?H ?CLASS)
(
refers
?T ?AW)))))
Mid-level-ontology.kif 21089-21101
ArtCritic
は
オブジェクト
の
attribute
では %n
オブジェクト
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
芸術作品
の
instance
では %n
オブジェクト
の
time
の existence は
エンティティー
の
time
の existence と
overlap
s %n{dない}
エンティティー
は
エンティティー
の
instance
では %n
エンティティー
は
記事
の
subclass
では %n
オブジェクト
は
エンティティー
の
author
では %n
エンティティー
は
エンティティー
への
reference
を includes %n{ない} の 目的 %n{ない}
(=>
(
and
(
or
(
instance
?ROLE
OccupationalTrade
)
(
instance
?ROLE
Profession
))
(
holdsDuring
?T1
(
attribute
?HUMAN ?ROLE)))
(
exists
(?FIELD)
(
and
(
subclass
?FIELD
FieldOfStudy
)
(
holdsDuring
?T1
(
hasExpertise
?HUMAN ?FIELD)))))
Mid-level-ontology.kif 8293-8302
エンティティー
は
OccupationalTrade
の
instance
では %n
エンティティー
は
Profession
の
instance
では %n
エンティティー
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
クラス
クラス
は
研究分野
の
subclass
では %n
hasExpertise
エンティティー
and
クラス
は
時間位置
の
during
holds %n{ない}
(=>
(
attribute
?DOCTOR
MedicalDoctor
)
(
exists
(?PROCESS1 ?PROCESS2)
(
and
(
subclass
?PROCESS1
DiagnosticProcess
)
(
subclass
?PROCESS2
TherapeuticProcess
)
(
capability
?PROCESS1
agent
?DOCTOR)
(
capability
?PROCESS2
agent
?DOCTOR))))
Mid-level-ontology.kif 21036-21043
MedicalDoctor
は
オブジェクト
の
attribute
では %n
工程
工程
工程
は
診断プロセス
の
subclass
では %n
工程
は
治療経過
の
subclass
では %n
オブジェクト
は
工程
を
agent
として行う
capable
では %n
オブジェクト
は
工程
を
agent
として行う
capable
では %n
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Periodical
))
(
holdsDuring
?T1
(
attribute
?AGENT
PeriodicalPublishers
)))
Media.kif 1906-1910
エンティティー
は
クラス
を
publishe
s %n{ない} は
時間位置
の
during
holds %n{ない}
クラス
は
周期的
の
subclass
では %n
PeriodicalPublishers
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
MusicalComposition
))
(
holdsDuring
?T1
(
attribute
?AGENT
MusicPublishers
)))
Media.kif 1888-1892
エンティティー
は
クラス
を
publishe
s %n{ない} は
時間位置
の
during
holds %n{ない}
クラス
は
MusicalComposition
の
subclass
では %n
MusicPublishers
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
barometricPressure
?X
(
MeasureFn
?PRES
InchMercury
))
(
greaterThan
?PRES 29.92)
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
lessThan
?TEMP ?MELT))
(
attribute
?X
Solid
))
Merge.kif 13820-13829
オブジェクト
は
純物質
の
instance
では %n
純物質
は
純物質
の
subclass
では %n
meltingPoint
純物質
and
実数
の
KelvinDegree
(s)
barometricPressure
オブジェクト
and
実数
の
InchMercury
(s)
実数
は 29.92 より
greater
では %n
オブジェクト
の
measure
は
実数
の
KelvinDegree
(s) では %n
実数
は
実数
より
less
では %n
Solid
は
オブジェクト
の
attribute
では %n
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Book
))
(
holdsDuring
?T1
(
attribute
?AGENT
BookPublishers
)))
Media.kif 1900-1904
エンティティー
は
クラス
を
publishe
s %n{ない} は
時間位置
の
during
holds %n{ない}
クラス
は
本
の
subclass
では %n
BookPublishers
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
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
ObsessiveCompulsiveDisorder
は
認識エージェント
の
attribute
では %n
コレクション
クラス
memberType
コレクション
and
クラス
クラス
は
捜査
の
subclass
では %n
クラス
は
Cleaning
の
subclass
では %n
クラス
I は
クラス
の
instance
では %n
認識エージェント
は
クラス
I の
agent
では %n
認識エージェント
は
クラス
I を
want
ない
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Newspaper
))
(
holdsDuring
?T1
(
attribute
?AGENT
NewspaperPublishers
)))
Media.kif 1912-1916
エンティティー
は
クラス
を
publishe
s %n{ない} は
時間位置
の
during
holds %n{ない}
クラス
は
Newspaper
の
subclass
では %n
NewspaperPublishers
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
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
Writer
は
AutonomousAgent
の
attribute
では %n
エンティティー
は
コンテンツベアリングオブジェクト
の
instance
では %n
コンテンツベアリングオブジェクト
は
テキスト
の
subclass
では %n
コンテンツベアリングオブジェクト
は
Document
の
subclass
では %n
工程
は
執筆
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
result
では %n
AutonomousAgent
は
コンテンツベアリングオブジェクト
の
author
では %n
(=>
(
and
(
equal
?X
(
AttrFn
?CLASS ?ATTR))
(
instance
?I ?X))
(
and
(
instance
?I ?CLASS)
(
subclass
?X ?CLASS)
(
attribute
?I ?ATTR)))
Merge.kif 1780-1788
オブジェクト
は
AttrFn
オブジェクト
and
属性
と
equal
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
オブジェクト
は
オブジェクト
の
subclass
では %n
属性
は
オブジェクト
の
attribute
では %n
(=>
(
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
?ROOM
Oversized
)
(
immediateInstance
?ROOM ?HOTELUNIT)
(
subclass
?HOTELUNIT
HotelUnit
))
(
exists
(?NORMAL ?AREA1 ?AREA2 ?U)
(
and
(
immediateInstance
?NORMAL ?HOTELUNIT)
(
instance
?U
UnitOfArea
)
(
measure
?NORMAL
(
MeasureFn
?AREA1 ?U))
(
measure
?ROOM
(
MeasureFn
?AREA2 ?U))
(
instance
?AREA1
AreaMeasure
)
(
instance
?AREA2
AreaMeasure
)
(
greaterThan
?AREA2 ?AREA1))))
Hotel.kif 1186-1201
Oversized
は
オブジェクト
の
attribute
では %n
オブジェクト
は
クラス
の
immediate
の インスタンス では %n
クラス
は
HotelUnit
の
subclass
では %n
物理
実数
,
実数
and
測定単位
物理
は
クラス
の
immediate
の インスタンス では %n
測定単位
は
UnitOfArea
の
instance
では %n
物理
の
measure
は
実数
の
測定単位
(s) では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
実数
は
面積測定
の
instance
では %n
実数
は
面積測定
の
instance
では %n
実数
は
実数
より
greater
では %n
(=>
(
and
(
attribute
?X
DutyFree
)
(
instance
?X
Store
))
(
exists
(?AREA ?OBJ ?O ?SELL)
(
and
(
instance
?AREA
GeopoliticalArea
)
(
located
?X ?AREA)
(
subclass
?O
Object
)
(
importCommodityType
?AREA ?O)
(
instance
?OBJ ?O)
(
instance
?SELL
Selling
)
(
patient
?SELL ?OBJ)
(
located
?SELL ?X))))
Hotel.kif 1478-1491
DutyFree
は
オブジェクト
の
attribute
では %n
オブジェクト
は
Store
の
instance
では %n
地政学的地域
エンティティー
,
オブジェクト
and
工程
地政学的地域
は
地政学的地域
の
instance
では %n
オブジェクト
は
地政学的地域
に
located
して %n
オブジェクト
は
オブジェクト
の
subclass
では %n
importCommodityType
地政学的地域
and
オブジェクト
エンティティー
は
オブジェクト
の
instance
では %n
工程
は
販売
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
オブジェクト
に
located
して %n
(=>
(
attribute
?H
NewsReporter
)
(
hasPurpose
?H
(
exists
(?EV ?T ?NEWS)
(
and
(
instance
?EV
Process
)
(
overlapsTemporally
(
WhenFn
?EV)
(
WhenFn
?H))
(
instance
?T ?NEWS)
(
or
(
subclass
?NEWS
Newspaper
)
(
subclass
?NEWS
NewsProgram
))
(
authors
?H ?NEWS)
(
refers
?T ?EV)))))
Mid-level-ontology.kif 21066-21080
NewsReporter
は
オブジェクト
の
attribute
では %n
オブジェクト
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
工程
の
instance
では %n
オブジェクト
の
time
の existence は
エンティティー
の
time
の existence と
overlap
s %n{dない}
エンティティー
は
エンティティー
の
instance
では %n
エンティティー
は
Newspaper
の
subclass
では %n
エンティティー
は
NewsProgram
の
subclass
では %n
オブジェクト
は
エンティティー
の
author
では %n
エンティティー
は
エンティティー
への
reference
を includes %n{ない} の 目的 %n{ない}
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Text
))
(
holdsDuring
?T1
(
attribute
?AGENT
InformationIndustries
)))
Media.kif 1894-1898
エンティティー
は
クラス
を
publishe
s %n{ない} は
時間位置
の
during
holds %n{ない}
クラス
は
テキスト
の
subclass
では %n
InformationIndustries
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
barometricPressure
?X
(
MeasureFn
?PRES
InchMercury
))
(
greaterThan
29.92 ?PRES)
(
boilingPoint
?Y
(
MeasureFn
?BOIL
KelvinDegree
))
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
greaterThan
?TEMP ?BOIL))
(
attribute
?X
Gas
))
Merge.kif 13798-13807
オブジェクト
は
純物質
の
instance
では %n
純物質
は
純物質
の
subclass
では %n
barometricPressure
オブジェクト
and
実数
の
InchMercury
(s) 29.92 は
実数
より
greater
では %n
boilingPoint
純物質
and
実数
の
KelvinDegree
(s)
オブジェクト
の
measure
は
実数
の
KelvinDegree
(s) では %n
実数
は
実数
より
greater
では %n
Gas
は
オブジェクト
の
attribute
では %n
(=>
(
attribute
?H
Pulmonologist
)
(
exists
(?P1 ?P2 ?PAT ?L)
(
and
(
subclass
?PROCESS1
DiagnosticProcess
)
(
subclass
?PROCESS2
TherapeuticProcess
)
(
patient
?P1 ?PAT)
(
patient
?P2 ?PAT)
(
instance
?L
Lung
)
(
part
?L ?PAT)
(
located
?P1
Lung
)
(
located
?P2
Lung
))))
Medicine.kif 4481-4492
Pulmonologist
は
オブジェクト
の
attribute
では %n
工程
工程
,
オブジェクト
and
オブジェクト
クラス
は
診断プロセス
の
subclass
では %n
クラス
は
治療経過
の
subclass
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
は
Lung
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
工程
は
Lung
に
located
して %n
工程
は
Lung
に
located
して %n
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
boilingPoint
?Y
(
MeasureFn
?BOIL
KelvinDegree
))
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
greaterThan
?TEMP ?MELT)
(
lessThan
?TEMP ?BOIL))
(
attribute
?X
Liquid
))
Merge.kif 13809-13818
オブジェクト
は
純物質
の
instance
では %n
純物質
は
純物質
の
subclass
では %n
boilingPoint
純物質
and
実数
の
KelvinDegree
(s)
meltingPoint
純物質
and
実数
の
KelvinDegree
(s)
オブジェクト
の
measure
は
実数
の
KelvinDegree
(s) では %n
実数
は
実数
より
greater
では %n
実数
は
実数
より
less
では %n
Liquid
は
オブジェクト
の
attribute
では %n
(
equal
(
FitForMilitaryServiceMaleFn
?AREA)
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
attribute
?PERSON
Male
)
(
subclass
?PROCESS
MilitaryProcess
)
(
fitForMilitaryService
?PERSON ?PROCESS)
(
militaryAge
?AREA ?MILITARYAGE)
(
age
?PERSON ?AGE)
(
greaterThanOrEqualTo
?AGE ?MILITARYAGE)
(
inhabits
?PERSON ?AREA)))))
Military.kif 895-906
FitForMilitaryServiceMaleFn
地政学的地域
は
エンティティー
class
の
instances
の数 と
equal
では %n
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