Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
BeaufortNumber0
BeaufortNumber1
BeaufortNumber10
BeaufortNumber11
BeaufortNumber12
BeaufortNumber2
BeaufortNumber3
BeaufortNumber4
BeaufortNumber5
BeaufortNumber6
BeaufortNumber7
BeaufortNumber8
BeaufortNumber9
BeaufortNumberAttribute
ChineseLanguage
ChineseLanguge
ChineseTraditionalLanguage
ChinesehLanguage
Chineselanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SpeedScaleAttribute
SwedishLanguage
speedScaleAttributeMinMax
windDrivenMotion
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 132-134
(
domain
subclass
1
SetOrClass
)
Merge.kif 130-130
域
子類
, 1 and
SetOrClass
(
domain
subclass
2
SetOrClass
)
Merge.kif 131-131
域
子類
, 2 and
SetOrClass
(
instance
subclass
BinaryPredicate
)
Merge.kif 128-128
例
子類
and
BinaryPredicate
(
instance
subclass
PartialOrderingRelation
)
Merge.kif 129-129
例
子類
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 327-327
(
subrelation
subset
subclass
)
Merge.kif 5120-5120
子關係
子集
and
子類
(
termFormat
ChineseLanguage
subclass
"子类")
domainEnglishFormat.kif 55694-55694
(
termFormat
ChineseLanguage
subclass
"子类别")
chinese_format.kif 320-320
(
termFormat
ChineseTraditionalLanguage
subclass
"子類")
domainEnglishFormat.kif 55693-55693
(
termFormat
EnglishLanguage
subclass
"subclass")
domainEnglishFormat.kif 55692-55692
antecedent
(=>
(
and
(
attribute
?ROOM
Oversized
)
(
immediateInstance
?ROOM ?HOTELUNIT)
(
subclass
?HOTELUNIT
HotelUnit
))
(
exists
(?NORMAL ?AREA1 ?AREA2)
(
and
(
immediateInstance
?NORMAL ?HOTELUNIT)
(
measure
?NORMAL ?AREA1)
(
measure
?ROOM ?AREA2)
(
instance
?AREA1
AreaMeasure
)
(
instance
?AREA2
AreaMeasure
)
(
greaterThan
?AREA2 ?AREA1))))
Hotel.kif 1141-1153
attribute
Object
and
Oversized
立即實例
Object
and
SetOrClass
子類
SetOrClass
and
HotelUnit
Physical
PhysicalQuantity
and
PhysicalQuantity
立即實例
Physical
and
SetOrClass
測量
Physical
and
PhysicalQuantity
測量
Object
and
PhysicalQuantity
例
PhysicalQuantity
and
AreaMeasure
例
PhysicalQuantity
and
AreaMeasure
比較多
PhysicalQuantity
and
PhysicalQuantity
(=>
(
and
(
authors
?AGENT ?CLASS)
(
subclass
?CLASS
MusicalComposition
))
(
composer
?AGENT ?CLASS))
Media.kif 1853-1857
作者
Agent
and
音樂作品
子類
音樂作品
and
音樂作品
Agent
composed
音樂作品
(=>
(
and
(
biochemicalAgentDelivery
?AGENT ?PROCESS)
(
subclass
?SUB ?PROCESS))
(
biochemicalAgentDelivery
?AGENT ?SUB))
WMD.kif 784-788
Process
是
生化劑
的
biochemical
病毒傳遞
子類
Process
and
Process
Process
是
生化劑
的
biochemical
病毒傳遞
(=>
(
and
(
biologicalAgentCarrier
?AGENT ?ORGANISM)
(
subclass
?SUB ?ORGANISM))
(
biologicalAgentCarrier
?AGENT ?SUB))
WMD.kif 931-935
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
(
codeMapping
ISO-4217-A
?A3 ?CURRENCY)
(
codeMapping
ISO-3166-1-alpha-2
?A2 ?AREA)
(
subclass
?AREA
GeopoliticalArea
)
(
equal
?A2
(
SubstringFn
?A3 0 2)))
(
currencyType
?AREA ?CURRENCY))
Media.kif 2859-2865
SymbolicString
在
ISO-4217-A
denotes
UnitOfCurrency
SymbolicString
在
ISO-3166-1-alpha-2
denotes
GeopoliticalArea
子類
GeopoliticalArea
and
GeopoliticalArea
等於
SymbolicString
and
SymbolicString
的
sub
-string 從 0 對於 2
UnitOfCurrency
是
GeopoliticalArea
的
currency
類別
(=>
(
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 606-612
天
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 480-496
CognitiveAgent
是
CognitiveAgent
的
customer
CognitiveAgent
有
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
,
CognitiveAgent
and
CognitiveAgent
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Process
))
(
modalAttribute
(
exists
(?S ?LOC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
agent
?S ?AGENT)
(
patient
?S ?CUST)
(
or
(
instance
?S ?PHYS)
(
and
(
instance
?PROC ?PHY)
(
subProcess
?S ?PROC)))
(
located
?S ?LOC)))
Possibility
))
Hotel.kif 498-514
CognitiveAgent
是
CognitiveAgent
的
customer
CognitiveAgent
有
Physical
子類
Physical
and
Process
模態屬性
entity
entity
元件
entity
and
屬性
CognitiveAgent
agent
entity
and
CognitiveAgent
患者
entity
and
CognitiveAgent
例
entity
and
Physical
例
entity
and
entity
子過程
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 11174-11185
Object
的
maximum
預期價值是
測量
RealNumber
and
UnitOfMeasure
子類
SetOrClass
and
NonCompositeUnitOfMeasure
例
UnitOfMeasure
and
SetOrClass
模態屬性
entity
RealNumber
UANTITY and
entity
例
entity
and
Object
測量
entity
and
測量
RealNumber
UANTITY and
entity
例
entity
and
SetOrClass
比較多
測量
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
(
MeasureFn
?QUANTITY ?UNIT2)
(
MeasureFn
?Q ?UNIT1))))
Unlikely
))
Mid-level-ontology.kif 11145-11156
Object
的
minimum
預期價值是
測量
RealNumber
and
UnitOfMeasure
子類
SetOrClass
and
NonCompositeUnitOfMeasure
例
UnitOfMeasure
and
SetOrClass
模態屬性
entity
RealNumber
UANTITY and
entity
例
entity
and
Object
測量
entity
and
測量
RealNumber
UANTITY and
entity
例
entity
and
SetOrClass
少於
測量
RealNumber
UANTITY and
entity
and
測量
RealNumber
and
UnitOfMeasure
and
較不可能
(=>
(
and
(
diseaseTreatment
?DISEASE ?SUBSTANCE ?PROCESS)
(
subclass
?SUB ?PROCESS))
(
diseaseTreatment
?DISEASE ?SUBSTANCE ?SUB))
WMD.kif 912-916
DiseaseOrSyndrome
是 對於
Process
的
disease
治癒
BiologicallyActiveSubstance
子類
Process
and
Process
DiseaseOrSyndrome
是 對於
Process
的
disease
治癒
BiologicallyActiveSubstance
(=>
(
and
(
diseaseTreatment
?DISEASE ?SUBSTANCE ?PROCESS)
(
subclass
?SUB ?SUBSTANCE))
(
diseaseTreatment
?DISEASE ?SUB ?PROCESS))
WMD.kif 918-922
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 2116-2125
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 2160-2169
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 2206-2215
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 1984-1993
GeopoliticalArea
是 對於
TimeInterval
在週期
PhysicalQuantity
的
electricity
生產
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
PhysicalQuantity
是
GeopoliticalArea
的
annual
電力生產
(=>
(
and
(
equal
?CLASS1
(
ReceivingAnObjectFn
?OBJCLASS1))
(
equal
?CLASS2
(
ReceivingAnObjectFn
?OBJCLASS2))
(
subclass
?OBJCLASS1 ?OBJCLASS2))
(
subclass
?CLASS1 ?CLASS2))
Media.kif 195-200
等於
Getting
and
receiving
一個
Object
等於
Getting
and
receiving
一個
Object
子類
Object
and
Object
子類
Getting
and
Getting
(=>
(
and
(
equal
?DEP
(
DepartmentOfPreventingFn
?COMP ?PHYS))
(
subclass
?PHYS
Process
))
(
inhibits
?DEP ?PHYS))
Mid-level-ontology.kif 16094-16098
等於
and
DepartmentOfPreventingFn
Organization
and
Process
子類
Process
and
Process
抑制
and
Process
(=>
(
and
(
equal
?DEP
(
DepartmentOfPreventingFn
?COMP ?PHYS))
(
subclass
?PHYS
Process
))
(
not
(
desires
?COMP
(
exists
(?P)
(
and
(
instance
?P ?PHYS)
(
involvedInEvent
?P ?COMP))))))
Mid-level-ontology.kif 16100-16109
等於
and
DepartmentOfPreventingFn
Organization
and
Process
子類
Process
and
Process
慾望
Organization
and
entity
例
entity
and
Process
Organization
是事件
entity
的
involved
(=>
(
and
(
exportTotalInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualExportTotal
?AREA ?AMOUNT)))))
Economy.kif 2281-2290
GeopoliticalArea
對於
TimeInterval
在週期
CurrencyMeasure
export
全部
子類
TimeInterval
and
年
子類
TimeInterval
and
GeopoliticalArea
的
fiscal
年
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
CurrencyMeasure
是
GeopoliticalArea
的
annual
總共輸出
(=>
(
and
(
freeRoomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?O ?OBJ)
(
located
?O ?R)
(
instance
?P
Process
)
(
agent
?P ?GUEST)
(
or
(
patient
?P ?O)
(
instrument
?P ?O)
(
resource
?P ?O)))
(
price
?P
(
MeasureFn
0
UnitedStatesDollar
) ?HOTEL))
Hotel.kif 334-349
SetOrClass
的使用對於
HotelUnit
是免費
子類
SetOrClass
and
Object
例
暫住
and
HotelUnit
Human
stays
在
暫住
元件
暫住
and
屬性
Agent
例
Object
and
SetOrClass
位於
Object
and
暫住
例
Process
and
Process
agent
Process
and
Human
患者
Process
and
Object
儀器
Process
and
Object
資源
Process
and
Object
Process
是 對於
Agent
的
price
測量
0 and
美國美元
(=>
(
and
(
freeRoomAmenity
?ROOM ?PROC)
(
subclass
?PROC
Process
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
patient
?P ?GUEST)
(
or
(
instance
?P ?PROC)
(
and
(
instance
?S ?PROC)
(
subProcess
?P ?S)))
(
located
?P ?R))
(
price
?P
(
MeasureFn
0
UnitedStatesDollar
) ?HOTEL))
Hotel.kif 351-365
SetOrClass
的使用對於
HotelUnit
是免費
子類
SetOrClass
and
Process
例
暫住
and
HotelUnit
Human
stays
在
暫住
元件
暫住
and
屬性
Agent
患者
Process
and
Human
例
Process
and
SetOrClass
例
Process
and
SetOrClass
子過程
Process
and
Process
位於
Process
and
暫住
Process
是 對於
Agent
的
price
測量
0 and
美國美元
(=>
(
and
(
functionRoomAmenity
?FR ?PHY)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?HOTEL))
(
instance
?RENT
Renting
)
(
patient
?RENT ?RM)
(
agent
?RENT ?HOTEL)
(
destination
?RENT ?CUST)
(
subclass
?PHY
Object
))
(
modalAttribute
(
exists
(?O ?P)
(
and
(
instance
?O ?PHY)
(
instance
?P
Process
)
(
or
(
resource
?P ?O)
(
instrument
?P ?O)
(
patient
?P ?O))
(
or
(
agent
?P ?CUST)
(
experiencer
?P ?CUST))))
Possibility
))
Hotel.kif 784-805
Physical
的使用對於
HotelFunctionRoom
是免費
例
Entity
and
HotelFunctionRoom
元件
Entity
and
屬性
Agent
例
Process
and
租
患者
Process
and
Entity
agent
Process
and
Agent
目的地
Process
and
Entity
子類
Physical
and
Object
模態屬性
entity
entity
例
entity
and
Physical
例
entity
and
Process
資源
entity
and
entity
儀器
entity
and
entity
患者
entity
and
entity
agent
entity
and
Entity
體驗者
entity
and
Entity
and
可能性
(=>
(
and
(
guest
?CUST ?HOTEL)
(
stays
?CUST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?R ?ROOM)
(
roomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
))
(
exists
(?O)
(
and
(
instance
?O ?OBJ)
(
located
?O ?R)
(
confersRight
(
exists
(?PROC)
(
and
(
agent
?PROC ?CUST)
(
or
(
instrument
?PROC ?O)
(
patient
?PROC ?O)
(
resource
?PROC ?O)))) ?HOTEL ?CUST))))
Hotel.kif 289-308
Human
是在
CognitiveAgent
的
guest
Human
stays
在
暫住
元件
暫住
and
屬性
CognitiveAgent
例
暫住
and
暫住
OOM
Physical
是
amenity
在
暫住
OOM
子類
Physical
and
Object
Physical
例
Physical
and
Physical
位於
Physical
and
暫住
賦予權利
entity
agent
entity
and
Human
儀器
entity
and
Physical
患者
entity
and
Physical
資源
entity
and
Physical
,
CognitiveAgent
and
Human
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
instance
?CLASS
Class
)
(
subclass
?CLASS
Entity
))
Merge.kif 794-796
例
SetOrClass
and
Class
子類
SetOrClass
and
Entity
(=>
(
and
(
domain
?REL ?NUMBER ?CLASS1)
(
domain
?REL ?NUMBER ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 220-226
域
Relation
,
PositiveInteger
and
SetOrClass
域
Relation
,
PositiveInteger
and
SetOrClass
子類
SetOrClass
and
SetOrClass
子類
SetOrClass
and
SetOrClass
(=>
(
and
(
domainSubclass
?REL ?NUMBER ?CLASS)
(
instance
?REL
Predicate
)
(?REL @ROW))
(
subclass
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER) ?CLASS))
Merge.kif 2899-2904
域子類
Relation
,
PositiveInteger
and
SetOrClass
例
Relation
and
Predicate
Relation
@ROW
子類
清單順序
名單
@ROW and
PositiveInteger
and
SetOrClass
(=>
(
and
(
domainSubclass
?REL ?NUMBER ?CLASS1)
(
domainSubclass
?REL ?NUMBER ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 243-249
域子類
Relation
,
PositiveInteger
and
SetOrClass
域子類
Relation
,
PositiveInteger
and
SetOrClass
子類
SetOrClass
and
SetOrClass
子類
SetOrClass
and
SetOrClass
(=>
(
and
(
equal
?CLASS1
(
ReceivingAnObjectFn
?OBJCLASS1))
(
equal
?CLASS2
(
ReceivingAnObjectFn
?OBJCLASS2))
(
subclass
?OBJCLASS1 ?OBJCLASS2))
(
subclass
?CLASS1 ?CLASS2))
Media.kif 195-200
等於
Getting
and
receiving
一個
Object
等於
Getting
and
receiving
一個
Object
子類
Object
and
Object
子類
Getting
and
Getting
(=>
(
and
(
instance
?MENU
AlcoholMenu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
AlcoholicBeverage
))
Dining.kif 215-219
例
Catalog
and
AlcoholMenu
Entity
是在
Catalog
子類
Entity
and
酒精飲料
(=>
(
and
(
instance
?MENU
BeverageMenu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
Beverage
))
Dining.kif 204-208
例
Catalog
and
BeverageMenu
Entity
是在
Catalog
子類
Entity
and
Beverage
(=>
(
and
(
instance
?MENU
Menu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
(
FoodForFn
Human
)))
Dining.kif 178-182
例
Catalog
and
Menu
Entity
是在
Catalog
子類
Entity
and
food
for
Human
(=>
(
and
(
instance
?MENU
WineMenu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
WineMenu
))
Dining.kif 225-229
例
Catalog
and
WineMenu
Entity
是在
Catalog
子類
Entity
and
WineMenu
(=>
(
and
(
instance
?PUB
Publication
)
(
patient
?PUB ?TEXT))
(
subclass
?TEXT
Text
))
Merge.kif 11941-11945
例
Process
and
Publication
患者
Process
and
SetOrClass
子類
SetOrClass
and
Text
(=>
(
and
(
instance
?REL
EconomicRelation
)
(
domain
?REL 1 ?CLASS))
(
subclass
?CLASS
GeopoliticalArea
))
Mid-level-ontology.kif 14488-14492
例
Relation
and
經濟關係
域
Relation
, 1 and
SetOrClass
子類
SetOrClass
and
GeopoliticalArea
(=>
(
and
(
instance
?SEQ
SequenceFunction
)
(
range
?SEQ ?CLASS))
(
subclass
?CLASS
Integer
))
Merge.kif 3280-3284
例
Function
and
SequenceFunction
範圍
Function
and
SetOrClass
子類
SetOrClass
and
Integer
(=>
(
and
(
instance
?X
BreakingRecord
)
(
agent
?X ?A1))
(
exists
(?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)
(
and
(
instance
?AC
Set
)
(
instance
?A1 ?AC)
(
subclass
?PC
Process
)
(
subclass
?L
Region
)
(
instance
?TP
TimePoint
)
(
instance
?Q
Quantity
)
(
refers
?X ?Q)
(
refers
?Q ?PC)
(
playsRoleInEvent
?A1 ?ROLE ?P1)
(
eventLocated
?P1 ?L)
(
not
(
exists
(?A2 ?P2)
(
and
(
instance
?A2 ?AC)
(
not
(
equal
?A2 ?A1))
(
instance
?P2 ?PC)
(
holdsDuring
(
TimeIntervalFn
?TP
(
EndFn
(
WhenFn
?X)))
(
and
(
playsRoleInEvent
?A2 ?ROLE ?P2)
(
eventLocated
?P2 ?L)))))))))
Mid-level-ontology.kif 28228-28257
例
Process
and
BreakingRecord
agent
Process
and
Agent
SetOrClass
SetOrClass
,
Process
,
TimePoint
,
CaseRole
,
SetOrClass
and
Entity
例
SetOrClass
and
Set
例
Agent
and
SetOrClass
子類
SetOrClass
and
Process
子類
SetOrClass
and
Region
例
TimePoint
and
TimePoint
例
Entity
and
Quantity
參照
Process
and
Entity
參照
Entity
and
SetOrClass
Agent
對於
Process
在事件
CaseRole
plays
角色
Process
是
located
在
2
Entity
Entity
例
Entity
and
SetOrClass
等於
Entity
and
Agent
例
Entity
and
SetOrClass
持有期間
時間間隔
TimePoint
and
結束
何時
Process
and
Entity
對於
Entity
在事件
CaseRole
plays
角色
Entity
是
located
在
2
(=>
(
and
(
range
?REL ?CLASS1)
(
range
?REL ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 323-329
範圍
Function
and
SetOrClass
範圍
Function
and
SetOrClass
子類
SetOrClass
and
SetOrClass
子類
SetOrClass
and
SetOrClass
(=>
(
and
(
rangeSubclass
?FUNCTION ?CLASS)
(
equal
(
AssignmentFn
?FUNCTION @ROW) ?VALUE))
(
subclass
?VALUE ?CLASS))
Merge.kif 338-342
範圍子類
Function
and
SetOrClass
等於
任務
Function
and @ROW and
SetOrClass
子類
SetOrClass
and
SetOrClass
(=>
(
and
(
rangeSubclass
?REL ?CLASS1)
(
rangeSubclass
?REL ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 350-356
範圍子類
Function
and
SetOrClass
範圍子類
Function
and
SetOrClass
子類
SetOrClass
and
SetOrClass
子類
SetOrClass
and
SetOrClass
(=>
(
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 18748-18755
attribute
Object
and
醫生
Process
Process
子類
Process
and
DiagnosticProcess
子類
Process
and
TherapeuticProcess
能力
Process
,
agent
and
Object
能力
Process
,
agent
and
Object
(=>
(
classIntersection
?CLASS1 ?CLASS2 ?INTERSECT)
(
and
(
subclass
?INTERSECT ?CLASS1)
(
subclass
?INTERSECT ?CLASS2)))
ComputerInput.kif 74-78
SetOrClass
和
SetOrClass
的
intersection
是
SetOrClass
子類
SetOrClass
and
SetOrClass
子類
SetOrClass
and
SetOrClass
(=>
(
codeMapping
ISO-639-1
?TOKEN ?X)
(
or
(
instance
?X
HumanLanguage
)
(
subclass
?X
HumanLanguage
)))
Languages.kif 14683-14687
SymbolicString
在
ISO-639-1
denotes
SetOrClass
例
SetOrClass
and
HumanLanguage
子類
SetOrClass
and
HumanLanguage
(=>
(
diseaseTreatment
?DISEASE
OralAntibiotic
?PROCESS)
(
subclass
?PROCESS
Ingesting
))
WMD.kif 1206-1208
DiseaseOrSyndrome
是 對於
Process
的
disease
治癒
口服抗生素
子類
Process
and
Ingesting
(=>
(
diseaseTreatment
?DISEASE
TopicalAntibiotic
?PROCESS)
(
subclass
?PROCESS
Covering
))
WMD.kif 1233-1235
DiseaseOrSyndrome
是 對於
Process
的
disease
治癒
外用抗生素
子類
Process
and
Covering
(=>
(
disjointDecomposition
?CLASS @ROW)
(
forall
(?ITEM)
(=>
(
inList
?ITEM
(
ListFn
@ROW))
(
subclass
?ITEM ?CLASS))))
Merge.kif 2844-2849
不相交分解
Class
and @ROW
SetOrClass
在列表中
SetOrClass
and
名單
@ROW
子類
SetOrClass
and
Class
(=>
(
equal
?CLASS
(
GeographicPartTypeFn
?TYPE ?AREA))
(
subclass
?CLASS ?TYPE))
Geography.kif 6352-6354
等於
GeographicArea
and
GeographicArea
所有的
instances
在
GeographicArea
子類
GeographicArea
and
GeographicArea
(=>
(
equal
?X
(
AttrFn
?CLASS ?ATTR))
(
forall
(?I)
(=>
(
instance
?I ?X)
(
and
(
instance
?I ?CLASS)
(
subclass
?X ?CLASS)
(
property
?I ?ATTR)))))
Merge.kif 1689-1698
等於
Class
and
SetOrClass
跟
Attribute
的
attr
Entity
例
Entity
and
Class
例
Entity
and
SetOrClass
子類
Class
and
SetOrClass
屬性
Entity
and
Attribute
(=>
(
groupingTitle
?STRING ?PRODUCTTYPE ?LANGUAGE)
(
subclass
?PRODUCTTYPE
Collection
))
Media.kif 3173-3175
SymbolicString
是在
Language
的
title
對於
SetOrClass
的例子
子類
SetOrClass
and
Collection
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
exists
(?T)
(
and
(
subclass
?T
HandToolBox
)
(
manufacturer
SortimoCorp
?T)))
Cars.kif 5090-5093
Agent
子類
Agent
and
HandToolBox
manufacturer
SortimoCorp
and
Agent
appearance as argument number 0
(
subclass
(
AgentOfOrganismFn
CoccidiodesPosadasii
)
LifeThreateningAgent
)
WMD.kif 1300-1300
子類
球孢子菌 posadasii
的
biological
agent
and
危及生命的特工
(
subclass
(
AgentOfOrganismFn
CoccidioidesImmitis
)
LifeThreateningAgent
)
WMD.kif 1293-1293
子類
球孢子菌絲蟲
的
biological
agent
and
危及生命的特工
(
subclass
(
AgentOfOrganismFn
MalarialPlasmodium
)
BiologicalAgent
)
WMD.kif 1479-1479
子類
瘧疾瘧原蟲
的
biological
agent
and
生物製劑
(
subclass
(
AgentOfOrganismFn
SerratiaMarcenscens
)
LifeThreateningAgent
)
WMD.kif 1288-1288
子類
serratia marcenscens
的
biological
agent
and
危及生命的特工
(
subclass
(
AgentOfOrganismFn
TickBorneEncephalitisVirus
)
LifeThreateningAgent
)
WMD.kif 1840-1840
子類
蜱傳腦炎病毒
的
biological
agent
and
危及生命的特工
(
subclass
(
AgentOfOrganismFn
YersiniaPestis
)
LifeThreateningAgent
)
WMD.kif 400-400
子類
鼠疫耶爾森氏菌
的
biological
agent
and
危及生命的特工
(
subclass
(
DeadFn
Apple
)
GroceryProduce
)
Economy.kif 3938-3938
子類
一個
dead
蘋果
and
雜貨生產
(
subclass
(
DeadFn
Avocado
)
GroceryProduce
)
Economy.kif 3964-3964
子類
一個
dead
鱷梨
and
雜貨生產
(
subclass
(
DeadFn
Banana
)
GroceryProduce
)
Economy.kif 3967-3967
子類
一個
dead
香蕉
and
雜貨生產
(
subclass
(
DeadFn
Berry
)
GroceryProduce
)
Economy.kif 3935-3935
子類
一個
dead
漿果
and
雜貨生產
(
subclass
(
DeadFn
Breadfruit
)
GroceryProduce
)
Economy.kif 3970-3970
子類
一個
dead
麵包果
and
雜貨生產
(
subclass
(
DeadFn
Cabbage
)
GroceryProduce
)
Economy.kif 3843-3843
子類
一個
dead
捲心菜
and
雜貨生產
(
subclass
(
DeadFn
Carrot
)
GroceryProduce
)
Economy.kif 3876-3876
子類
一個
dead
胡蘿蔔
and
雜貨生產
(
subclass
(
DeadFn
Cassava
)
GroceryProduce
)
Economy.kif 3896-3896
子類
一個
dead
木薯
and
雜貨生產
(
subclass
(
DeadFn
Cauliflower
)
GroceryProduce
)
Economy.kif 3846-3846
子類
一個
dead
菜花
and
雜貨生產
(
subclass
(
DeadFn
CitrusFruit
)
GroceryProduce
)
Economy.kif 3944-3944
子類
一個
dead
柑橘類水果
and
雜貨生產
(
subclass
(
DeadFn
Coconut
)
GroceryProduce
)
Economy.kif 3973-3973
子類
一個
dead
椰子
and
雜貨生產
(
subclass
(
DeadFn
Cucumber
)
GroceryProduce
)
Economy.kif 3840-3840
子類
一個
dead
黃瓜
and
雜貨生產
(
subclass
(
DeadFn
DateFruit
)
GroceryProduce
)
Economy.kif 3976-3976
子類
一個
dead
日期水果
and
雜貨生產
(
subclass
(
DeadFn
EdibleNut
)
GroceryProduce
)
Economy.kif 4019-4019
子類
一個
dead
食用堅果
and
雜貨生產
(
subclass
(
DeadFn
Eggplant
)
GroceryProduce
)
Economy.kif 3849-3849
子類
一個
dead
茄子
and
雜貨生產
(
subclass
(
DeadFn
Grape
)
GroceryProduce
)
Economy.kif 3927-3927
子類
一個
dead
葡萄
and
雜貨生產
(
subclass
(
DeadFn
Groundnut
)
GroceryProduce
)
Economy.kif 4033-4033
子類
一個
dead
花生
and
雜貨生產
(
subclass
(
DeadFn
LeafyGreenVegetable
)
GroceryProduce
)
Economy.kif 3837-3837
子類
一個
dead
綠葉蔬菜
and
雜貨生產
(
subclass
(
DeadFn
Mango
)
GroceryProduce
)
Economy.kif 3979-3979
子類
一個
dead
芒果
and
雜貨生產
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