Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
ChinesehLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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
domain
subclass
, 1 and
SetOrClass
(
domain
subclass
2
SetOrClass
)
Merge.kif 131-131
domain
subclass
, 2 and
SetOrClass
(
instance
subclass
BinaryPredicate
)
Merge.kif 128-128
instance
subclass
and
BinaryPredicate
(
instance
subclass
PartialOrderingRelation
)
Merge.kif 129-129
instance
subclass
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 5114-5114
subrelation
subset
and
subclass
(
termFormat
ChineseLanguage
subclass
"子类")
domainEnglishFormat.kif 55628-55628
(
termFormat
ChineseLanguage
subclass
"子类别")
chinese_format.kif 320-320
(
termFormat
ChineseTraditionalLanguage
subclass
"子類")
domainEnglishFormat.kif 55627-55627
(
termFormat
EnglishLanguage
subclass
"subclass")
domainEnglishFormat.kif 55626-55626
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 1140-1152
attribute
Object
and
Oversized
immediateInstance
Object
and
SetOrClass
subclass
SetOrClass
and
HotelUnit
Object
PhysicalQuantity
and
PhysicalQuantity
immediateInstance
Object
and
SetOrClass
measure
Object
and
PhysicalQuantity
measure
Object
and
PhysicalQuantity
instance
PhysicalQuantity
and
AreaMeasure
instance
PhysicalQuantity
and
AreaMeasure
greaterThan
PhysicalQuantity
and
PhysicalQuantity
(=>
(
and
(
authors
?AGENT ?CLASS)
(
subclass
?CLASS
MusicalComposition
))
(
composer
?AGENT ?CLASS))
Media.kif 1853-1857
authors
Agent
and
MusicalComposition
subclass
MusicalComposition
and
MusicalComposition
composer
Agent
and
MusicalComposition
(=>
(
and
(
biochemicalAgentDelivery
?AGENT ?PROCESS)
(
subclass
?SUB ?PROCESS))
(
biochemicalAgentDelivery
?AGENT ?SUB))
WMD.kif 784-788
biochemicalAgentDelivery
BiochemicalAgent
and
Process
subclass
Process
and
Process
biochemicalAgentDelivery
BiochemicalAgent
and
Process
(=>
(
and
(
biologicalAgentCarrier
?AGENT ?ORGANISM)
(
subclass
?SUB ?ORGANISM))
(
biologicalAgentCarrier
?AGENT ?SUB))
WMD.kif 931-935
biologicalAgentCarrier
BiologicalAgent
and
Organism
subclass
Organism
and
Organism
biologicalAgentCarrier
BiologicalAgent
and
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
capability
Process
,
CaseRole
and
Object
subclass
Process
and
Shooting
Object
instance
Object
and
Weapon
part
Object
and
Object
capability
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
codeMapping
ISO-4217-A
,
SymbolicString
and
UnitOfCurrency
codeMapping
ISO-3166-1-alpha-2
,
SymbolicString
and
GeopoliticalArea
subclass
GeopoliticalArea
and
GeopoliticalArea
equal
SymbolicString
and
SubstringFn
SymbolicString
, 0 and 2
currencyType
GeopoliticalArea
and
UnitOfCurrency
(=>
(
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
commemoratesDate
Holiday
and
DayFn
PositiveInteger
and
MonthFn
Month
and
YearFn
Integer
instance
Entity
and
Holiday
subclass
Holiday
and
FixedHoliday
lessThanOrEqualTo
Integer
and
entity
-YEAR
instance
Entity
and
DayFn
PositiveInteger
and
MonthFn
Month
and
YearFn
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
customer
CognitiveAgent
and
CognitiveAgent
propertyAmenity
CognitiveAgent
and
Physical
subclass
Physical
and
Object
instance
Entity
and
Physical
confersRight
entity
instance
entity
and
Process
resource
entity
and
Entity
instrument
entity
and
Entity
patient
entity
and
Entity
agent
entity
and
CognitiveAgent
experiencer
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
customer
CognitiveAgent
and
CognitiveAgent
propertyAmenity
CognitiveAgent
and
Physical
subclass
Physical
and
Process
modalAttribute
entity
entity
element
entity
and
PropertyFn
CognitiveAgent
agent
entity
and
CognitiveAgent
patient
entity
and
CognitiveAgent
instance
entity
and
Physical
instance
entity
and
entity
subProcess
entity
and
entity
located
entity
and
entity
and
Possibility
(=>
(
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
defaultMaximumMeasure
Object
and
MeasureFn
RealNumber
and
UnitOfMeasure
subclass
SetOrClass
and
NonCompositeUnitOfMeasure
instance
UnitOfMeasure
and
SetOrClass
modalAttribute
entity
RealNumber
UANTITY and
entity
instance
entity
and
Object
measure
entity
and
MeasureFn
RealNumber
UANTITY and
entity
instance
entity
and
SetOrClass
greaterThan
MeasureFn
RealNumber
UANTITY and
entity
and
MeasureFn
RealNumber
and
UnitOfMeasure
and
Unlikely
(=>
(
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
defaultMinimumMeasure
Object
and
MeasureFn
RealNumber
and
UnitOfMeasure
subclass
SetOrClass
and
NonCompositeUnitOfMeasure
instance
UnitOfMeasure
and
SetOrClass
modalAttribute
entity
RealNumber
UANTITY and
entity
instance
entity
and
Object
measure
entity
and
MeasureFn
RealNumber
UANTITY and
entity
instance
entity
and
SetOrClass
lessThan
MeasureFn
RealNumber
UANTITY and
entity
and
MeasureFn
RealNumber
and
UnitOfMeasure
and
Unlikely
(=>
(
and
(
diseaseTreatment
?DISEASE ?SUBSTANCE ?PROCESS)
(
subclass
?SUB ?PROCESS))
(
diseaseTreatment
?DISEASE ?SUBSTANCE ?SUB))
WMD.kif 912-916
diseaseTreatment
DiseaseOrSyndrome
,
BiologicallyActiveSubstance
and
Process
subclass
Process
and
Process
diseaseTreatment
DiseaseOrSyndrome
,
BiologicallyActiveSubstance
and
Process
(=>
(
and
(
diseaseTreatment
?DISEASE ?SUBSTANCE ?PROCESS)
(
subclass
?SUB ?SUBSTANCE))
(
diseaseTreatment
?DISEASE ?SUB ?PROCESS))
WMD.kif 918-922
diseaseTreatment
DiseaseOrSyndrome
,
BiologicallyActiveSubstance
and
Process
subclass
BiologicallyActiveSubstance
and
BiologicallyActiveSubstance
diseaseTreatment
DiseaseOrSyndrome
,
BiologicallyActiveSubstance
and
Process
(=>
(
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
electricityConsumptionInPeriod
GeopoliticalArea
,
PhysicalQuantity
and
TimeInterval
subclass
TimeInterval
and
Year
subclass
TimeInterval
and
FiscalYearFn
GeopoliticalArea
TimePosition
instance
TimePosition
and
TimeInterval
holdsDuring
TimePosition
and
annualElectricityConsumption
GeopoliticalArea
and
PhysicalQuantity
(=>
(
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
electricityExportInPeriod
GeopoliticalArea
,
PhysicalQuantity
and
TimeInterval
subclass
TimeInterval
and
Year
subclass
TimeInterval
and
FiscalYearFn
GeopoliticalArea
TimePosition
instance
TimePosition
and
TimeInterval
holdsDuring
TimePosition
and
annualElectricityExport
GeopoliticalArea
and
PhysicalQuantity
(=>
(
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
electricityImportInPeriod
GeopoliticalArea
,
PhysicalQuantity
and
TimeInterval
subclass
TimeInterval
and
Year
subclass
TimeInterval
and
FiscalYearFn
GeopoliticalArea
TimePosition
instance
TimePosition
and
TimeInterval
holdsDuring
TimePosition
and
annualElectricityImport
GeopoliticalArea
and
PhysicalQuantity
(=>
(
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
electricityProductionInPeriod
GeopoliticalArea
,
PhysicalQuantity
and
TimeInterval
subclass
TimeInterval
and
Year
subclass
TimeInterval
and
FiscalYearFn
GeopoliticalArea
TimePosition
instance
TimePosition
and
TimeInterval
holdsDuring
TimePosition
and
annualElectricityProduction
GeopoliticalArea
and
PhysicalQuantity
(=>
(
and
(
equal
?CLASS1
(
ReceivingAnObjectFn
?OBJCLASS1))
(
equal
?CLASS2
(
ReceivingAnObjectFn
?OBJCLASS2))
(
subclass
?OBJCLASS1 ?OBJCLASS2))
(
subclass
?CLASS1 ?CLASS2))
Media.kif 195-200
equal
Getting
and
ReceivingAnObjectFn
Object
equal
Getting
and
ReceivingAnObjectFn
Object
subclass
Object
and
Object
subclass
Getting
and
Getting
(=>
(
and
(
equal
?DEP
(
DepartmentOfPreventingFn
?COMP ?PHYS))
(
subclass
?PHYS
Process
))
(
inhibits
?DEP ?PHYS))
Mid-level-ontology.kif 16094-16098
equal
and
DepartmentOfPreventingFn
Organization
and
Process
subclass
Process
and
Process
inhibits
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
equal
and
DepartmentOfPreventingFn
Organization
and
Process
subclass
Process
and
Process
desires
Organization
and
entity
instance
entity
and
Process
involvedInEvent
entity
and
Organization
(=>
(
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
exportTotalInPeriod
GeopoliticalArea
,
CurrencyMeasure
and
TimeInterval
subclass
TimeInterval
and
Year
subclass
TimeInterval
and
FiscalYearFn
GeopoliticalArea
TimePosition
instance
TimePosition
and
TimeInterval
holdsDuring
TimePosition
and
annualExportTotal
GeopoliticalArea
and
CurrencyMeasure
(=>
(
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
freeRoomAmenity
HotelUnit
and
SetOrClass
subclass
SetOrClass
and
Object
instance
TemporaryResidence
and
HotelUnit
stays
Human
and
TemporaryResidence
element
TemporaryResidence
and
PropertyFn
Agent
instance
Object
and
SetOrClass
located
Object
and
TemporaryResidence
instance
Process
and
Process
agent
Process
and
Human
patient
Process
and
Object
instrument
Process
and
Object
resource
Process
and
Object
price
Process
,
MeasureFn
0 and
UnitedStatesDollar
and
Agent
(=>
(
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
freeRoomAmenity
HotelUnit
and
SetOrClass
subclass
SetOrClass
and
Process
instance
TemporaryResidence
and
HotelUnit
stays
Human
and
TemporaryResidence
element
TemporaryResidence
and
PropertyFn
Agent
patient
Process
and
Human
instance
Process
and
SetOrClass
instance
Process
and
SetOrClass
subProcess
Process
and
Process
located
Process
and
TemporaryResidence
price
Process
,
MeasureFn
0 and
UnitedStatesDollar
and
Agent
(=>
(
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
functionRoomAmenity
HotelFunctionRoom
and
Physical
instance
Entity
and
HotelFunctionRoom
element
Entity
and
PropertyFn
Agent
instance
Process
and
Renting
patient
Process
and
Entity
agent
Process
and
Agent
destination
Process
and
Entity
subclass
Physical
and
Object
modalAttribute
entity
entity
instance
entity
and
Physical
instance
entity
and
Process
resource
entity
and
entity
instrument
entity
and
entity
patient
entity
and
entity
agent
entity
and
Entity
experiencer
entity
and
Entity
and
Possibility
(=>
(
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
guest
Human
and
CognitiveAgent
stays
Human
and
TemporaryResidence
element
TemporaryResidence
and
PropertyFn
CognitiveAgent
instance
TemporaryResidence
and
TemporaryResidence
OOM
roomAmenity
TemporaryResidence
OOM and
Physical
subclass
Physical
and
Object
Physical
instance
Physical
and
Physical
located
Physical
and
TemporaryResidence
confersRight
entity
agent
entity
and
Human
instrument
entity
and
Physical
patient
entity
and
Physical
resource
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
instance
SetOrClass
and
Class
subclass
SetOrClass
and
Entity
(=>
(
and
(
domain
?REL ?NUMBER ?CLASS1)
(
domain
?REL ?NUMBER ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 220-226
domain
Relation
,
PositiveInteger
and
SetOrClass
domain
Relation
,
PositiveInteger
and
SetOrClass
subclass
SetOrClass
and
SetOrClass
subclass
SetOrClass
and
SetOrClass
(=>
(
and
(
domainSubclass
?REL ?NUMBER ?CLASS)
(
instance
?REL
Predicate
)
(?REL @ROW))
(
subclass
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER) ?CLASS))
Merge.kif 2899-2904
domainSubclass
Relation
,
PositiveInteger
and
SetOrClass
instance
Relation
and
Predicate
Relation
@ROW
subclass
ListOrderFn
ListFn
@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
domainSubclass
Relation
,
PositiveInteger
and
SetOrClass
domainSubclass
Relation
,
PositiveInteger
and
SetOrClass
subclass
SetOrClass
and
SetOrClass
subclass
SetOrClass
and
SetOrClass
(=>
(
and
(
equal
?CLASS1
(
ReceivingAnObjectFn
?OBJCLASS1))
(
equal
?CLASS2
(
ReceivingAnObjectFn
?OBJCLASS2))
(
subclass
?OBJCLASS1 ?OBJCLASS2))
(
subclass
?CLASS1 ?CLASS2))
Media.kif 195-200
equal
Getting
and
ReceivingAnObjectFn
Object
equal
Getting
and
ReceivingAnObjectFn
Object
subclass
Object
and
Object
subclass
Getting
and
Getting
(=>
(
and
(
instance
?MENU
AlcoholMenu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
AlcoholicBeverage
))
Dining.kif 215-219
instance
Catalog
and
AlcoholMenu
catalogItem
Entity
and
Catalog
subclass
Entity
and
AlcoholicBeverage
(=>
(
and
(
instance
?MENU
BeverageMenu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
Beverage
))
Dining.kif 204-208
instance
Catalog
and
BeverageMenu
catalogItem
Entity
and
Catalog
subclass
Entity
and
Beverage
(=>
(
and
(
instance
?MENU
Menu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
(
FoodForFn
Human
)))
Dining.kif 178-182
instance
Catalog
and
Menu
catalogItem
Entity
and
Catalog
subclass
Entity
and
FoodForFn
Human
(=>
(
and
(
instance
?MENU
WineMenu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
WineMenu
))
Dining.kif 225-229
instance
Catalog
and
WineMenu
catalogItem
Entity
and
Catalog
subclass
Entity
and
WineMenu
(=>
(
and
(
instance
?PUB
Publication
)
(
patient
?PUB ?TEXT))
(
subclass
?TEXT
Text
))
Merge.kif 11929-11933
instance
Process
and
Publication
patient
Process
and
SetOrClass
subclass
SetOrClass
and
Text
(=>
(
and
(
instance
?REL
EconomicRelation
)
(
domain
?REL 1 ?CLASS))
(
subclass
?CLASS
GeopoliticalArea
))
Mid-level-ontology.kif 14488-14492
instance
Relation
and
EconomicRelation
domain
Relation
, 1 and
SetOrClass
subclass
SetOrClass
and
GeopoliticalArea
(=>
(
and
(
instance
?SEQ
SequenceFunction
)
(
range
?SEQ ?CLASS))
(
subclass
?CLASS
Integer
))
Merge.kif 3274-3278
instance
Function
and
SequenceFunction
range
Function
and
SetOrClass
subclass
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
instance
Process
and
BreakingRecord
agent
Process
and
Agent
SetOrClass
SetOrClass
,
Process
,
TimePoint
,
CaseRole
,
SetOrClass
and
Entity
instance
SetOrClass
and
Set
instance
Agent
and
SetOrClass
subclass
SetOrClass
and
Process
subclass
SetOrClass
and
Region
instance
TimePoint
and
TimePoint
instance
Entity
and
Quantity
refers
Process
and
Entity
refers
Entity
and
SetOrClass
playsRoleInEvent
Agent
,
CaseRole
and
Process
eventLocated
Process
and
SetOrClass
Entity
Entity
instance
Entity
and
SetOrClass
equal
Entity
and
Agent
instance
Entity
and
SetOrClass
holdsDuring
TimeIntervalFn
TimePoint
and
EndFn
WhenFn
Process
and
playsRoleInEvent
Entity
,
CaseRole
and
Entity
eventLocated
Entity
and
SetOrClass
(=>
(
and
(
range
?REL ?CLASS1)
(
range
?REL ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 323-329
range
Function
and
SetOrClass
range
Function
and
SetOrClass
subclass
SetOrClass
and
SetOrClass
subclass
SetOrClass
and
SetOrClass
(=>
(
and
(
rangeSubclass
?FUNCTION ?CLASS)
(
equal
(
AssignmentFn
?FUNCTION @ROW) ?VALUE))
(
subclass
?VALUE ?CLASS))
Merge.kif 338-342
rangeSubclass
Function
and
SetOrClass
equal
AssignmentFn
Function
and @ROW and
SetOrClass
subclass
SetOrClass
and
SetOrClass
(=>
(
and
(
rangeSubclass
?REL ?CLASS1)
(
rangeSubclass
?REL ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 350-356
rangeSubclass
Function
and
SetOrClass
rangeSubclass
Function
and
SetOrClass
subclass
SetOrClass
and
SetOrClass
subclass
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
MedicalDoctor
Process
Process
subclass
Process
and
DiagnosticProcess
subclass
Process
and
TherapeuticProcess
capability
Process
,
agent
and
Object
capability
Process
,
agent
and
Object
(=>
(
classIntersection
?CLASS1 ?CLASS2 ?INTERSECT)
(
and
(
subclass
?INTERSECT ?CLASS1)
(
subclass
?INTERSECT ?CLASS2)))
ComputerInput.kif 74-78
classIntersection
SetOrClass
,
SetOrClass
and
SetOrClass
subclass
SetOrClass
and
SetOrClass
subclass
SetOrClass
and
SetOrClass
(=>
(
codeMapping
ISO-639-1
?TOKEN ?X)
(
or
(
instance
?X
HumanLanguage
)
(
subclass
?X
HumanLanguage
)))
Languages.kif 14683-14687
codeMapping
ISO-639-1
,
SymbolicString
and
SetOrClass
instance
SetOrClass
and
HumanLanguage
subclass
SetOrClass
and
HumanLanguage
(=>
(
diseaseTreatment
?DISEASE
OralAntibiotic
?PROCESS)
(
subclass
?PROCESS
Ingesting
))
WMD.kif 1206-1208
diseaseTreatment
DiseaseOrSyndrome
,
OralAntibiotic
and
Process
subclass
Process
and
Ingesting
(=>
(
diseaseTreatment
?DISEASE
TopicalAntibiotic
?PROCESS)
(
subclass
?PROCESS
Covering
))
WMD.kif 1233-1235
diseaseTreatment
DiseaseOrSyndrome
,
TopicalAntibiotic
and
Process
subclass
Process
and
Covering
(=>
(
disjointDecomposition
?CLASS @ROW)
(
forall
(?ITEM)
(=>
(
inList
?ITEM
(
ListFn
@ROW))
(
subclass
?ITEM ?CLASS))))
Merge.kif 2844-2849
disjointDecomposition
Class
and @ROW
SetOrClass
inList
SetOrClass
and
ListFn
@ROW
subclass
SetOrClass
and
Class
(=>
(
equal
?CLASS
(
GeographicPartTypeFn
?TYPE ?AREA))
(
subclass
?CLASS ?TYPE))
Geography.kif 6352-6354
equal
GeographicArea
and
GeographicPartTypeFn
GeographicArea
and
GeographicArea
subclass
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
equal
Class
and
AttrFn
SetOrClass
and
Attribute
Entity
instance
Entity
and
Class
instance
Entity
and
SetOrClass
subclass
Class
and
SetOrClass
property
Entity
and
Attribute
(=>
(
groupingTitle
?STRING ?PRODUCTTYPE ?LANGUAGE)
(
subclass
?PRODUCTTYPE
Collection
))
Media.kif 3173-3175
groupingTitle
SymbolicString
,
SetOrClass
and
Language
subclass
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
subclass
Agent
and
HandToolBox
manufacturer
SortimoCorp
and
Agent
appearance as argument number 0
(
subclass
(
AgentOfOrganismFn
CoccidiodesPosadasii
)
LifeThreateningAgent
)
WMD.kif 1300-1300
subclass
AgentOfOrganismFn
CoccidiodesPosadasii
and
LifeThreateningAgent
(
subclass
(
AgentOfOrganismFn
CoccidioidesImmitis
)
LifeThreateningAgent
)
WMD.kif 1293-1293
subclass
AgentOfOrganismFn
CoccidioidesImmitis
and
LifeThreateningAgent
(
subclass
(
AgentOfOrganismFn
MalarialPlasmodium
)
BiologicalAgent
)
WMD.kif 1479-1479
subclass
AgentOfOrganismFn
MalarialPlasmodium
and
BiologicalAgent
(
subclass
(
AgentOfOrganismFn
SerratiaMarcenscens
)
LifeThreateningAgent
)
WMD.kif 1288-1288
subclass
AgentOfOrganismFn
SerratiaMarcenscens
and
LifeThreateningAgent
(
subclass
(
AgentOfOrganismFn
TickBorneEncephalitisVirus
)
LifeThreateningAgent
)
WMD.kif 1840-1840
subclass
AgentOfOrganismFn
TickBorneEncephalitisVirus
and
LifeThreateningAgent
(
subclass
(
AgentOfOrganismFn
YersiniaPestis
)
LifeThreateningAgent
)
WMD.kif 400-400
subclass
AgentOfOrganismFn
YersiniaPestis
and
LifeThreateningAgent
(
subclass
(
DeadFn
Apple
)
GroceryProduce
)
Economy.kif 3938-3938
subclass
DeadFn
Apple
and
GroceryProduce
(
subclass
(
DeadFn
Avocado
)
GroceryProduce
)
Economy.kif 3964-3964
subclass
DeadFn
Avocado
and
GroceryProduce
(
subclass
(
DeadFn
Banana
)
GroceryProduce
)
Economy.kif 3967-3967
subclass
DeadFn
Banana
and
GroceryProduce
(
subclass
(
DeadFn
Berry
)
GroceryProduce
)
Economy.kif 3935-3935
subclass
DeadFn
Berry
and
GroceryProduce
(
subclass
(
DeadFn
Breadfruit
)
GroceryProduce
)
Economy.kif 3970-3970
subclass
DeadFn
Breadfruit
and
GroceryProduce
(
subclass
(
DeadFn
Cabbage
)
GroceryProduce
)
Economy.kif 3843-3843
subclass
DeadFn
Cabbage
and
GroceryProduce
(
subclass
(
DeadFn
Carrot
)
GroceryProduce
)
Economy.kif 3876-3876
subclass
DeadFn
Carrot
and
GroceryProduce
(
subclass
(
DeadFn
Cassava
)
GroceryProduce
)
Economy.kif 3896-3896
subclass
DeadFn
Cassava
and
GroceryProduce
(
subclass
(
DeadFn
Cauliflower
)
GroceryProduce
)
Economy.kif 3846-3846
subclass
DeadFn
Cauliflower
and
GroceryProduce
(
subclass
(
DeadFn
CitrusFruit
)
GroceryProduce
)
Economy.kif 3944-3944
subclass
DeadFn
CitrusFruit
and
GroceryProduce
(
subclass
(
DeadFn
Coconut
)
GroceryProduce
)
Economy.kif 3973-3973
subclass
DeadFn
Coconut
and
GroceryProduce
(
subclass
(
DeadFn
Cucumber
)
GroceryProduce
)
Economy.kif 3840-3840
subclass
DeadFn
Cucumber
and
GroceryProduce
(
subclass
(
DeadFn
DateFruit
)
GroceryProduce
)
Economy.kif 3976-3976
subclass
DeadFn
DateFruit
and
GroceryProduce
(
subclass
(
DeadFn
EdibleNut
)
GroceryProduce
)
Economy.kif 4019-4019
subclass
DeadFn
EdibleNut
and
GroceryProduce
(
subclass
(
DeadFn
Eggplant
)
GroceryProduce
)
Economy.kif 3849-3849
subclass
DeadFn
Eggplant
and
GroceryProduce
(
subclass
(
DeadFn
Grape
)
GroceryProduce
)
Economy.kif 3927-3927
subclass
DeadFn
Grape
and
GroceryProduce
(
subclass
(
DeadFn
Groundnut
)
GroceryProduce
)
Economy.kif 4033-4033
subclass
DeadFn
Groundnut
and
GroceryProduce
(
subclass
(
DeadFn
LeafyGreenVegetable
)
GroceryProduce
)
Economy.kif 3837-3837
subclass
DeadFn
LeafyGreenVegetable
and
GroceryProduce
(
subclass
(
DeadFn
Mango
)
GroceryProduce
)
Economy.kif 3979-3979
subclass
DeadFn
Mango
and
GroceryProduce
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