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
subclass
Sigma KEE - subclass
subclass
appearance as argument number 1
(
documentation
subclass
ChineseLanguage
"(
subclass
?CLASS1 ?CLASS2) 的意思是 ?CLASS1 是 ?CLASS2 的
subclass
,也就是说, ?CLASS1 的每一个
instance
同时也是 ?CLASS2 的一个
instance
。一个
Class
可以具有多个超类别和子类别。")
chinese_format.kif 1371-1373
(
documentation
subclass
EnglishLanguage
"(
subclass
?CLASS1 ?CLASS2) means that ?CLASS1 is a
subclass
of ?CLASS2, i.e. every
instance
of ?CLASS1 is also an
instance
of ?CLASS2. A
Class
may have multiple superclasses and subclasses.")
Merge.kif 133-135
(
documentation
subclass
JapaneseLanguage
"(
subclass
?CLASS1 ?CLASS2) とは、?CLASS1 が?CLASS2の
subclass
である、という意味である。例えば、?CLASS1のすべての
instance
も?CLASS2 の
instance
である。")
japanese_format.kif 27-29
(
documentation
subclass
SpanishLanguage
"(
subclass
?CLASS1 ?CLASS2) quiere decir que ?CLASS1 es una
subclass
de ?CLASS2, por ejemplo, cada
instance
de ?CLASS1 es también una
instance
de ?CLASS2. Una
Class
puede tener varias superclases y subclases.")
spanish_format.kif 28-30
(
domain
subclass
1
Class
)
Merge.kif 131-131
subclass
の数値 1 引数は
クラス
の
instance
では %n
(
domain
subclass
2
Class
)
Merge.kif 132-132
subclass
の数値 2 引数は
クラス
の
instance
では %n
(
instance
subclass
BinaryPredicate
)
Merge.kif 129-129
subclass
は
2進述語
の
instance
では %n
(
instance
subclass
ClosedWorldPredicate
)
Merge.kif 18442-18442
subclass
は
ClosedWorldPredicate
の
instance
では %n
(
instance
subclass
PartialOrderingRelation
)
Merge.kif 130-130
subclass
は
半順序関係
の
instance
では %n
appearance as argument number 2
(
format
ChineseLanguage
subclass
"%1 %n 是 %2 的
subclass
")
chinese_format.kif 319-319
(
format
EnglishLanguage
subclass
"%1 is %n a
subclass
of %2")
english_format.kif 324-324
(
format
FrenchLanguage
subclass
"%1 est %n une sous-classe de %2")
french_format.kif 182-182
(
format
ItalianLanguage
subclass
"%1 è %n una sottoclasse di %2")
relations-it.txt 271-271
(
format
JapaneseLanguage
subclass
"%1 は %2 の
subclass
では %n")
japanese_format.kif 2002-2002
(
format
PortugueseLanguage
subclass
"%1 e' %n uma sub-classe de %2")
portuguese_format.kif 134-134
(
format
cz
subclass
"%1 %p{je} %n{nen�} podt��dou %2")
relations-cz.txt 175-175
(
format
de
subclass
"%1 ist eine teilkategorie von %2")
relations-de.txt 419-419
(
format
hi
subclass
"%1 %2 kaa upavarga %n hai")
relations-hindi.txt 308-308
(
format
ro
subclass
"%1 %n{nu} este o
subclass
%t{subclasã} a lui %2")
relations-ro.kif 202-202
(
format
sv
subclass
"%1 är %n{inte} en
subclass
till %2")
relations-sv.txt 192-192
(
format
tg
subclass
"%1 %n ay ang klase mas tiyak sa %2")
relations-tg.txt 463-463
(
subrelation
subField
subclass
)
Mid-level-ontology.kif 21288-21288
subField
は
subclass
の
subrelation
では %n
(
subrelation
subset
subclass
)
Merge.kif 5391-5391
subset
は
subclass
の
subrelation
では %n
(
termFormat
ChineseLanguage
subclass
"子类")
domainEnglishFormat.kif 55716-55716
(
termFormat
ChineseLanguage
subclass
"子类别")
chinese_format.kif 320-320
(
termFormat
ChineseTraditionalLanguage
subclass
"子類")
domainEnglishFormat.kif 55715-55715
(
termFormat
EnglishLanguage
subclass
"subclass")
domainEnglishFormat.kif 55714-55714
antecedent
(=>
(
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
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
(
biochemicalAgentDelivery
?AGENT ?PROCESS)
(
subclass
?SUB ?PROCESS))
(
biochemicalAgentDelivery
?AGENT ?SUB))
WMD.kif 789-793
biochemicalAgentDelivery
BiochemicalAgent
and
工程
工程
は
工程
の
subclass
では %n
biochemicalAgentDelivery
BiochemicalAgent
and
工程
(=>
(
and
(
biologicalAgentCarrier
?AGENT ?ORGANISM)
(
subclass
?SUB ?ORGANISM))
(
biologicalAgentCarrier
?AGENT ?SUB))
WMD.kif 976-980
biologicalAgentCarrier
BiologicalAgent
and
物
物
は
物
の
subclass
では %n
biologicalAgentCarrier
BiologicalAgent
and
物
(=>
(
and
(
capability
?PC ?ROLE ?MV)
(
subclass
?PC
Shooting
))
(
exists
(?WEAPON)
(
and
(
instance
?WEAPON
Weapon
)
(
part
?WEAPON ?MV)
(
capability
?PC ?ROLE ?WEAPON))))
MilitaryDevices.kif 48-56
オブジェクト
は
工程
を
格役割
として行う
capable
では %n
工程
は
射撃
の
subclass
では %n
オブジェクト
オブジェクト
は
武器
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
工程
を
格役割
として行う
capable
では %n
(=>
(
and
(
commemoratesDate
?HOLIDAY
(
DayFn
?DAY
(
MonthFn
?MONTH
(
YearFn
?YEAR))))
(
instance
?DATE ?HOLIDAY)
(
subclass
?HOLIDAY
FixedHoliday
)
(
lessThanOrEqualTo
?YEAR ?LATER-YEAR))
(
instance
?DATE
(
DayFn
?DAY
(
MonthFn
?MONTH
(
YearFn
?LATER-YEAR)))))
Government.kif 619-625
commemoratesDate
Holiday
and
正の整数
day
目
エンティティー
は
Holiday
の
instance
では %n
Holiday
は
FixedHoliday
の
subclass
では %n
整数
は
エンティティー
-YEAR より
less
または同等 では %n
エンティティー
は
正の整数
day
目 の
instance
では %n
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Object
)
(
instance
?X ?PHYS))
(
confersRight
(
exists
(?PROC)
(
and
(
instance
?PROC
Process
)
(
or
(
resource
?PROC ?X)
(
instrument
?PROC ?X)
(
patient
?PROC ?X))
(
or
(
agent
?PROC ?CUST)
(
experiencer
?PROC ?CUST)))) ?AGENT ?CUST))
Hotel.kif 504-520
customer
認識エージェント
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
物理
物理
は
オブジェクト
の
subclass
では %n
エンティティー
は
物理
の
instance
では %n
AutonomousAgent
は
認識エージェント
が
エンティティー
エンティティー
は
工程
の
instance
では %n
エンティティー
は
エンティティー
の
resource
では %n
エンティティー
は
エンティティー
の
instrument
では %n
エンティティー
は
エンティティー
の
patient
では %n
認識エージェント
は
エンティティー
の
agent
では %n
認識エージェント
が
エンティティー
を
experience
s %n{ない} のタスクを実行することはを
allow
s %n{ない}
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Process
))
(
modalAttribute
(
exists
(?S ?LOC ?PROC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
agent
?S ?AGENT)
(
patient
?S ?CUST)
(
or
(
instance
?S ?PHYS)
(
and
(
instance
?PROC ?PHYS)
(
subProcess
?S ?PROC)))
(
located
?S ?LOC)))
Possibility
))
Hotel.kif 522-538
customer
認識エージェント
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
物理
物理
は
工程
の
subclass
では %n
ステートメント
エンティティー
エンティティー
and
エンティティー
エンティティー
は
AutonomousAgent
の
belongings
の
element
%n
AutonomousAgent
は
エンティティー
の
agent
では %n
認識エージェント
は
エンティティー
の
patient
では %n
エンティティー
は
物理
の
instance
では %n
エンティティー
は
物理
の
instance
では %n
エンティティー
は
エンティティー
% の
subprocess
では %n
エンティティー
は
エンティティー
に
located
して %n には
Possibility
の
modal
force
が ある
(=>
(
and
(
defaultMaximumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT1))
(
subclass
?UNITCLASS
NonCompositeUnitOfMeasure
)
(
instance
?UNIT1 ?UNITCLASS))
(
modalAttribute
(
exists
(?INST ?QUANTITY ?UNIT2)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT2))
(
instance
?UNIT2 ?UNITCLASS)
(
greaterThan
(
MeasureFn
?QUANTITY ?UNIT2)
(
MeasureFn
?Q ?UNIT1))))
Unlikely
))
Mid-level-ontology.kif 13519-13530
defaultMaximumMeasure
オブジェクト
and
実数
の
測定単位
(s)
クラス
は
NonCompositeUnitOfMeasure
の
subclass
では %n
測定単位
は
クラス
の
instance
では %n
ステートメント
エンティティー
実数
UANTITY and
エンティティー
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
の
measure
は
実数
UANTITY の
エンティティー
(s) では %n
エンティティー
は
クラス
の
instance
では %n
実数
UANTITY の
エンティティー
(s) は
実数
の
測定単位
(s) より
greater
では %n には
Unlikely
の
modal
force
が ある
(=>
(
and
(
defaultMinimumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT1))
(
subclass
?UNITCLASS
NonCompositeUnitOfMeasure
)
(
instance
?UNIT1 ?UNITCLASS))
(
modalAttribute
(
exists
(?INST ?QUANTITY ?UNIT2)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT2))
(
instance
?UNIT2 ?UNITCLASS)
(
lessThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13488-13499
defaultMinimumMeasure
オブジェクト
and
実数
の
測定単位
(s)
クラス
は
NonCompositeUnitOfMeasure
の
subclass
では %n
測定単位
は
クラス
の
instance
では %n
ステートメント
エンティティー
実数
UANTITY and
エンティティー
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
の
measure
は
実数
UANTITY の
エンティティー
(s) では %n
エンティティー
は
クラス
の
instance
では %n
実数
UANTITY は
実数
より
less
では %n には
Unlikely
の
modal
force
が ある
(=>
(
and
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?PROCESS)
(
subclass
?SUB ?PROCESS))
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?SUB))
WMD.kif 957-961
diseaseMedicine
病気または症候群
,
生物活性物質
and
工程
工程
は
工程
の
subclass
では %n
diseaseMedicine
病気または症候群
,
生物活性物質
and
工程
(=>
(
and
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?PROCESS)
(
subclass
?SUB ?SUBSTANCE))
(
diseaseMedicine
?DISEASE ?SUB ?PROCESS))
WMD.kif 963-967
diseaseMedicine
病気または症候群
,
生物活性物質
and
工程
生物活性物質
は
生物活性物質
の
subclass
では %n
diseaseMedicine
病気または症候群
,
生物活性物質
and
工程
(=>
(
and
(
electricityConsumptionInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualElectricityConsumption
?AREA ?AMOUNT)))))
Economy.kif 2112-2121
electricityConsumptionInPeriod
地政学的地域
,
物理量
and
時間間隔
時間間隔
は
年
の
subclass
では %n
時間間隔
は
FiscalYearFn
地政学的地域
の
subclass
では %n
時間位置
時間位置
は
時間間隔
の
instance
では %n
annualElectricityConsumption
地政学的地域
and
物理量
は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
electricityExportInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualElectricityExport
?AREA ?AMOUNT)))))
Economy.kif 2156-2165
electricityExportInPeriod
地政学的地域
,
物理量
and
時間間隔
時間間隔
は
年
の
subclass
では %n
時間間隔
は
FiscalYearFn
地政学的地域
の
subclass
では %n
時間位置
時間位置
は
時間間隔
の
instance
では %n
annualElectricityExport
地政学的地域
and
物理量
は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
electricityImportInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualElectricityImport
?AREA ?AMOUNT)))))
Economy.kif 2202-2211
electricityImportInPeriod
地政学的地域
,
物理量
and
時間間隔
時間間隔
は
年
の
subclass
では %n
時間間隔
は
FiscalYearFn
地政学的地域
の
subclass
では %n
時間位置
時間位置
は
時間間隔
の
instance
では %n
annualElectricityImport
地政学的地域
and
物理量
は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
electricityProductionInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualElectricityProduction
?AREA ?AMOUNT)))))
Economy.kif 1980-1989
electricityProductionInPeriod
地政学的地域
,
物理量
and
時間間隔
時間間隔
は
年
の
subclass
では %n
時間間隔
は
FiscalYearFn
地政学的地域
の
subclass
では %n
時間位置
時間位置
は
時間間隔
の
instance
では %n
annualElectricityProduction
地政学的地域
and
物理量
は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
equal
?AF
(
OrganicObjectFn
?F))
(
subclass
?AF
AnimalFat
)
(
subclass
?F
FatTissue
))
(
initialPart
?F
Animal
))
Food.kif 2876-2882
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
AnimalFat
の
subclass
では %n
オブジェクト
は
脂肪組織
の
subclass
では %n
initialPart
オブジェクト
and
動物
(=>
(
and
(
equal
?B
(
OrganicObjectFn
?P))
(
subclass
?B
CoffeeBean
)
(
subclass
?P
Seed
))
(
initialPart
?P
CoffeePlant
))
Economy.kif 4629-4634
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
CoffeeBean
の
subclass
では %n
オブジェクト
は
Seed
の
subclass
では %n
initialPart
オブジェクト
and
CoffeePlant
(=>
(
and
(
equal
?C
(
OrganicObjectFn
?S))
(
subclass
?C
CocoaBean
)
(
subclass
?S
Seed
))
(
initialPart
?S
CocoaTree
))
Economy.kif 4693-4699
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
CocoaBean
の
subclass
では %n
オブジェクト
は
Seed
の
subclass
では %n
initialPart
オブジェクト
and
CocoaTree
(=>
(
and
(
equal
?CLASS1
(
ReceivingAnObjectFn
?OBJCLASS1))
(
equal
?CLASS2
(
ReceivingAnObjectFn
?OBJCLASS2))
(
subclass
?OBJCLASS1 ?OBJCLASS2))
(
subclass
?CLASS1 ?CLASS2))
Media.kif 195-200
取得
は
ReceivingAnObjectFn
オブジェクト
と
equal
では %n
取得
は
ReceivingAnObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
オブジェクト
の
subclass
では %n
取得
は
取得
の
subclass
では %n
(=>
(
and
(
equal
?DEP
(
DepartmentOfPreventingFn
?COMP ?PHYS))
(
subclass
?PHYS
Process
)
(
subOrganization
?DEP ?COMP))
(
inhibits
?DEP ?PHYS))
Mid-level-ontology.kif 18350-18355
組織
は
DepartmentOfPreventingFn
組織
and
物理
と
equal
では %n
物理
は
工程
の
subclass
では %n
組織
は組織
組織
の一部では %n
組織
は
物理
を
inhibit
s %n{ない
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?A))
(
subclass
?M
Meat
))
(
subclass
?A
Animal
))
Economy.kif 4945-4950
オブジェクト
は
OrganicObjectFn
有機物
と
equal
では %n
オブジェクト
は
肉
の
subclass
では %n
有機物
は
動物
の
subclass
では %n
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?G))
(
subclass
?M
Malt
)
(
subclass
?G
CerealGrain
))
(
initialPart
?G
CerealGrass
))
Economy.kif 4166-4172
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
Malt
の
subclass
では %n
オブジェクト
は
CerealGrain
の
subclass
では %n
initialPart
オブジェクト
and
CerealGrass
(=>
(
and
(
equal
?O
(
OrganicObjectFn
?S))
(
subclass
?O
OilFromPlant
)
(
or
(
subclass
?S
Seed
)
(
subclass
?S
Fruit
)))
(
exists
(?P)
(
and
(
subclass
?P
FloweringPlant
)
(
initialPart
?S ?P))))
Economy.kif 4532-4543
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
OilFromPlant
の
subclass
では %n
オブジェクト
は
Seed
の
subclass
では %n
オブジェクト
は
Fruit
の
subclass
では %n
オブジェクト
オブジェクト
は
顕花植物
の
subclass
では %n
initialPart
オブジェクト
and
オブジェクト
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(=>
(
and
(
applicableRelation
?O ?R)
(
instance
?O ?OC)
(
domain
?R 1 ?DC))
(
or
(
equal
?OC ?DC)
(
subclass
?OC ?DC)))
Mid-level-ontology.kif 31304-31311
applicableRelation
オブジェクト
and
関係
オブジェクト
は
オブジェクト
C の
instance
では %n
関係
の数値 1 引数は
クラス
の
instance
では %n
オブジェクト
C は
クラス
と
equal
では %n
オブジェクト
C は
クラス
の
subclass
では %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
(=>
(
and
(
birthdate
?A ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?CLASS ?FUTURE)
(
and
(
birthday
?A ?CLASS)
(
subclass
?CLASS
Day
)
(
instance
?FUTURE
Integer
)
(
equal
?CLASS
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?FUTURE))))
(
greaterThan
?FUTURE ?Y))))
Mid-level-ontology.kif 24185-24195
birthdate
人[人間]
and
日
日
は
正の整数
day
目 の
instance
では %n
日
整数
birthday
人[人間]
and
日
日
は
日
の
subclass
では %n
整数
は
整数
の
instance
では %n
日
は
正の整数
day
目 と
equal
では %n
整数
は
整数
より
greater
では %n
(=>
(
and
(
domain
?REL ?NUMBER ?CLASS1)
(
domain
?REL ?NUMBER ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 221-227
関係
の数値
正の整数
引数は
クラス
の
instance
では %n
関係
の数値
正の整数
引数は
クラス
の
instance
では %n
クラス
は
クラス
の
subclass
では %n
クラス
は
クラス
の
subclass
では %n
(=>
(
and
(
domainSubclass
?REL ?NUMBER ?CLASS)
(
instance
?REL
Predicate
)
(?REL @ROW))
(
subclass
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER) ?CLASS))
Merge.kif 3005-3010
関係
の数値
正の整数
引数は
クラス
の
subclass
では %n
関係
は
述語
の
instance
では %n
関係
@ROW
(@ROW) の
正の整数
th
element
は
クラス
の
subclass
では %n
(=>
(
and
(
domainSubclass
?REL ?NUMBER ?CLASS1)
(
domainSubclass
?REL ?NUMBER ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 244-250
関係
の数値
正の整数
引数は
クラス
の
subclass
では %n
関係
の数値
正の整数
引数は
クラス
の
subclass
では %n
クラス
は
クラス
の
subclass
では %n
クラス
は
クラス
の
subclass
では %n
(=>
(
and
(
equal
?CLASS1
(
ReceivingAnObjectFn
?OBJCLASS1))
(
equal
?CLASS2
(
ReceivingAnObjectFn
?OBJCLASS2))
(
subclass
?OBJCLASS1 ?OBJCLASS2))
(
subclass
?CLASS1 ?CLASS2))
Media.kif 195-200
取得
は
ReceivingAnObjectFn
オブジェクト
と
equal
では %n
取得
は
ReceivingAnObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
オブジェクト
の
subclass
では %n
取得
は
取得
の
subclass
では %n
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?A))
(
subclass
?M
Meat
))
(
subclass
?A
Animal
))
Economy.kif 4945-4950
オブジェクト
は
OrganicObjectFn
有機物
と
equal
では %n
オブジェクト
は
肉
の
subclass
では %n
有機物
は
動物
の
subclass
では %n
(=>
(
and
(
equal
?O
(
OrganicObjectFn
?S))
(
subclass
?O
OilFromPlant
)
(
or
(
subclass
?S
Seed
)
(
subclass
?S
Fruit
)))
(
exists
(?P)
(
and
(
subclass
?P
FloweringPlant
)
(
initialPart
?S ?P))))
Economy.kif 4532-4543
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
OilFromPlant
の
subclass
では %n
オブジェクト
は
Seed
の
subclass
では %n
オブジェクト
は
Fruit
の
subclass
では %n
オブジェクト
オブジェクト
は
顕花植物
の
subclass
では %n
initialPart
オブジェクト
and
オブジェクト
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?ORG))
(
subclass
?P
Object
))
(
or
(
subclass
?ORG
Organism
)
(
subclass
?ORG
AnatomicalStructure
)))
Economy.kif 5258-5265
オブジェクト
は
OrganicObjectFn
有機物
と
equal
では %n
オブジェクト
は
オブジェクト
の
subclass
では %n
有機物
は
物
の
subclass
では %n
有機物
は
解剖学的構造
の
subclass
では %n
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?S))
(
subclass
?P
Pelt
))
(
subclass
?S
Skin
))
Economy.kif 5032-5036
オブジェクト
は
OrganicObjectFn
有機物
と
equal
では %n
オブジェクト
は
Pelt
の
subclass
では %n
有機物
は
Skin
の
subclass
では %n
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WoodProduct
)
(
subclass
?S
PlantStem
))
(
exists
(?T)
(
and
(
subclass
?T
BotanicalTree
)
(
initialPart
?S ?T))))
Economy.kif 5235-5244
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
WoodProduct
の
subclass
では %n
オブジェクト
は
PlantStem
の
subclass
では %n
オブジェクト
オブジェクト
は
BotanicalTree
の
subclass
では %n
initialPart
オブジェクト
and
オブジェクト
(=>
(
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
(
instance
?A
AegilopsGrass
)
(
part
?C ?A)
(
instance
?C ?CLASS))
(
subclass
?CLASS
DiploidCell
))
Economy.kif 3840-3845
オブジェクト
は
AegilopsGrass
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
LASS の
instance
では %n
オブジェクト
LASS は
DiploidCell
の
subclass
では %n
(=>
(
and
(
instance
?C
CommonWheatGrass
)
(
part
?CELL ?C)
(
instance
?CELL ?CLASS))
(
subclass
?CLASS
HexaploidCell
))
Economy.kif 3963-3968
オブジェクト
は
CommonWheatGrass
の
instance
では %n
オブジェクト
ELL は
オブジェクト
の
part
では %n
オブジェクト
ELL は
オブジェクト
LASS の
instance
では %n
オブジェクト
LASS は
HexaploidCell
の
subclass
では %n
(=>
(
and
(
instance
?C
SpeltWheatGrass
)
(
part
?CELL ?C)
(
instance
?CELL ?CLASS))
(
subclass
?CLASS
HexaploidCell
))
Economy.kif 3993-3998
オブジェクト
は
SpeltWheatGrass
の
instance
では %n
オブジェクト
ELL は
オブジェクト
の
part
では %n
オブジェクト
ELL は
オブジェクト
LASS の
instance
では %n
オブジェクト
LASS は
HexaploidCell
の
subclass
では %n
(=>
(
and
(
instance
?DECIDE
Deciding
)
(
agent
?DECIDE ?AGENT)
(
instance
?S
Set
)
(
patient
?DECIDE ?S)
(
element
?M ?S))
(
believes
?AGENT
(
exists
(?CLASS)
(
and
(
instance
?M ?CLASS)
(
subclass
?CLASS
IntentionalProcess
)
(
capability
?CLASS
agent
?AGENT)))))
Merge.kif 11984-11996
工程
は
Deciding
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
セット
は
セット
の
instance
では %n
セット
は
工程
の
patient
では %n
エンティティー
は
セット
の
element
%n
認識エージェント
は
エンティティー
エンティティー
は
エンティティー
の
instance
では %n
エンティティー
は
意図的なプロセス
の
subclass
では %n
認識エージェント
は
エンティティー
を
agent
として行う
capable
では %n を
believe
s %n{ない}
(=>
(
and
(
instance
?E
DurumWheatGrass
)
(
part
?C ?E)
(
instance
?C ?CLASS))
(
subclass
?CLASS
TetraploidCell
))
Economy.kif 3904-3909
オブジェクト
は
DurumWheatGrass
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
LASS の
instance
では %n
オブジェクト
LASS は
TetraploidCell
の
subclass
では %n
(=>
(
and
(
instance
?E
EinkornWheatGrass
)
(
part
?C ?E)
(
instance
?E ?CLASS))
(
subclass
?CLASS
DiploidCell
))
Economy.kif 3934-3939
オブジェクト
は
EinkornWheatGrass
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
LASS の
instance
では %n
オブジェクト
LASS は
DiploidCell
の
subclass
では %n
(=>
(
and
(
instance
?E
EmmerWheatGrass
)
(
part
?C ?E)
(
instance
?C ?CLASS))
(
subclass
?CLASS
TetraploidCell
))
Economy.kif 3872-3877
オブジェクト
は
EmmerWheatGrass
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
LASS の
instance
では %n
オブジェクト
LASS は
TetraploidCell
の
subclass
では %n
(=>
(
and
(
instance
?E
TriticumUrartu
)
(
part
?C ?E)
(
instance
?E ?CLASS))
(
subclass
?CLASS
DiploidCell
))
Economy.kif 3948-3953
オブジェクト
は
TriticumUrartu
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
LASS の
instance
では %n
オブジェクト
LASS は
DiploidCell
の
subclass
では %n
(=>
(
and
(
instance
?F
Felling
)
(
result
?F ?S))
(
exists
(?STEM)
(
and
(
instance
?S
(
DeadFn
?STEM))
(
subclass
?STEM
PlantStem
))))
Economy.kif 5485-5493
工程
は
Felling
の
instance
では %n
エンティティー
は
工程
の
result
では %n
エンティティー
TEM
エンティティー
は
DeadFn
エンティティー
TEM の
instance
では %n
エンティティー
TEM は
PlantStem
の
subclass
では %n
(=>
(
and
(
instance
?H
Harvesting
)
(
result
?H ?O))
(
exists
(?ORG)
(
and
(
instance
?O
(
DeadFn
?ORG))
(
subclass
?ORG
OrganicObject
))))
Mid-level-ontology.kif 18033-18041
工程
は
Harvesting
の
instance
では %n
エンティティー
は
工程
の
result
では %n
エンティティー
RG
エンティティー
は
DeadFn
エンティティー
RG の
instance
では %n
エンティティー
RG は
有機物
の
subclass
では %n
(=>
(
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
WearableItem
は
HearingProtection
の
instance
では %n
動物
は
人[人間]
の
instance
では %n
動物
は % を
wear
s %n{ない}
WearableItem
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
工程
の
instance
では %n
エンティティー
は
エンティティー
で記述される
class
の
subclass
では %n
エンティティー
は
エンティティー
の出来事を
prevent
s %n{ない}
WearableItem
は
エンティティー
の
instrument
では %n の 目的 %n{ない}
(=>
(
and
(
instance
?MENU
AlcoholMenu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
AlcoholicBeverage
))
Dining.kif 219-223
Catalog
は
AlcoholMenu
の
instance
では %n
catalogItem
エンティティー
and
Catalog
エンティティー
は
AlcoholicBeverage
の
subclass
では %n
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
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
(
exists
(?T)
(
and
(
subclass
?T
HandToolBox
)
(
manufacturer
?T
SortimoCorp
)))
Cars.kif 5109-5112
オブジェクト
オブジェクト
は
HandToolBox
の
subclass
では %n
manufacturer
オブジェクト
and
SortimoCorp
appearance as argument number 0
(
subclass
AAM
AirAttackMissile
)
MilitaryDevices.kif 1170-1170
AAM
は
AirAttackMissile
の
subclass
では %n
(
subclass
AAM
AirLaunchMissile
)
MilitaryDevices.kif 1169-1169
AAM
は
AirLaunchMissile
の
subclass
では %n
(
subclass
AAM
GuidedMissile
)
MilitaryDevices.kif 1171-1171
AAM
は
GuidedMissile
の
subclass
では %n
(
subclass
AAV
AmphibiousVehicle
)
MilitaryDevices.kif 1647-1647
AAV
は
AmphibiousVehicle
の
subclass
では %n
(
subclass
AAV
MilitaryVehicle
)
MilitaryDevices.kif 1646-1646
AAV
は
MilitaryVehicle
の
subclass
では %n
(
subclass
AAV
PassengerVehicle
)
MilitaryDevices.kif 1648-1648
AAV
は
PassengerVehicle
の
subclass
では %n
(
subclass
AAV
PoweredVehicle
)
MilitaryDevices.kif 1649-1649
AAV
は
PoweredVehicle
の
subclass
では %n
(
subclass
ABranchOfDorsalPrimaryDivisionOfSuboccipitalNerve
Nerve
)
Muscles.kif 778-778
ABranchOfDorsalPrimaryDivisionOfSuboccipitalNerve
は
Nerve
の
subclass
では %n
(
subclass
ACPowerSource
PowerSource
)
Mid-level-ontology.kif 26287-26287
ACPowerSource
は
PowerSource
の
subclass
では %n
(
subclass
ADHD
PsychologicalDysfunction
)
Medicine.kif 3293-3293
ADHD
は
心理的機能障害
の
subclass
では %n
(
subclass
AGM
AirLaunchMissile
)
MilitaryDevices.kif 1123-1123
AGM
は
AirLaunchMissile
の
subclass
では %n
(
subclass
AGM
GroundAttackMissile
)
MilitaryDevices.kif 1124-1124
AGM
は
GroundAttackMissile
の
subclass
では %n
(
subclass
AGM114
AGM
)
MilitaryDevices.kif 1203-1203
AGM114
は
AGM
の
subclass
では %n
(
subclass
AGM114
AntiArmorWeapon
)
MilitaryDevices.kif 1205-1205
AGM114
は
AntiArmorWeapon
の
subclass
では %n
(
subclass
AGM114
BeamRidingGMissile
)
MilitaryDevices.kif 1204-1204
AGM114
は
BeamRidingGMissile
の
subclass
では %n
(
subclass
AGM65
AGM
)
MilitaryDevices.kif 1136-1136
AGM65
は
AGM
の
subclass
では %n
(
subclass
AGM65
AntiArmorWeapon
)
MilitaryDevices.kif 1138-1138
AGM65
は
AntiArmorWeapon
の
subclass
では %n
(
subclass
AGM65
InfraRedGMissile
)
MilitaryDevices.kif 1137-1137
AGM65
は
InfraRedGMissile
の
subclass
では %n
(
subclass
AH1
Helicopter
)
MilitaryDevices.kif 1889-1889
AH1
は
Helicopter
の
subclass
では %n
(
subclass
AH1
MilitaryVehicle
)
MilitaryDevices.kif 1890-1890
AH1
は
MilitaryVehicle
の
subclass
では %n
(
subclass
AIM9
AAM
)
MilitaryDevices.kif 1177-1177
AIM9
は
AAM
の
subclass
では %n
(
subclass
AIM9
InfraRedGMissile
)
MilitaryDevices.kif 1178-1178
AIM9
は
InfraRedGMissile
の
subclass
では %n
(
subclass
AMFMAlarmClock
AlarmClock
)
Mid-level-ontology.kif 25478-25478
AMFMAlarmClock
は
AlarmClock
の
subclass
では %n
(
subclass
AMFMAlarmClock
RadioReceiver
)
Mid-level-ontology.kif 25479-25479
AMFMAlarmClock
は
RadioReceiver
の
subclass
では %n
(
subclass
AMRadioStation
RadioStation
)
Communications.kif 293-293
AMRadioStation
は
RadioStation
の
subclass
では %n
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