Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
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 133-135
(
domain
subclass
1
Class
)
Merge.kif 131-131
domain
subclass
, 1 and
Class
(
domain
subclass
2
Class
)
Merge.kif 132-132
domain
subclass
, 2 and
Class
(
instance
subclass
BinaryPredicate
)
Merge.kif 129-129
instance
subclass
and
BinaryPredicate
(
instance
subclass
PartialOrderingRelation
)
Merge.kif 130-130
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 324-324
(
subrelation
subset
subclass
)
Merge.kif 5358-5358
subrelation
subset
and
subclass
(
termFormat
ChineseLanguage
subclass
"子类")
domainEnglishFormat.kif 55686-55686
(
termFormat
ChineseLanguage
subclass
"子类别")
chinese_format.kif 320-320
(
termFormat
ChineseTraditionalLanguage
subclass
"子類")
domainEnglishFormat.kif 55685-55685
(
termFormat
EnglishLanguage
subclass
"subclass")
domainEnglishFormat.kif 55684-55684
antecedent
(=>
(
and
(
attribute
?ROOM
Oversized
)
(
immediateInstance
?ROOM ?HOTELUNIT)
(
subclass
?HOTELUNIT
HotelUnit
))
(
exists
(?NORMAL ?AREA1 ?AREA2 ?U)
(
and
(
immediateInstance
?NORMAL ?HOTELUNIT)
(
instance
?U
UnitOfArea
)
(
measure
?NORMAL
(
MeasureFn
?AREA1 ?U))
(
measure
?ROOM
(
MeasureFn
?AREA2 ?U))
(
instance
?AREA1
AreaMeasure
)
(
instance
?AREA2
AreaMeasure
)
(
greaterThan
?AREA2 ?AREA1))))
Hotel.kif 1186-1201
attribute
Object
and
Oversized
immediateInstance
Object
and
Class
subclass
Class
and
HotelUnit
Physical
RealNumber
,
RealNumber
and
UnitOfMeasure
immediateInstance
Physical
and
Class
instance
UnitOfMeasure
and
UnitOfArea
measure
Physical
and
MeasureFn
RealNumber
and
UnitOfMeasure
measure
Object
and
MeasureFn
RealNumber
and
UnitOfMeasure
instance
RealNumber
and
AreaMeasure
instance
RealNumber
and
AreaMeasure
greaterThan
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 500-510
attribute
AutonomousAgent
and
Writer
instance
Entity
and
ContentBearingObject
subclass
ContentBearingObject
and
Text
subclass
ContentBearingObject
and
Document
instance
Process
and
Writing
agent
Process
and
AutonomousAgent
result
Process
and
Entity
authors
AutonomousAgent
and
ContentBearingObject
(=>
(
and
(
biochemicalAgentDelivery
?AGENT ?PROCESS)
(
subclass
?SUB ?PROCESS))
(
biochemicalAgentDelivery
?AGENT ?SUB))
WMD.kif 789-793
biochemicalAgentDelivery
BiochemicalAgent
and
Process
subclass
Process
and
Process
biochemicalAgentDelivery
BiochemicalAgent
and
Process
(=>
(
and
(
biologicalAgentCarrier
?AGENT ?ORGANISM)
(
subclass
?SUB ?ORGANISM))
(
biologicalAgentCarrier
?AGENT ?SUB))
WMD.kif 976-980
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
(
commemoratesDate
?HOLIDAY
(
DayFn
?DAY
(
MonthFn
?MONTH
(
YearFn
?YEAR))))
(
instance
?DATE ?HOLIDAY)
(
subclass
?HOLIDAY
FixedHoliday
)
(
lessThanOrEqualTo
?YEAR ?LATER-YEAR))
(
instance
?DATE
(
DayFn
?DAY
(
MonthFn
?MONTH
(
YearFn
?LATER-YEAR)))))
Government.kif 619-625
commemoratesDate
Holiday
and
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 504-520
customer
CognitiveAgent
and
AutonomousAgent
propertyAmenity
AutonomousAgent
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
,
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
customer
CognitiveAgent
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
Physical
subclass
Physical
and
Process
modalAttribute
entity
entity
and
entity
element
entity
and
PropertyFn
AutonomousAgent
agent
entity
and
AutonomousAgent
patient
entity
and
CognitiveAgent
instance
entity
and
Physical
instance
entity
and
Physical
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 13394-13405
defaultMaximumMeasure
Object
and
MeasureFn
RealNumber
and
UnitOfMeasure
subclass
Class
and
NonCompositeUnitOfMeasure
instance
UnitOfMeasure
and
Class
modalAttribute
entity
RealNumber
UANTITY and
entity
instance
entity
and
Object
measure
entity
and
MeasureFn
RealNumber
UANTITY and
entity
instance
entity
and
Class
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
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13363-13374
defaultMinimumMeasure
Object
and
MeasureFn
RealNumber
and
UnitOfMeasure
subclass
Class
and
NonCompositeUnitOfMeasure
instance
UnitOfMeasure
and
Class
modalAttribute
entity
RealNumber
UANTITY and
entity
instance
entity
and
Object
measure
entity
and
MeasureFn
RealNumber
UANTITY and
entity
instance
entity
and
Class
lessThan
RealNumber
UANTITY and
RealNumber
and
Unlikely
(=>
(
and
(
diseaseTreatment
?DISEASE ?SUBSTANCE ?PROCESS)
(
subclass
?SUB ?PROCESS))
(
diseaseTreatment
?DISEASE ?SUBSTANCE ?SUB))
WMD.kif 957-961
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 963-967
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 2123-2132
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 2167-2176
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 2213-2222
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 1991-2000
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
)
(
subOrganization
?DEP ?COMP))
(
inhibits
?DEP ?PHYS))
Mid-level-ontology.kif 18183-18188
equal
Organization
and
DepartmentOfPreventingFn
Organization
and
Physical
subclass
Physical
and
Process
Organization
は組織
Organization
の一部では %n
inhibits
Organization
and
Physical
(=>
(
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 2288-2297
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
?O
(
MeasureFn
0
UnitedStatesDollar
) ?GUEST))
Hotel.kif 346-361
freeRoomAmenity
HotelUnit
and
Physical
subclass
Physical
and
Object
instance
TemporaryResidence
and
HotelUnit
stays
Human
and
TemporaryResidence
element
TemporaryResidence
and
PropertyFn
AutonomousAgent
instance
Object
and
Physical
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
Object
,
MeasureFn
0 and
UnitedStatesDollar
and
Human
(=>
(
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.0
UnitedStatesDollar
) ?GUEST))
Hotel.kif 364-378
freeRoomAmenity
HotelUnit
and
Physical
subclass
Physical
and
Process
instance
TemporaryResidence
and
HotelUnit
stays
Human
and
TemporaryResidence
element
TemporaryResidence
and
PropertyFn
AutonomousAgent
patient
Process
and
Human
instance
Process
and
Physical
instance
Process
and
Physical
subProcess
Process
and
Process
located
Process
and
TemporaryResidence
price
Process
,
MeasureFn
0.0 and
UnitedStatesDollar
and
Human
(=>
(
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 811-832
functionRoomAmenity
HotelFunctionRoom
and
Physical
instance
Entity
and
HotelFunctionRoom
element
Entity
and
PropertyFn
AutonomousAgent
instance
Process
and
Renting
patient
Process
and
Entity
agent
Process
and
AutonomousAgent
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 294-313
guest
Human
and
AutonomousAgent
stays
Human
and
TemporaryResidence
element
TemporaryResidence
and
PropertyFn
AutonomousAgent
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
,
AutonomousAgent
and
Human
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Book
))
(
holdsDuring
?T1
(
attribute
?AGENT
BookPublishers
)))
Media.kif 1900-1904
holdsDuring
TimePosition
and
publishes
entity
and
Class
subclass
Class
and
Book
holdsDuring
TimePosition
and
attribute
entity
and
BookPublishers
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
MusicalComposition
))
(
holdsDuring
?T1
(
attribute
?AGENT
MusicPublishers
)))
Media.kif 1888-1892
holdsDuring
TimePosition
and
publishes
entity
and
Class
subclass
Class
and
MusicalComposition
holdsDuring
TimePosition
and
attribute
entity
and
MusicPublishers
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 31296-31303
applicableRelation
Object
and
Relation
instance
Object
and
Object
C
domain
Relation
, 1 and
Class
equal
Object
C and
Class
subclass
Object
C and
Class
(=>
(
and
(
attribute
?X
DutyFree
)
(
instance
?X
Store
))
(
exists
(?AREA ?OBJ ?O ?SELL)
(
and
(
instance
?AREA
GeopoliticalArea
)
(
located
?X ?AREA)
(
subclass
?O
Object
)
(
importCommodityType
?AREA ?O)
(
instance
?OBJ ?O)
(
instance
?SELL
Selling
)
(
patient
?SELL ?OBJ)
(
located
?SELL ?X))))
Hotel.kif 1478-1491
attribute
Object
and
DutyFree
instance
Object
and
Store
GeopoliticalArea
Entity
,
Object
and
Process
instance
GeopoliticalArea
and
GeopoliticalArea
located
Object
and
GeopoliticalArea
subclass
Object
and
Object
importCommodityType
GeopoliticalArea
and
Object
instance
Entity
and
Object
instance
Process
and
Selling
patient
Process
and
Entity
located
Process
and
Object
(=>
(
and
(
domain
?REL ?NUMBER ?CLASS1)
(
domain
?REL ?NUMBER ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 221-227
domain
Relation
,
PositiveInteger
and
Class
domain
Relation
,
PositiveInteger
and
Class
subclass
Class
and
Class
subclass
Class
and
Class
(=>
(
and
(
domainSubclass
?REL ?NUMBER ?CLASS)
(
instance
?REL
Predicate
)
(?REL @ROW))
(
subclass
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER) ?CLASS))
Merge.kif 2982-2987
domainSubclass
Relation
,
PositiveInteger
and
Class
instance
Relation
and
Predicate
Relation
@ROW
subclass
ListOrderFn
ListFn
@ROW and
PositiveInteger
and
Class
(=>
(
and
(
domainSubclass
?REL ?NUMBER ?CLASS1)
(
domainSubclass
?REL ?NUMBER ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 244-250
domainSubclass
Relation
,
PositiveInteger
and
Class
domainSubclass
Relation
,
PositiveInteger
and
Class
subclass
Class
and
Class
subclass
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
ReceivingAnObjectFn
Object
equal
Getting
and
ReceivingAnObjectFn
Object
subclass
Object
and
Object
subclass
Getting
and
Getting
(=>
(
and
(
equal
?X
(
AttrFn
?CLASS ?ATTR))
(
instance
?I ?X))
(
and
(
instance
?I ?CLASS)
(
subclass
?X ?CLASS)
(
attribute
?I ?ATTR)))
Merge.kif 1757-1765
equal
Object
and
AttrFn
Object
and
Attribute
instance
Object
and
Object
instance
Object
and
Object
subclass
Object
and
Object
attribute
Object
and
Attribute
(=>
(
and
(
instance
?HP
HearingProtection
)
(
instance
?PERSON
Human
)
(
wears
?PERSON ?HP))
(
hasPurpose
?HP
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?SOUND ?HEAR ?HUMAN ?T)
(
and
(
instance
?SOUND
RadiatingSound
)
(
instance
?HEAR
Hearing
)
(
instance
?HUMAN
Human
)
(
patient
?HEAR ?SOUND)
(
experiencer
?HEAR ?HUMAN)
(
causes
?HEAR ?I)
(
experiencer
?I ?HUMAN)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)
(
instrument
?PROC ?HP)))))
Cars.kif 3447-3476
instance
WearableItem
and
HearingProtection
instance
Animal
and
Human
Animal
は % を
wear
s %n{ない}
hasPurpose
WearableItem
and
entity
entity
and
entity
instance
entity
and
Process
subclass
entity
and
KappaFn
entity
and
instance
entity
and
Injuring
entity
entity
,
entity
and
entity
instance
entity
and
RadiatingSound
instance
entity
and
Hearing
instance
entity
and
Human
patient
entity
and
entity
experiencer
entity
and
entity
causes
entity
and
entity
experiencer
entity
and
entity
holdsDuring
entity
and
experiencer
entity
and
Animal
holdsDuring
entity
and
patient
entity
and
Animal
prevents
entity
and
entity
instrument
entity
and
WearableItem
(=>
(
and
(
instance
?MENU
AlcoholMenu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
AlcoholicBeverage
))
Dining.kif 219-223
instance
Catalog
and
AlcoholMenu
catalogItem
Entity
and
Catalog
subclass
Entity
and
AlcoholicBeverage
(=>
(
and
(
instance
?MENU
BeverageMenu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
Beverage
))
Dining.kif 208-212
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 229-233
instance
Catalog
and
WineMenu
catalogItem
Entity
and
Catalog
subclass
Entity
and
WineMenu
(=>
(
and
(
instance
?P
Plant
)
(
part
?TIS ?P))
(
exists
(?K ?W ?CLASS)
(
and
(
instance
?K ?CLASS)
(
subclass
?CLASS
Keeping
)
(
instance
?W
Water
)
(
patient
?K ?W)
(
capability
?CLASS
instrument
?TIS)
(
or
(
instance
?TIS
PlantLeaf
)
(
instance
?TIS
PlantStem
)))))
Mid-level-ontology.kif 9518-9531
instance
Object
and
Plant
part
Object
and
Object
Process
Entity
and
Process
instance
Process
and
Process
subclass
Process
and
Keeping
instance
Entity
and
Water
patient
Process
and
Entity
capability
Process
,
instrument
and
Object
instance
Object
and
PlantLeaf
instance
Object
and
PlantStem
(=>
(
and
(
instance
?REL
EconomicRelation
)
(
domain
?REL 1 ?CLASS))
(
subclass
?CLASS
GeopoliticalArea
))
Mid-level-ontology.kif 16748-16752
instance
Relation
and
EconomicRelation
domain
Relation
, 1 and
Class
subclass
Class
and
GeopoliticalArea
(=>
(
and
(
instance
?SEQ
SequenceFunction
)
(
range
?SEQ ?CLASS))
(
subclass
?CLASS
Integer
))
Merge.kif 3369-3373
instance
Function
and
SequenceFunction
range
Function
and
Class
subclass
Class
and
Integer
(=>
(
and
(
instance
?SH
SafetyHarness
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?SH))
(
hasPurpose
?SH
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
instrument
?PROC ?SH)
(
patient
?PROC ?PERSON)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?F ?H ?T)
(
and
(
instance
?H
Human
)
(
experiencer
?I ?H)
(
instance
?F
Falling
)
(
experiencer
?F ?H)
(
causes
?F ?I)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)))))
Cars.kif 3389-3417
instance
WearableItem
and
SafetyHarness
instance
Animal
and
Animal
Animal
は % を
wear
s %n{ない}
hasPurpose
WearableItem
and
entity
entity
and
entity
instance
entity
and
Process
instrument
entity
and
WearableItem
patient
entity
and
Animal
subclass
entity
and
KappaFn
entity
and
instance
entity
and
Injuring
entity
entity
and
entity
instance
entity
and
Human
experiencer
entity
and
entity
instance
entity
and
Falling
experiencer
entity
and
entity
causes
entity
and
entity
holdsDuring
entity
and
experiencer
entity
and
Animal
holdsDuring
entity
and
patient
entity
and
Animal
prevents
entity
and
entity
(=>
(
and
(
instance
?SKI
SnowSki
)
(
material
?MAT ?SKI))
(
exists
(?MAT)
(
or
(
subclass
?MAT
Metal
)
(
subclass
?MAT
Wood
)
(
subclass
?MAT
Plastic
))))
Sports.kif 1039-1047
instance
CorpuscularObject
and
SnowSki
material
Substance
and
CorpuscularObject
Substance
subclass
Substance
and
Metal
subclass
Substance
and
Wood
subclass
Substance
and
Plastic
(=>
(
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
)
(
instance
?L
Region
)
(
instance
?TP
TimePoint
)
(
instance
?Q
Quantity
)
(
instance
?P1 ?PC)
(
refers
?X ?Q)
(
refers
?Q ?P1)
(
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 29946-29976
instance
Process
and
BreakingRecord
agent
Process
and
AutonomousAgent
Class
Class
,
Process
,
TimePoint
,
CaseRole
,
Object
and
Entity
instance
Class
and
Set
instance
AutonomousAgent
and
Class
subclass
Class
and
Process
instance
Object
and
Region
instance
TimePoint
and
TimePoint
instance
Entity
and
Quantity
instance
Process
and
Class
refers
Process
and
Entity
refers
Entity
and
Process
playsRoleInEvent
AutonomousAgent
,
CaseRole
and
Process
eventLocated
Process
and
Object
Entity
Entity
instance
Entity
and
Class
equal
Entity
and
AutonomousAgent
instance
Entity
and
Class
holdsDuring
TimeIntervalFn
TimePoint
and
EndFn
WhenFn
Process
and
playsRoleInEvent
Entity
,
CaseRole
and
Entity
eventLocated
Entity
and
Object
(=>
(
and
(
instance
?X
Respirator
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?X))
(
hasPurpose
?X
(
exists
(?INHAL ?INJ ?PROTECT ?I)
(
and
(
instance
?PROTECT
Process
)
(
instrument
?PROTECT ?X)
(
prevents
?PROTECT ?INJ)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
patient
?I ?H)
(
instance
?INHAL
Inhaling
)
(
agent
?INHAL ?H)
(
causes
?I ?INHAL))))))))))
Cars.kif 3531-3552
instance
WearableItem
and
Respirator
instance
Animal
and
Animal
Animal
は % を
wear
s %n{ない}
hasPurpose
WearableItem
and
entity
entity
,
entity
and
entity
instance
entity
and
Process
instrument
entity
and
WearableItem
prevents
entity
and
entity
subclass
entity
and
KappaFn
entity
and
instance
entity
and
Injuring
entity
instance
entity
and
Human
patient
entity
and
entity
instance
entity
and
Inhaling
agent
entity
and
entity
causes
entity
and
entity
(=>
(
and
(
orthogonalTests
?TESTCOL1 ?TESTCOL2)
(
instance
?SUBJECT
Human
)
(
instance
?EXPERIMENT1 ?CLASS1)
(
subclass
?CLASS1
Experimenting
)
(
member
?EXPERIMENT1 ?TESTCOL1)
(
capability
?CLASS1
experimentalSubject
?SUBJECT))
(
exists
(?EXPERIMENT2 ?CLASS2 ?TESTCOL2)
(
and
(
instance
?EXPERIMENT2 ?CLASS2)
(
member
?EXPERIMENT2 ?TESTCOL2)
(
subclass
?CLASS2
Experimenting
)
(
capability
?CLASS2
experimentalSubject
?SUBJECT))))
UXExperimentalTerms.kif 4672-4685
orthogonalTests
Collection
and
Collection
instance
Object
and
Human
instance
Physical
and
Process
subclass
Process
and
Experimenting
member
Physical
and
Collection
capability
Process
,
experimentalSubject
and
Object
Physical
Process
and
Collection
instance
Physical
and
Process
member
Physical
and
Collection
subclass
Process
and
Experimenting
capability
Process
,
experimentalSubject
and
Object
(=>
(
and
(
range
?REL ?CLASS1)
(
range
?REL ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 324-330
range
Function
and
Class
range
Function
and
Class
subclass
Class
and
Class
subclass
Class
and
Class
(=>
(
and
(
rangeSubclass
?FUNCTION ?CLASS)
(
equal
(
AssignmentFn
?FUNCTION @ROW) ?VALUE))
(
subclass
?VALUE ?CLASS))
Merge.kif 339-343
rangeSubclass
Function
and
Class
equal
AssignmentFn
Function
and @ROW and
Class
subclass
Class
and
Class
(=>
(
and
(
rangeSubclass
?REL ?CLASS1)
(
rangeSubclass
?REL ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 351-357
rangeSubclass
Function
and
Class
rangeSubclass
Function
and
Class
subclass
Class
and
Class
subclass
Class
and
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 20818-20825
attribute
Object
and
MedicalDoctor
Process
Process
subclass
Process
and
DiagnosticProcess
subclass
Process
and
TherapeuticProcess
capability
Process
,
agent
and
Object
capability
Process
,
agent
and
Object
(=>
(
attribute
?H
ArtCritic
)
(
hasPurpose
?H
(
exists
(?AW ?T ?CLASS)
(
and
(
instance
?AW
ArtWork
)
(
overlapsTemporally
(
WhenFn
?AW)
(
WhenFn
?H))
(
instance
?T ?CLASS)
(
subclass
?CLASS
Article
)
(
authors
?H ?CLASS)
(
refers
?T ?AW)))))
Mid-level-ontology.kif 20871-20883
attribute
Object
and
ArtCritic
hasPurpose
Object
and
entity
entity
and
entity
instance
entity
and
ArtWork
overlapsTemporally
WhenFn
entity
and
WhenFn
Object
instance
entity
and
entity
subclass
entity
and
Article
authors
Object
and
entity
refers
entity
and
entity
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
equal
(
FitForMilitaryServiceMaleFn
?AREA)
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
attribute
?PERSON
Male
)
(
subclass
?PROCESS
MilitaryProcess
)
(
fitForMilitaryService
?PERSON ?PROCESS)
(
militaryAge
?AREA ?MILITARYAGE)
(
age
?PERSON ?AGE)
(
greaterThanOrEqualTo
?AGE ?MILITARYAGE)
(
inhabits
?PERSON ?AREA)))))
Military.kif 895-906
equal
FitForMilitaryServiceMaleFn
GeopoliticalArea
and
CardinalityFn
KappaFn
SymbolicString
and
instance
SymbolicString
and
Human
attribute
SymbolicString
and
Male
subclass
entity
and
MilitaryProcess
fitForMilitaryService
SymbolicString
and
entity
militaryAge
GeopoliticalArea
and
entity
age
SymbolicString
and
entity
greaterThanOrEqualTo
entity
and
entity
inhabits
SymbolicString
and
GeopoliticalArea
(
exists
(?T)
(
and
(
subclass
?T
HandToolBox
)
(
manufacturer
?T
SortimoCorp
)))
Cars.kif 5109-5112
Object
subclass
Object
and
HandToolBox
manufacturer
Object
and
SortimoCorp
appearance as argument number 0
(
subclass
AAM
AirAttackMissile
)
MilitaryDevices.kif 1170-1170
subclass
AAM
and
AirAttackMissile
(
subclass
AAM
AirLaunchMissile
)
MilitaryDevices.kif 1169-1169
subclass
AAM
and
AirLaunchMissile
(
subclass
AAM
GuidedMissile
)
MilitaryDevices.kif 1171-1171
subclass
AAM
and
GuidedMissile
(
subclass
AAV
AmphibiousVehicle
)
MilitaryDevices.kif 1647-1647
subclass
AAV
and
AmphibiousVehicle
(
subclass
AAV
MilitaryVehicle
)
MilitaryDevices.kif 1646-1646
subclass
AAV
and
MilitaryVehicle
(
subclass
AAV
PassengerVehicle
)
MilitaryDevices.kif 1648-1648
subclass
AAV
and
PassengerVehicle
(
subclass
AAV
PoweredVehicle
)
MilitaryDevices.kif 1649-1649
subclass
AAV
and
PoweredVehicle
(
subclass
ACPowerSource
PowerSource
)
Mid-level-ontology.kif 26264-26264
subclass
ACPowerSource
and
PowerSource
(
subclass
AGM
AirLaunchMissile
)
MilitaryDevices.kif 1123-1123
subclass
AGM
and
AirLaunchMissile
(
subclass
AGM
GroundAttackMissile
)
MilitaryDevices.kif 1124-1124
subclass
AGM
and
GroundAttackMissile
(
subclass
AGM114
AGM
)
MilitaryDevices.kif 1203-1203
subclass
AGM114
and
AGM
(
subclass
AGM114
AntiArmorWeapon
)
MilitaryDevices.kif 1205-1205
subclass
AGM114
and
AntiArmorWeapon
(
subclass
AGM114
BeamRidingGMissile
)
MilitaryDevices.kif 1204-1204
subclass
AGM114
and
BeamRidingGMissile
(
subclass
AGM65
AGM
)
MilitaryDevices.kif 1136-1136
subclass
AGM65
and
AGM
(
subclass
AGM65
AntiArmorWeapon
)
MilitaryDevices.kif 1138-1138
subclass
AGM65
and
AntiArmorWeapon
(
subclass
AGM65
InfraRedGMissile
)
MilitaryDevices.kif 1137-1137
subclass
AGM65
and
InfraRedGMissile
(
subclass
AH1
Helicopter
)
MilitaryDevices.kif 1889-1889
subclass
AH1
and
Helicopter
(
subclass
AH1
MilitaryVehicle
)
MilitaryDevices.kif 1890-1890
subclass
AH1
and
MilitaryVehicle
(
subclass
AIM9
AAM
)
MilitaryDevices.kif 1177-1177
subclass
AIM9
and
AAM
(
subclass
AIM9
InfraRedGMissile
)
MilitaryDevices.kif 1178-1178
subclass
AIM9
and
InfraRedGMissile
(
subclass
AMFMAlarmClock
AlarmClock
)
Mid-level-ontology.kif 25442-25442
subclass
AMFMAlarmClock
and
AlarmClock
(
subclass
AMFMAlarmClock
RadioReceiver
)
Mid-level-ontology.kif 25443-25443
subclass
AMFMAlarmClock
and
RadioReceiver
(
subclass
AMRadioStation
RadioStation
)
Communications.kif 293-293
subclass
AMRadioStation
and
RadioStation
(
subclass
AMRadioSystem
RadioSystem
)
Communications.kif 236-236
subclass
AMRadioSystem
and
RadioSystem
(
subclass
AOCnumber
SymbolicString
)
Transportation.kif 3169-3169
subclass
AOCnumber
and
SymbolicString
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