Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
CONPLANwithTPFDD
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
域
子類
, 1 and
Class
(
domain
subclass
2
Class
)
Merge.kif 132-132
域
子類
, 2 and
Class
(
instance
subclass
BinaryPredicate
)
Merge.kif 129-129
例
子類
and
BinaryPredicate
(
instance
subclass
ClosedWorldPredicate
)
Merge.kif 18660-18660
例
子類
and
ClosedWorldPredicate
(
instance
subclass
PartialOrderingRelation
)
Merge.kif 130-130
例
子類
and
PartialOrderingRelation
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 22956-22956
子關係
子領域
and
子類
(
termFormat
ChineseLanguage
subclass
"子类")
domainEnglishFormat.kif 55708-55708
子關係
子領域
and
子類
(
termFormat
ChineseLanguage
subclass
"子类别")
chinese_format.kif 320-320
子關係
子領域
and
子類
(
termFormat
ChineseTraditionalLanguage
subclass
"子類")
domainEnglishFormat.kif 55707-55707
子關係
子領域
and
子類
(
termFormat
EnglishLanguage
subclass
"subclass")
domainEnglishFormat.kif 55706-55706
子關係
子領域
and
子類
(
termFormat
de
subclass
"teilkategorie")
terms-de.txt 133-133
子關係
子領域
and
子類
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 3987-4007
attribute
AutonomousAgent
and
ADHD
attribute
AutonomousAgent
and
ADHD
equal
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
(
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 1194-1209
attribute
Object
and
Oversized
立即實例
Object
and
Class
子類
Class
and
HotelUnit
Physical
RealNumber
,
RealNumber
and
UnitOfMeasure
立即實例
Physical
and
Class
例
UnitOfMeasure
and
UnitOfArea
測量
Physical
and
測量
RealNumber
and
UnitOfMeasure
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
例
RealNumber
and
AreaMeasure
例
RealNumber
and
AreaMeasure
比較多
RealNumber
and
RealNumber
(=>
(
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 738-748
attribute
AutonomousAgent
and
作家
例
Entity
and
ContentBearingObject
子類
ContentBearingObject
and
Text
子類
ContentBearingObject
and
Document
例
Process
and
Writing
agent
Process
and
AutonomousAgent
結果
Process
and
Entity
作者
AutonomousAgent
and
ContentBearingObject
(=>
(
and
(
biochemicalAgentDelivery
?AGENT ?PROCESS)
(
subclass
?SUB ?PROCESS))
(
biochemicalAgentDelivery
?AGENT ?SUB))
WMD.kif 789-793
Process
是
生化劑
的
biochemical
病毒傳遞
子類
Process
and
Process
Process
是
生化劑
的
biochemical
病毒傳遞
(=>
(
and
(
biologicalAgentCarrier
?AGENT ?ORGANISM)
(
subclass
?SUB ?ORGANISM))
(
biologicalAgentCarrier
?AGENT ?SUB))
WMD.kif 976-980
Organism
是
生物製劑
的病毒傳遞者
子類
Organism
and
Organism
Organism
是
生物製劑
的病毒傳遞者
(=>
(
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
能力
Process
,
CaseRole
and
Object
子類
Process
and
Shooting
Object
例
Object
and
Weapon
部分
Object
and
Object
能力
Process
,
CaseRole
and
Object
(=>
(
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 583-589
天
PositiveInteger
and
月
Month
and
年
Integer
是
假日
的
commemorates
日期
例
Entity
and
假日
子類
假日
and
固定假期
小於或等於
Integer
and
entity
_YEAR
例
Entity
and
天
PositiveInteger
and
月
Month
and
年
entity
_YEAR
(=>
(
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
AutonomousAgent
是
CognitiveAgent
的
customer
AutonomousAgent
有
Physical
子類
Physical
and
Object
例
Entity
and
Physical
賦予權利
entity
例
entity
and
Process
資源
entity
and
Entity
儀器
entity
and
Entity
患者
entity
and
Entity
agent
entity
and
CognitiveAgent
體驗者
entity
and
CognitiveAgent
,
AutonomousAgent
and
CognitiveAgent
(=>
(
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
AutonomousAgent
是
CognitiveAgent
的
customer
AutonomousAgent
有
Physical
子類
Physical
and
Process
模態屬性
entity
entity
and
entity
元件
entity
and
屬性
AutonomousAgent
agent
entity
and
AutonomousAgent
患者
entity
and
CognitiveAgent
例
entity
and
Physical
例
entity
and
Physical
子過程
entity
and
entity
位於
entity
and
entity
and
可能性
(=>
(
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 14886-14897
Object
的
maximum
預期價值是
測量
RealNumber
and
UnitOfMeasure
子類
Class
and
NonCompositeUnitOfMeasure
例
UnitOfMeasure
and
Class
模態屬性
entity
RealNumber
UANTITY and
entity
例
entity
and
Object
測量
entity
and
測量
RealNumber
UANTITY and
entity
例
entity
and
Class
比較多
測量
RealNumber
UANTITY and
entity
and
測量
RealNumber
and
UnitOfMeasure
and
較不可能
(=>
(
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 14855-14866
Object
的
minimum
預期價值是
測量
RealNumber
and
UnitOfMeasure
子類
Class
and
NonCompositeUnitOfMeasure
例
UnitOfMeasure
and
Class
模態屬性
entity
RealNumber
UANTITY and
entity
例
entity
and
Object
測量
entity
and
測量
RealNumber
UANTITY and
entity
例
entity
and
Class
少於
RealNumber
UANTITY and
RealNumber
and
較不可能
(=>
(
and
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?PROCESS)
(
subclass
?SUB ?PROCESS))
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?SUB))
WMD.kif 957-961
DiseaseOrSyndrome
是 對於
Process
的
disease
治癒
BiologicallyActiveSubstance
子類
Process
and
Process
DiseaseOrSyndrome
是 對於
Process
的
disease
治癒
BiologicallyActiveSubstance
(=>
(
and
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?PROCESS)
(
subclass
?SUB ?SUBSTANCE))
(
diseaseMedicine
?DISEASE ?SUB ?PROCESS))
WMD.kif 963-967
DiseaseOrSyndrome
是 對於
Process
的
disease
治癒
BiologicallyActiveSubstance
子類
BiologicallyActiveSubstance
and
BiologicallyActiveSubstance
DiseaseOrSyndrome
是 對於
Process
的
disease
治癒
BiologicallyActiveSubstance
(=>
(
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 2352-2361
GeopoliticalArea
是 對於
TimeInterval
在其間
PhysicalQuantity
的
electricity
消耗
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
PhysicalQuantity
是
GeopoliticalArea
的
annual
電力消耗
(=>
(
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 2396-2405
GeopoliticalArea
是 對於
TimeInterval
在週期
PhysicalQuantity
的
electricity
輸出
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
PhysicalQuantity
是
GeopoliticalArea
的
annual
電力輸出
(=>
(
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 2442-2451
GeopoliticalArea
是 對於
TimeInterval
在週期
PhysicalQuantity
的
electricity
輸出
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
PhysicalQuantity
是
GeopoliticalArea
annual
的電力輸入
(=>
(
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 2220-2229
GeopoliticalArea
是 對於
TimeInterval
在週期
PhysicalQuantity
的
electricity
生產
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
PhysicalQuantity
是
GeopoliticalArea
的
annual
電力生產
(=>
(
and
(
equal
?AF
(
OrganicObjectFn
?F))
(
subclass
?AF
AnimalFat
)
(
subclass
?F
FatTissue
))
(
initialPart
?F
Animal
))
Food.kif 2883-2889
equal
Object
and
OrganicObjectFn
Object
子類
Object
and
AnimalFat
子類
Object
and
FatTissue
%每個
Object
是
Animal
的
initially
part
(=>
(
and
(
equal
?B
(
OrganicObjectFn
?P))
(
subclass
?B
CoffeeBean
)
(
subclass
?P
Seed
))
(
initialPart
?P
CoffeePlant
))
Economy.kif 4967-4972
equal
Object
and
OrganicObjectFn
Object
子類
Object
and
咖啡豆
子類
Object
and
種子
%每個
Object
是
CoffeePlant
的
initially
part
(=>
(
and
(
equal
?C
(
OrganicObjectFn
?S))
(
subclass
?C
CocoaBean
)
(
subclass
?S
Seed
))
(
initialPart
?S
CocoaTree
))
Economy.kif 5031-5037
equal
Object
and
OrganicObjectFn
Object
子類
Object
and
可可豆
子類
Object
and
種子
%每個
Object
是
可可樹
的
initially
part
(=>
(
and
(
equal
?CLASS1
(
ReceivingAnObjectFn
?OBJCLASS1))
(
equal
?CLASS2
(
ReceivingAnObjectFn
?OBJCLASS2))
(
subclass
?OBJCLASS1 ?OBJCLASS2))
(
subclass
?CLASS1 ?CLASS2))
Media.kif 195-200
equal
Getting
and
receiving
一個
Object
equal
Getting
and
receiving
一個
Object
子類
Object
and
Object
子類
Getting
and
Getting
(=>
(
and
(
equal
?DEP
(
DepartmentOfPreventingFn
?COMP ?PHYS))
(
subclass
?PHYS
Process
)
(
subOrganization
?DEP ?COMP))
(
inhibits
?DEP ?PHYS))
Mid-level-ontology.kif 19972-19977
equal
Organization
and
DepartmentOfPreventingFn
Organization
and
Physical
子類
Physical
and
Process
子組織
Organization
and
Organization
抑制
Organization
and
Physical
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?A))
(
subclass
?M
Meat
))
(
subclass
?A
Animal
))
Economy.kif 5285-5290
equal
Object
and
OrganicObjectFn
OrganicObject
子類
Object
and
Meat
子類
OrganicObject
and
Animal
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?G))
(
subclass
?M
Malt
)
(
subclass
?G
CerealGrain
))
(
initialPart
?G
CerealGrass
))
Economy.kif 4503-4509
equal
Object
and
OrganicObjectFn
Object
子類
Object
and
Malt
子類
Object
and
穀物
%每個
Object
是
穀物草
的
initially
part
(=>
(
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 4870-4881
equal
Object
and
OrganicObjectFn
Object
子類
Object
and
OilFromPlant
子類
Object
and
種子
子類
Object
and
水果
Object
子類
Object
and
FloweringPlant
%每個
Object
是
Object
的
initially
part
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 33332-33339
applicableRelation
Object
and
Relation
例
Object
and
Object
C
域
Relation
, 1 and
Class
equal
Object
C and
Class
子類
Object
C and
Class
(=>
(
and
(
attribute
?G
ToxicandInfectiousSubstance
)
(
or
(
instance
?G
Substance
)
(
instance
?G
Microorganism
)))
(
exists
(?O ?P ?I ?CLASS)
(
and
(
or
(
instance
?O
Human
)
(
instance
?O
Animal
))
(
orientation
?G ?O
Near
)
(
or
(
instance
?P
Inhaling
)
(
instance
?P
Ingesting
)
(
instance
?P
Touching
))
(
agent
?P ?O)
(
patient
?P ?G)
(
causes
?P ?I)
(
patient
?I ?O)
(
instance
?I ?CLASS)
(
capability
?CLASS
resource
?G)
(
or
(
subclass
?CLASS
Injuring
)
(
subclass
?CLASS
Death
)))))
Transportation.kif 4203-4227
attribute
Object
and
ToxicandInfectiousSubstance
例
Object
and
Substance
例
Object
and
Microorganism
AutonomousAgent
Process
,
Process
and
Process
例
AutonomousAgent
and
Human
例
AutonomousAgent
and
Animal
方位
Object
,
AutonomousAgent
and
近
例
Process
and
吸入
例
Process
and
Ingesting
例
Process
and
Touching
agent
Process
and
AutonomousAgent
患者
Process
and
Object
原因
Process
and
Process
患者
Process
and
AutonomousAgent
例
Process
and
Process
能力
Process
,
資源
and
Object
子類
Process
and
Injuring
子類
Process
and
Death
(=>
(
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 1489-1502
attribute
Object
and
DutyFree
例
Object
and
商店
GeopoliticalArea
Entity
,
Object
and
Process
例
GeopoliticalArea
and
GeopoliticalArea
位於
Object
and
GeopoliticalArea
子類
Object
and
Object
Object
是
GeopoliticalArea
的
import
商品種類
例
Entity
and
Object
例
Process
and
Selling
患者
Process
and
Entity
位於
Process
and
Object
(=>
(
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 25883-25893
Day
是
Human
的
birthdate
例
Day
and
天
PositiveInteger
and
月
Month
and
年
Integer
Day
Integer
Human
的
birthday
是
Day
子類
Day
and
Day
例
Integer
and
Integer
equal
Day
and
天
PositiveInteger
and
月
Month
and
年
Integer
比較多
Integer
and
Integer
(=>
(
and
(
domain
?REL ?NUMBER ?CLASS1)
(
domain
?REL ?NUMBER ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 215-221
域
Relation
,
PositiveInteger
and
Class
域
Relation
,
PositiveInteger
and
Class
子類
Class
and
Class
子類
Class
and
Class
(=>
(
and
(
domainSubclass
?REL ?NUMBER ?CLASS)
(
instance
?REL
Predicate
)
(?REL @ROW))
(
subclass
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER) ?CLASS))
Merge.kif 3018-3023
域子類
Relation
,
PositiveInteger
and
Class
例
Relation
and
Predicate
Relation
@ROW
子類
清單順序
名單
@ROW and
PositiveInteger
and
Class
(=>
(
and
(
domainSubclass
?REL ?NUMBER ?CLASS1)
(
domainSubclass
?REL ?NUMBER ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 238-244
域子類
Relation
,
PositiveInteger
and
Class
域子類
Relation
,
PositiveInteger
and
Class
子類
Class
and
Class
子類
Class
and
Class
(=>
(
and
(
equal
?CLASS1
(
ReceivingAnObjectFn
?OBJCLASS1))
(
equal
?CLASS2
(
ReceivingAnObjectFn
?OBJCLASS2))
(
subclass
?OBJCLASS1 ?OBJCLASS2))
(
subclass
?CLASS1 ?CLASS2))
Media.kif 195-200
equal
Getting
and
receiving
一個
Object
equal
Getting
and
receiving
一個
Object
子類
Object
and
Object
子類
Getting
and
Getting
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?A))
(
subclass
?M
Meat
))
(
subclass
?A
Animal
))
Economy.kif 5285-5290
equal
Object
and
OrganicObjectFn
OrganicObject
子類
Object
and
Meat
子類
OrganicObject
and
Animal
(=>
(
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 4870-4881
equal
Object
and
OrganicObjectFn
Object
子類
Object
and
OilFromPlant
子類
Object
and
種子
子類
Object
and
水果
Object
子類
Object
and
FloweringPlant
%每個
Object
是
Object
的
initially
part
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?ORG))
(
subclass
?P
Object
))
(
or
(
subclass
?ORG
Organism
)
(
subclass
?ORG
AnatomicalStructure
)))
Economy.kif 5599-5606
equal
Object
and
OrganicObjectFn
OrganicObject
子類
Object
and
Object
子類
OrganicObject
and
Organism
子類
OrganicObject
and
AnatomicalStructure
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?S))
(
subclass
?P
Pelt
))
(
subclass
?S
Skin
))
Economy.kif 5373-5377
equal
Object
and
OrganicObjectFn
OrganicObject
子類
Object
and
毛皮
子類
OrganicObject
and
皮膚
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WoodProduct
)
(
subclass
?S
PlantStem
))
(
exists
(?T)
(
and
(
subclass
?T
BotanicalTree
)
(
initialPart
?S ?T))))
Economy.kif 5576-5585
equal
Object
and
OrganicObjectFn
Object
子類
Object
and
WoodProduct
子類
Object
and
PlantStem
Object
子類
Object
and
植物樹
%每個
Object
是
Object
的
initially
part
(=>
(
and
(
equal
?X
(
AttrFn
?CLASS ?ATTR))
(
instance
?I ?X))
(
and
(
instance
?I ?CLASS)
(
subclass
?X ?CLASS)
(
attribute
?I ?ATTR)))
Merge.kif 1790-1798
equal
Object
and
Object
跟
Attribute
的
attr
例
Object
and
Object
例
Object
and
Object
子類
Object
and
Object
attribute
Object
and
Attribute
(=>
(
and
(
instance
?A
AegilopsGrass
)
(
part
?C ?A)
(
instance
?C ?CLASS))
(
subclass
?CLASS
DiploidCell
))
Economy.kif 4177-4182
例
Object
and
AegilopsGrass
部分
Object
and
Object
例
Object
and
Object
LASS
子類
Object
LASS and
DiploidCell
(=>
(
and
(
instance
?C
CommonWheatGrass
)
(
part
?CELL ?C)
(
instance
?CELL ?CLASS))
(
subclass
?CLASS
HexaploidCell
))
Economy.kif 4300-4305
例
Object
and
CommonWheatGrass
部分
Object
ELL and
Object
例
Object
ELL and
Object
LASS
子類
Object
LASS and
HexaploidCell
(=>
(
and
(
instance
?C
SpeltWheatGrass
)
(
part
?CELL ?C)
(
instance
?CELL ?CLASS))
(
subclass
?CLASS
HexaploidCell
))
Economy.kif 4330-4335
例
Object
and
SpeltWheatGrass
部分
Object
ELL and
Object
例
Object
ELL and
Object
LASS
子類
Object
LASS and
HexaploidCell
(=>
(
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 12164-12176
例
Process
and
決定
agent
Process
and
CognitiveAgent
例
Set
and
Set
患者
Process
and
Set
元件
Entity
and
Set
相信
CognitiveAgent
and
entity
例
Entity
and
entity
子類
entity
and
IntentionalProcess
能力
entity
,
agent
and
CognitiveAgent
(=>
(
and
(
instance
?E
DurumWheatGrass
)
(
part
?C ?E)
(
instance
?C ?CLASS))
(
subclass
?CLASS
TetraploidCell
))
Economy.kif 4241-4246
例
Object
and
DurumWheatGrass
部分
Object
and
Object
例
Object
and
Object
LASS
子類
Object
LASS and
TetraploidCell
(=>
(
and
(
instance
?E
EinkornWheatGrass
)
(
part
?C ?E)
(
instance
?E ?CLASS))
(
subclass
?CLASS
DiploidCell
))
Economy.kif 4271-4276
例
Object
and
EinkornWheatGrass
部分
Object
and
Object
例
Object
and
Object
LASS
子類
Object
LASS and
DiploidCell
(=>
(
and
(
instance
?E
EmmerWheatGrass
)
(
part
?C ?E)
(
instance
?C ?CLASS))
(
subclass
?CLASS
TetraploidCell
))
Economy.kif 4209-4214
例
Object
and
EmmerWheatGrass
部分
Object
and
Object
例
Object
and
Object
LASS
子類
Object
LASS and
TetraploidCell
(=>
(
and
(
instance
?E
TriticumUrartu
)
(
part
?C ?E)
(
instance
?E ?CLASS))
(
subclass
?CLASS
DiploidCell
))
Economy.kif 4285-4290
例
Object
and
TriticumUrartu
部分
Object
and
Object
例
Object
and
Object
LASS
子類
Object
LASS and
DiploidCell
(=>
(
and
(
instance
?F
Felling
)
(
result
?F ?S))
(
exists
(?STEM)
(
and
(
instance
?S
(
DeadFn
?STEM))
(
subclass
?STEM
PlantStem
))))
Economy.kif 5827-5835
例
Process
and
砍伐
結果
Process
and
Entity
Entity
TEM
例
Entity
and 一個
dead
Entity
TEM
子類
Entity
TEM and
PlantStem
(=>
(
and
(
instance
?H
Harvesting
)
(
result
?H ?O))
(
exists
(?ORG)
(
and
(
instance
?O
(
DeadFn
?ORG))
(
subclass
?ORG
OrganicObject
))))
Mid-level-ontology.kif 19655-19663
例
Process
and
收穫
結果
Process
and
Entity
Entity
RG
例
Entity
and 一個
dead
Entity
RG
子類
Entity
RG and
OrganicObject
(=>
(
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 3508-3537
例
可穿戴物品
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
可穿戴物品
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 963-974
equal
GeopoliticalArea
的
fit
對於軍服務男性 and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
attribute
SymbolicString
and
男
子類
entity
and
MilitaryProcess
entity
是
SymbolicString
的
fit
軍事服務
entity
是
GeopoliticalArea
的
military
年紀
年齡
SymbolicString
and
entity
大於或等於
entity
and
entity
棲息
SymbolicString
and
GeopoliticalArea
(
exists
(?T)
(
and
(
subclass
?T
HandToolBox
)
(
manufacturer
?T
SortimoCorp
)))
Cars.kif 5170-5173
Object
子類
Object
and
HandToolBox
manufacturer
Object
and
SortimoCorp
appearance as argument number 0
(
subclass
ABranchOfDorsalPrimaryDivisionOfSuboccipitalNerve
Nerve
)
Muscles.kif 778-778
子類
ABranchOfDorsalPrimaryDivisionOfSuboccipitalNerve
and
Nerve
(
subclass
ACPowerSource
PowerSource
)
Mid-level-ontology.kif 28254-28254
子類
ACPowerSource
and
能量源
(
subclass
ADHD
PsychologicalDysfunction
)
Medicine.kif 3294-3294
子類
ADHD
and
PsychologicalDysfunction
(
subclass
AMFMAlarmClock
AlarmClock
)
Mid-level-ontology.kif 27208-27208
子類
AMFMAlarmClock
and
AlarmClock
(
subclass
AMFMAlarmClock
RadioReceiver
)
Mid-level-ontology.kif 27209-27209
子類
AMFMAlarmClock
and
無線電接收器
(
subclass
AMRadioStation
RadioStation
)
Communications.kif 293-293
子類
AM廣播電台
and
廣播電台
(
subclass
AMRadioSystem
RadioSystem
)
Communications.kif 236-236
子類
AM無線電系統
and
無線電系統
(
subclass
AOCnumber
SymbolicString
)
Transportation.kif 4075-4075
子類
AOCnumber
and
SymbolicString
(
subclass
ATMMachine
StationaryArtifact
)
FinancialOntology.kif 3601-3601
子類
自動提款機
and
StationaryArtifact
(
subclass
ATMSlot
HoleRegion
)
FinancialOntology.kif 3677-3677
子類
ATM插槽
and
HoleRegion
(
subclass
ATVTire
Tire
)
Cars.kif 4876-4876
子類
ATVTire
and
Tire
(
subclass
AVCTP
ComputerProgram
)
ComputingBrands.kif 2169-2169
子類
影/音控制傳輸協議
and
ComputerProgram
(
subclass
AVPUStatus
RelationalAttribute
)
Medicine.kif 6430-6430
子類
AVPUStatus
and
RelationalAttribute
(
subclass
AbaloneMeat
MolluskMeat
)
Food.kif 1994-1994
子類
AbaloneMeat
and
MolluskMeat
(
subclass
Abatacept
Immunosupressant
)
Medicine.kif 4952-4952
子類
Abatacept
and
Immunosupressant
(
subclass
Abayah
Cloak
)
ArabicCulture.kif 527-527
子類
阿巴亞
and
披風
(
subclass
Abbey
ReligiousOrganization
)
People.kif 1213-1213
子類
僧院
and
ReligiousOrganization
(
subclass
Abdomen
AnimalAnatomicalStructure
)
Mid-level-ontology.kif 14148-14148
子類
Abdomen
and
動物解剖結構
(
subclass
AbdominalAorta
Artery
)
arteries.kif 1272-1272
子類
AbdominalAorta
and
動脈
(
subclass
AbducensNerveCNVI
Nerve
)
Muscles.kif 135-135
子類
AbducensNerveCNVI
and
Nerve
(
subclass
Abducting
BodyMotion
)
Anatomy.kif 2046-2046
子類
Abducting
and
BodyMotion
(
subclass
Abducting
MovingAwayFrom
)
Anatomy.kif 2047-2047
子類
Abducting
and
MovingAwayFrom
(
subclass
AbductorDigitiMinimiMuscle
Muscle
)
Muscles.kif 1608-1608
子類
AbductorDigitiMinimiMuscle
and
Muscle
(
subclass
AbductorHallucisMuscle
Muscle
)
Muscles.kif 2127-2127
子類
AbductorHallucisMuscle
and
Muscle
(
subclass
AbductorPollicisBrevisMuscle
Muscle
)
Muscles.kif 1581-1581
子類
AbductorPollicisBrevisMuscle
and
Muscle
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