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
The number 1 argument of
subclass
is an
instance
of
set or class
(
domain
subclass
2
SetOrClass
)
Merge.kif 131-131
The number 2 argument of
subclass
is an
instance
of
set or class
(
instance
subclass
BinaryPredicate
)
Merge.kif 128-128
subclass
is an
instance
of
binary predicate
(
instance
subclass
PartialOrderingRelation
)
Merge.kif 129-129
subclass
is an
instance
of
partial ordering relation
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
subset
is a
subrelation
of
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
If
oversized
is an
attribute
of
an object
and
the object
is an
immediate
instance of
a set or class
and
the set or class
is a
subclass
of
hotel unit
,
then there exist
another object
,
a physical quantity
and
another physical quantity
such that
the other object
is an
immediate
instance of
the set or class
and the
measure
of
the other object
is
the physical quantity
and the
measure
of
the object
is
the other physical quantity
and
the physical quantity
is an
instance
of
area measure
and
the other physical quantity
is an
instance
of
area measure
and
the other physical quantity
is
greater
than
the physical quantity
(=>
(
and
(
authors
?AGENT ?CLASS)
(
subclass
?CLASS
MusicalComposition
))
(
composer
?AGENT ?CLASS))
Media.kif 1853-1857
If
an agent
is the
author
of
a kind of musical composition
and
a kind of musical composition
is a
subclass
of
musical composition
,
then
the agent
composed
the kind of musical composition
(=>
(
and
(
biochemicalAgentDelivery
?AGENT ?PROCESS)
(
subclass
?SUB ?PROCESS))
(
biochemicalAgentDelivery
?AGENT ?SUB))
WMD.kif 784-788
If
a kind of process
is a
biochemical
agent delivery of
a kind of biochemical agent
and
another kind of process
is a
subclass
of
a kind of process
,
then
another kind of process
is a
biochemical
agent delivery of
a kind of biochemical agent
(=>
(
and
(
biologicalAgentCarrier
?AGENT ?ORGANISM)
(
subclass
?SUB ?ORGANISM))
(
biologicalAgentCarrier
?AGENT ?SUB))
WMD.kif 931-935
If
a kind of organism
is a
biological
agent carrier of
a kind of biological agent
and
another kind of organism
is a
subclass
of
a kind of organism
,
then
another kind of organism
is a
biological
agent carrier of
a kind of biological agent
(=>
(
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
If
an object
is
capable
of doing
a kind of process
as a
a case role
and
a kind of process
is a
subclass
of
shooting
,
then there exists
another object
such that
the other object
is an
instance
of
weapon
and
the other object
is a
part
of
the object
and
the other object
is
capable
of doing
the kind of process
as a
the case role
(=>
(
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
If
a symbolic string
in
ISO-4217-A
denotes
an UnitOfCurrency
and
another symbolic string
in
ISO-3166-1-alpha-2
denotes
a geopolitical area
and
the geopolitical area
is a
subclass
of
geopolitical area
and
the other symbolic string
is
equal
to the
sub
-string of
the symbolic string
from 0 to 2,
then
the UnitOfCurrency
is a
currency
type of
the geopolitical area
(=>
(
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
If the
day
a positive integer
is a
commemorates
date of
a holiday
and
an entity
is an
instance
of
the holiday
and
the holiday
is a
subclass
of
fixed holiday
and
an integer
is
less
than or equal to
another entity
-YEAR,
then
the entity
is an
instance
of the
day
the positive integer
(=>
(
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
If
a cognitive agent
is a
customer
of
another cognitive agent
and
the cognitive agent
has
a kind of physical
and
a kind of physical
is a
subclass
of
object
and
an entity
is an
instance
of
the kind of physical
,
then
the cognitive agent
allow
s
the other cognitive agent
to perform task of the type there exists
another entity
such that
the other entity
is an
instance
of
process
and
the entity
is a
resource
for
the other entity
or
the entity
is an
instrument
for
the other entity
or
the entity
is a
patient
of
the other entity
and
the other cognitive agent
is an
agent
of
the other entity
or
the other cognitive agent
experience
s
the other entity
(=>
(
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
If
a cognitive agent
is a
customer
of
another cognitive agent
and
the cognitive agent
has
a kind of physical
and
a kind of physical
is a
subclass
of
process
,
then the statement there exist
an entity
and
another entity
such that
the other entity
is an
element
of
belongings
of
the cognitive agent
and
the cognitive agent
is an
agent
of
the entity
and
the other cognitive agent
is a
patient
of
the entity
and
the entity
is an
instance
of
the kind of physical
or
a third entity
is an
instance
of
a fourth entity
and
the entity
is a
subprocess
of
the third entity
and
the entity
is
located
at
the other entity
has the
modal
force
of
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
If the
maximum
expected value of
a kind of object
is
a real number
an unit of measure
(s) and
a set or class
is a
subclass
of
NonCompositeUnitOfMeasure
and
the unit of measure
is an
instance
of
the set or class
,
then the statement there exist
an entity
,
the real number
UANTITY and
a third entity
such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the third entity
(s) and
the third entity
is an
instance
of
the set or class
and
the real number
UANTITY
the third entity
(s) is
greater
than
the real number
the unit of measure
(s) has the
modal
force
of
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
If the
minimum
expected value of
a kind of object
is
a real number
an unit of measure
(s) and
a set or class
is a
subclass
of
NonCompositeUnitOfMeasure
and
the unit of measure
is an
instance
of
the set or class
,
then the statement there exist
an entity
,
the real number
UANTITY and
a third entity
such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the third entity
(s) and
the third entity
is an
instance
of
the set or class
and
the real number
UANTITY
the third entity
(s) is
less
than
the real number
the unit of measure
(s) has the
modal
force
of
unlikely
(=>
(
and
(
diseaseTreatment
?DISEASE ?SUBSTANCE ?PROCESS)
(
subclass
?SUB ?PROCESS))
(
diseaseTreatment
?DISEASE ?SUBSTANCE ?SUB))
WMD.kif 912-916
If
a disease or syndrome
is
disease
treatment
a kind of biologically active substance
for
a kind of process
and
another kind of process
is a
subclass
of
a kind of process
,
then
the disease or syndrome
is
disease
treatment
a kind of biologically active substance
for
another kind of process
(=>
(
and
(
diseaseTreatment
?DISEASE ?SUBSTANCE ?PROCESS)
(
subclass
?SUB ?SUBSTANCE))
(
diseaseTreatment
?DISEASE ?SUB ?PROCESS))
WMD.kif 918-922
If
a disease or syndrome
is
disease
treatment
a kind of biologically active substance
for
a kind of process
and
another kind of biologically active substance
is a
subclass
of
a kind of biologically active substance
,
then
the disease or syndrome
is
disease
treatment
another kind of biologically active substance
for
a kind of 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
If
a geopolitical area
is
electricity
consumption in period
a physical quantity
for
a kind of time interval
and
a kind of time interval
is a
subclass
of
year
or
the kind of time interval
is a
subclass
of the
fiscal
year of
the geopolitical area
,
then there exists
a time position
such that
the time position
is an
instance
of
the kind of time interval
and
the physical quantity
is an
annual
electricity consumption of
the geopolitical area
holds
during
the time position
(=>
(
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
If
a geopolitical area
is
electricity
export in period
a physical quantity
for
a kind of time interval
and
a kind of time interval
is a
subclass
of
year
or
the kind of time interval
is a
subclass
of the
fiscal
year of
the geopolitical area
,
then there exists
a time position
such that
the time position
is an
instance
of
the kind of time interval
and
the physical quantity
is an
annual
electricity export of
the geopolitical area
holds
during
the time position
(=>
(
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
If
a geopolitical area
is
electricity
import in period
a physical quantity
for
a kind of time interval
and
a kind of time interval
is a
subclass
of
year
or
the kind of time interval
is a
subclass
of the
fiscal
year of
the geopolitical area
,
then there exists
a time position
such that
the time position
is an
instance
of
the kind of time interval
and
the physical quantity
is an
annual
electricity import of
the geopolitical area
holds
during
the time position
(=>
(
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
If
a geopolitical area
is
electricity
production in period
a physical quantity
for
a kind of time interval
and
a kind of time interval
is a
subclass
of
year
or
the kind of time interval
is a
subclass
of the
fiscal
year of
the geopolitical area
,
then there exists
a time position
such that
the time position
is an
instance
of
the kind of time interval
and
the physical quantity
is an
annual
electricity production of
the geopolitical area
holds
during
the time position
(=>
(
and
(
equal
?CLASS1
(
ReceivingAnObjectFn
?OBJCLASS1))
(
equal
?CLASS2
(
ReceivingAnObjectFn
?OBJCLASS2))
(
subclass
?OBJCLASS1 ?OBJCLASS2))
(
subclass
?CLASS1 ?CLASS2))
Media.kif 195-200
If
a kind of getting
is
equal
to
receiving
a
a kind of object
and
another kind of getting
is
equal
to
receiving
a
another kind of object
and
a kind of object
is a
subclass
of
another kind of object
,
then
a kind of getting
is a
subclass
of
another kind of getting
(=>
(
and
(
equal
?DEP
(
DepartmentOfPreventingFn
?COMP ?PHYS))
(
subclass
?PHYS
Process
))
(
inhibits
?DEP ?PHYS))
Mid-level-ontology.kif 16094-16098
(=>
(
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
(
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
If
a geopolitical area
export
total in period
a currency measure
for
a kind of time interval
and
a kind of time interval
is a
subclass
of
year
or
the kind of time interval
is a
subclass
of the
fiscal
year of
the geopolitical area
,
then there exists
a time position
such that
the time position
is an
instance
of
the kind of time interval
and
the currency measure
is an
annual
export total of
the geopolitical area
holds
during
the time position
(=>
(
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
If use of
a set or class
is free for
a kind of hotel unit
and
the set or class
is a
subclass
of
object
and
a temporary residence
is an
instance
of
a kind of hotel unit
and
a human
stays
at
the temporary residence
and
the temporary residence
is an
element
of
belongings
of
an agent
and
an object
is an
instance
of
the set or class
and
the object
is
located
at
the temporary residence
and
a process
is an
instance
of
process
and
the human
is an
agent
of
the process
and
the object
is a
patient
of
the process
or
the object
is an
instrument
for
the process
or
the object
is a
resource
for
the process
,
then
the process
is
price
0
united states dollar
(s) for
the 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
If use of
a set or class
is free for
a kind of hotel unit
and
the set or class
is a
subclass
of
process
and
a temporary residence
is an
instance
of
a kind of hotel unit
and
a human
stays
at
the temporary residence
and
the temporary residence
is an
element
of
belongings
of
an agent
and
the human
is a
patient
of
a process
and
the process
is an
instance
of
the set or class
or
another process
is an
instance
of
the set or class
and
the process
is a
subprocess
of
the other process
and
the process
is
located
at
the temporary residence
,
then
the process
is
price
0
united states dollar
(s) for
the 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
If use of
a kind of physical
is free for
a kind of hotel function room
and
an entity
is an
instance
of
a kind of hotel function room
and
the entity
is an
element
of
belongings
of
an agent
and
a process
is an
instance
of
renting
and
the entity
is a
patient
of
the process
and
the agent
is an
agent
of
the process
and
the process
end
s up at
another entity
and
a kind of physical
is a
subclass
of
object
,
then the statement there exist
a third entity
and
a fourth entity
such that
the third entity
is an
instance
of
the kind of physical
and
the fourth entity
is an
instance
of
process
and
the third entity
is a
resource
for
the fourth entity
or
the third entity
is an
instrument
for
the fourth entity
or
the third entity
is a
patient
of
the fourth entity
and
the other entity
is an
agent
of
the fourth entity
or
the other entity
experience
s
the fourth entity
has the
modal
force
of
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
If
a human
is a
guest
at
a cognitive agent
and
the human
stays
at
a temporary residence
and
the temporary residence
is an
element
of
belongings
of
the cognitive agent
and
the temporary residence
is an
instance
of
the temporary residence
OOM and
a kind of physical
is an
amenity
in
the temporary residence
OOM and
a kind of physical
is a
subclass
of
object
,
then there exists
another physical
such that
the other physical
is an
instance
of
the kind of physical
and
the other physical
is
located
at
the temporary residence
and
the cognitive agent
allow
s
the human
to perform task of the type there exists
an entity
such that
the human
is an
agent
of
the entity
and
the other physical
is an
instrument
for
the entity
or
the other physical
is a
patient
of
the entity
or
the other physical
is a
resource
for
the entity
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
A set or class
is an
instance
of
class
if and only if
the set or class
is a
subclass
of
entity
(=>
(
and
(
domain
?REL ?NUMBER ?CLASS1)
(
domain
?REL ?NUMBER ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 220-226
If the number
a positive integer
argument of
a relation
is an
instance
of
a set or class
and the number
the positive integer
argument of
the relation
is an
instance
of
another set or class
,
then
the set or class
is a
subclass
of
the other set or class
or
the other set or class
is a
subclass
of
the set or class
(=>
(
and
(
domainSubclass
?REL ?NUMBER ?CLASS)
(
instance
?REL
Predicate
)
(?REL @ROW))
(
subclass
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER) ?CLASS))
Merge.kif 2899-2904
If the number
a positive integer
argument of
a relation
is a
subclass
of
a set or class
and
the relation
is an
instance
of
predicate
and
the relation
@ROW,
then
the positive integer
th
element
of (@ROW) is a
subclass
of
the set or class
(=>
(
and
(
domainSubclass
?REL ?NUMBER ?CLASS1)
(
domainSubclass
?REL ?NUMBER ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 243-249
If the number
a positive integer
argument of
a relation
is a
subclass
of
a set or class
and the number
the positive integer
argument of
the relation
is a
subclass
of
another set or class
,
then
the set or class
is a
subclass
of
the other set or class
or
the other set or class
is a
subclass
of
the set or class
(=>
(
and
(
equal
?CLASS1
(
ReceivingAnObjectFn
?OBJCLASS1))
(
equal
?CLASS2
(
ReceivingAnObjectFn
?OBJCLASS2))
(
subclass
?OBJCLASS1 ?OBJCLASS2))
(
subclass
?CLASS1 ?CLASS2))
Media.kif 195-200
If
a kind of getting
is
equal
to
receiving
a
a kind of object
and
another kind of getting
is
equal
to
receiving
a
another kind of object
and
a kind of object
is a
subclass
of
another kind of object
,
then
a kind of getting
is a
subclass
of
another kind of getting
(=>
(
and
(
instance
?MENU
AlcoholMenu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
AlcoholicBeverage
))
Dining.kif 215-219
If
a catalog
is an
instance
of
cocktail menu
and
a kind of entity
is in
the catalog
,
then
a kind of entity
is a
subclass
of
alcoholic beverage
(=>
(
and
(
instance
?MENU
BeverageMenu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
Beverage
))
Dining.kif 204-208
If
a catalog
is an
instance
of
drinks menu
and
a kind of entity
is in
the catalog
,
then
a kind of entity
is a
subclass
of
beverage
(=>
(
and
(
instance
?MENU
Menu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
(
FoodForFn
Human
)))
Dining.kif 178-182
If
a catalog
is an
instance
of
menu
and
a kind of entity
is in
the catalog
,
then
a kind of entity
is a
subclass
of
food
for
human
(=>
(
and
(
instance
?MENU
WineMenu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
WineMenu
))
Dining.kif 225-229
If
a catalog
is an
instance
of
wine list
and
a kind of entity
is in
the catalog
,
then
a kind of entity
is a
subclass
of
wine list
(=>
(
and
(
instance
?PUB
Publication
)
(
patient
?PUB ?TEXT))
(
subclass
?TEXT
Text
))
Merge.kif 11929-11933
If
a process
is an
instance
of
publication
and
a set or class
is a
patient
of
the process
,
then
the set or class
is a
subclass
of
text
(=>
(
and
(
instance
?REL
EconomicRelation
)
(
domain
?REL 1 ?CLASS))
(
subclass
?CLASS
GeopoliticalArea
))
Mid-level-ontology.kif 14488-14492
If
a relation
is an
instance
of
economic relation
and the number 1 argument of
the relation
is an
instance
of
a set or class
,
then
the set or class
is a
subclass
of
geopolitical area
(=>
(
and
(
instance
?SEQ
SequenceFunction
)
(
range
?SEQ ?CLASS))
(
subclass
?CLASS
Integer
))
Merge.kif 3274-3278
If
a function
is an
instance
of
sequence function
and the
range
of
the function
is an instance of
a set or class
,
then
the set or class
is a
subclass
of
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
If
a process
is an
instance
of
BreakingRecord
and
an agent
is an
agent
of
the process
,
then there exist
a set or class
,
another set or class
,, ,
another process
,, ,
a time point
,, ,
a case role
,, ,
a third set or class
and
an entity
such that
the set or class
is an
instance
of
set
and
the agent
is an
instance
of
the set or class
and
the other set or class
is a
subclass
of
process
and
the third set or class
is a
subclass
of
region
and
the time point
is an
instance
of
time point
and
the entity
is an
instance
of
quantity
and
the process
includes a
reference
to
the entity
and
the entity
includes a
reference
to
the other set or class
and
the agent
plays
role in event
the case role
for
the other process
and
the other process
is
located
at
2
and there don't exist
another entity
and
a third entity
such that
the other entity
is an
instance
of
the set or class
and
the other entity
is not
equal
to
the agent
and
the third entity
is an
instance
of
the other set or class
and
the other entity
plays
role in event
the case role
for
the third entity
and
the third entity
is
located
at
2
holds
during
interval
between
the time point
and the
end
of the
time
of existence of
the process
(=>
(
and
(
range
?REL ?CLASS1)
(
range
?REL ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 323-329
If the
range
of
a function
is an instance of
a set or class
and the
range
of
the function
is an instance of
another set or class
,
then
the set or class
is a
subclass
of
the other set or class
or
the other set or class
is a
subclass
of
the set or class
(=>
(
and
(
rangeSubclass
?FUNCTION ?CLASS)
(
equal
(
AssignmentFn
?FUNCTION @ROW) ?VALUE))
(
subclass
?VALUE ?CLASS))
Merge.kif 338-342
If the values returned by
a function
are
subclasses
of
a kind of set or class
and
the function
(@ROW) is
equal
to
another set or class
,
then
the other set or class
is a
subclass
of
a kind of set or class
(=>
(
and
(
rangeSubclass
?REL ?CLASS1)
(
rangeSubclass
?REL ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 350-356
If the values returned by
a function
are
subclasses
of
a kind of set or class
and the values returned by
the function
are
subclasses
of
another kind of set or class
,
then
a kind of set or class
is a
subclass
of
another kind of set or class
or
the other kind of set or class
is a
subclass
of
the kind of set or class
(=>
(
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
If
medical doctor
is an
attribute
of
an object
,
then there exist
a kind of process
and
another kind of process
such that
a kind of process
is a
subclass
of
diagnostic process
and
another kind of process
is a
subclass
of
therapeutic process
and
the object
is
capable
of doing
the kind of process
as a
agent
and
the object
is
capable
of doing
the other kind of process
as a
agent
(=>
(
classIntersection
?CLASS1 ?CLASS2 ?INTERSECT)
(
and
(
subclass
?INTERSECT ?CLASS1)
(
subclass
?INTERSECT ?CLASS2)))
ComputerInput.kif 74-78
If the
intersection
of
a set or class
and
another set or class
is
a third set or class
,
then
the third set or class
is a
subclass
of
the set or class
and
the third set or class
is a
subclass
of
the other set or class
(=>
(
codeMapping
ISO-639-1
?TOKEN ?X)
(
or
(
instance
?X
HumanLanguage
)
(
subclass
?X
HumanLanguage
)))
Languages.kif 14683-14687
If
a symbolic string
in
ISO-639-1
denotes
a set or class
,
then
the set or class
is an
instance
of
human language
or
the set or class
is a
subclass
of
human language
(=>
(
diseaseTreatment
?DISEASE
OralAntibiotic
?PROCESS)
(
subclass
?PROCESS
Ingesting
))
WMD.kif 1206-1208
If
a disease or syndrome
is
disease
treatment
oral antibiotic
for
a kind of process
,
then
a kind of process
is a
subclass
of
ingesting
(=>
(
diseaseTreatment
?DISEASE
TopicalAntibiotic
?PROCESS)
(
subclass
?PROCESS
Covering
))
WMD.kif 1233-1235
If
a disease or syndrome
is
disease
treatment
topical antibiotic
for
a kind of process
,
then
a kind of process
is a
subclass
of
covering
(=>
(
disjointDecomposition
?CLASS @ROW)
(
forall
(?ITEM)
(=>
(
inList
?ITEM
(
ListFn
@ROW))
(
subclass
?ITEM ?CLASS))))
Merge.kif 2844-2849
If
a class
is
disjointly
decomposed
into @ROW,
then for all
a set or class
if
the set or class
is a
member
of (@ROW),
then
the set or class
is a
subclass
of
the class
(=>
(
equal
?CLASS
(
GeographicPartTypeFn
?TYPE ?AREA))
(
subclass
?CLASS ?TYPE))
Geography.kif 6352-6354
If
a kind of geographic area
is
equal
to all the
instances
of
another kind of geographic area
in
a third geographic area
,
then
a kind of geographic area
is a
subclass
of
another kind of geographic area
(=>
(
equal
?X
(
AttrFn
?CLASS ?ATTR))
(
forall
(?I)
(=>
(
instance
?I ?X)
(
and
(
instance
?I ?CLASS)
(
subclass
?X ?CLASS)
(
property
?I ?ATTR)))))
Merge.kif 1689-1698
If
a class
is
equal
to the
attr
of
a set or class
and
an attribute
,
then for all
an entity
if
the entity
is an
instance
of
the class
,
then
the entity
is an
instance
of
the set or class
and
the class
is a
subclass
of
the set or class
and
the entity
the
attribute
the attribute
(=>
(
groupingTitle
?STRING ?PRODUCTTYPE ?LANGUAGE)
(
subclass
?PRODUCTTYPE
Collection
))
Media.kif 3173-3175
If
a symbolic string
is the
title
in
a language
for instances of
a set or class
,
then
the set or class
is a
subclass
of
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
There exists
an agent
such that
the agent
is a
subclass
of
tool box
and the maker of
Sortimo Corporation
is
the agent
appearance as argument number 0
(
subclass
(
AgentOfOrganismFn
CoccidiodesPosadasii
)
LifeThreateningAgent
)
WMD.kif 1300-1300
The
biological
agent
of
coccidiodes posadasii
is a
subclass
of
life threatening agent
(
subclass
(
AgentOfOrganismFn
CoccidioidesImmitis
)
LifeThreateningAgent
)
WMD.kif 1293-1293
The
biological
agent
of
coccidioides immitis
is a
subclass
of
life threatening agent
(
subclass
(
AgentOfOrganismFn
MalarialPlasmodium
)
BiologicalAgent
)
WMD.kif 1479-1479
The
biological
agent
of
malarial plasmodium
is a
subclass
of
biological agent
(
subclass
(
AgentOfOrganismFn
SerratiaMarcenscens
)
LifeThreateningAgent
)
WMD.kif 1288-1288
The
biological
agent
of
serratia marcenscens
is a
subclass
of
life threatening agent
(
subclass
(
AgentOfOrganismFn
TickBorneEncephalitisVirus
)
LifeThreateningAgent
)
WMD.kif 1840-1840
The
biological
agent
of
tick borne encephalitis virus
is a
subclass
of
life threatening agent
(
subclass
(
AgentOfOrganismFn
YersiniaPestis
)
LifeThreateningAgent
)
WMD.kif 400-400
The
biological
agent
of
yersinia pestis
is a
subclass
of
life threatening agent
(
subclass
(
DeadFn
Apple
)
GroceryProduce
)
Economy.kif 3938-3938
A
dead
apple
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
Avocado
)
GroceryProduce
)
Economy.kif 3964-3964
A
dead
avocado
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
Banana
)
GroceryProduce
)
Economy.kif 3967-3967
A
dead
banana
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
Berry
)
GroceryProduce
)
Economy.kif 3935-3935
A
dead
berry
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
Breadfruit
)
GroceryProduce
)
Economy.kif 3970-3970
A
dead
breadfruit
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
Cabbage
)
GroceryProduce
)
Economy.kif 3843-3843
A
dead
cabbage
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
Carrot
)
GroceryProduce
)
Economy.kif 3876-3876
A
dead
carrot
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
Cassava
)
GroceryProduce
)
Economy.kif 3896-3896
A
dead
cassava
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
Cauliflower
)
GroceryProduce
)
Economy.kif 3846-3846
A
dead
cauliflower
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
CitrusFruit
)
GroceryProduce
)
Economy.kif 3944-3944
A
dead
citrus fruit
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
Coconut
)
GroceryProduce
)
Economy.kif 3973-3973
A
dead
coconut
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
Cucumber
)
GroceryProduce
)
Economy.kif 3840-3840
A
dead
cucumber
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
DateFruit
)
GroceryProduce
)
Economy.kif 3976-3976
A
dead
date fruit
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
EdibleNut
)
GroceryProduce
)
Economy.kif 4019-4019
A
dead
edible nut
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
Eggplant
)
GroceryProduce
)
Economy.kif 3849-3849
A
dead
eggplant
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
Grape
)
GroceryProduce
)
Economy.kif 3927-3927
A
dead
grape
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
Groundnut
)
GroceryProduce
)
Economy.kif 4033-4033
A
dead
groundnut
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
LeafyGreenVegetable
)
GroceryProduce
)
Economy.kif 3837-3837
A
dead
leafy green vegetable
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
Mango
)
GroceryProduce
)
Economy.kif 3979-3979
A
dead
mango
is a
subclass
of
grocery produce
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