Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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
(
documentation
subclass
JapaneseLanguage
"(
subclass
?CLASS1 ?CLASS2) とは、?CLASS1 が?CLASS2の
subclass
である、という意味である。例えば、?CLASS1のすべての
instance
も?CLASS2 の
instance
である。")
japanese_format.kif 27-29
(
documentation
subclass
SpanishLanguage
"(
subclass
?CLASS1 ?CLASS2) quiere decir que ?CLASS1 es una
subclass
de ?CLASS2, por ejemplo, cada
instance
de ?CLASS1 es también una
instance
de ?CLASS2. Una
Class
puede tener varias superclases y subclases.")
spanish_format.kif 28-30
(
domain
subclass
1
Class
)
Merge.kif 131-131
Le nombre 1 argument de
subclass
est une
instance
de
classe
(
domain
subclass
2
Class
)
Merge.kif 132-132
Le nombre 2 argument de
subclass
est une
instance
de
classe
(
instance
subclass
BinaryPredicate
)
Merge.kif 129-129
subclass
est une
instance
de
pr�dicat binaire
(
instance
subclass
PartialOrderingRelation
)
Merge.kif 130-130
subclass
est une
instance
de
relation partiellement dirig�e
appearance as argument number 2
(
format
ChineseLanguage
subclass
"%1 %n 是 %2 的
subclass
")
chinese_format.kif 319-319
(
format
EnglishLanguage
subclass
"%1 is %n a
subclass
of %2")
english_format.kif 324-324
(
format
FrenchLanguage
subclass
"%1 est %n une sous-classe de %2")
french_format.kif 182-182
(
format
ItalianLanguage
subclass
"%1 � %n una sottoclasse di %2")
relations-it.txt 271-271
(
format
JapaneseLanguage
subclass
"%1 は %2 の
subclass
では %n")
japanese_format.kif 2002-2002
(
format
PortugueseLanguage
subclass
"%1 e' %n uma sub-classe de %2")
portuguese_format.kif 134-134
(
format
cz
subclass
"%1 %p{je} %n{nen�} podt��dou %2")
relations-cz.txt 175-175
(
format
de
subclass
"%1 ist eine teilkategorie von %2")
relations-de.txt 419-419
(
format
hi
subclass
"%1 %2 kaa upavarga %n hai")
relations-hindi.txt 308-308
(
format
ro
subclass
"%1 %n{nu} este o
subclass
%t{subclasã} a lui %2")
relations-ro.kif 202-202
(
format
sv
subclass
"%1 är %n{inte} en
subclass
till %2")
relations-sv.txt 192-192
(
format
tg
subclass
"%1 %n ay ang klase mas tiyak sa %2")
relations-tg.txt 463-463
(
subrelation
subset
subclass
)
Merge.kif 5377-5377
sous-ensemble
est une
sous
-relation de
subclass
(
termFormat
ChineseLanguage
subclass
"子类")
domainEnglishFormat.kif 55725-55725
(
termFormat
ChineseLanguage
subclass
"子类别")
chinese_format.kif 320-320
(
termFormat
ChineseTraditionalLanguage
subclass
"子類")
domainEnglishFormat.kif 55724-55724
(
termFormat
EnglishLanguage
subclass
"subclass")
domainEnglishFormat.kif 55723-55723
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
Oversized
est un
attribut
de
objet
objet
est une
instance
imm�diate de
classe
classe
est une
sous
-classe de
HotelUnit
physique
nombre r�el
,
nombre r�el
and
unit� de mesure
physique
est une
instance
imm�diate de
classe
unit� de mesure
est une
instance
de
UnitOfArea
la
mesure
de
physique
est
nombre r�el
unit� de mesure
(s) la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est une
instance
de
mesure d'aire
nombre r�el
est une
instance
de
mesure d'aire
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
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 730-740
Writer
est un
attribut
de
AutonomousAgent
entit�
est une
instance
de
objet exprimant un sens
objet exprimant un sens
est une
sous
-classe de
texte
objet exprimant un sens
est une
sous
-classe de
Document
processus
est une
instance
de
�crire
processus
est un
agent
de
AutonomousAgent
entit�
est le
resultat
de
processus
AutonomousAgent
est l'
auteur
de
objet exprimant un sens
(=>
(
and
(
biochemicalAgentDelivery
?AGENT ?PROCESS)
(
subclass
?SUB ?PROCESS))
(
biochemicalAgentDelivery
?AGENT ?SUB))
WMD.kif 789-793
biochemicalAgentDelivery
BiochemicalAgent
and
processus
processus
est une
sous
-classe de
processus
biochemicalAgentDelivery
BiochemicalAgent
and
processus
(=>
(
and
(
biologicalAgentCarrier
?AGENT ?ORGANISM)
(
subclass
?SUB ?ORGANISM))
(
biologicalAgentCarrier
?AGENT ?SUB))
WMD.kif 976-980
biologicalAgentCarrier
BiologicalAgent
and
organisme
organisme
est une
sous
-classe de
organisme
biologicalAgentCarrier
BiologicalAgent
and
organisme
(=>
(
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
Objet
est
capable
de faire
processus
dans le r�le
r�le d�pendant du cas
processus
est une
sous
-classe de
tirer
objet
objet
est une
instance
de
arme
objet
est une
partie
de
objet
objet
est
capable
de faire
processus
dans le r�le
r�le d�pendant du cas
(=>
(
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 le
jour
nombre entier positif
entit�
est une
instance
de
Holiday
Holiday
est une
sous
-classe de
FixedHoliday
nombre entier
est plus
petit
ou �gal �
entit�
-YEAR
entit�
est une
instance
de le
jour
nombre entier positif
(=>
(
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
agent cognitif
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
physique
physique
est une
sous
-classe de
objet
entit�
est une
instance
de
physique
AutonomousAgent
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
est une
instance
de
processus
entit�
est une
resource
pour
entit�
entit�
est un
instrument
pour
entit�
entit�
est un
patient
de
entit�
entit�
est un
agent
de
agent cognitif
agent cognitif
exp
�rimente
entit�
(=>
(
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
agent cognitif
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
physique
physique
est une
sous
-classe de
processus
l'argument
entit�
entit�
and
entit�
entit�
est un
appartenir
�
AutonomousAgent
entit�
est un
agent
de
AutonomousAgent
agent cognitif
est un
patient
de
entit�
entit�
est une
instance
de
physique
entit�
est une
instance
de
physique
entit�
est un
sous
-processus de
entit�
entit�
est
situ
� �
entit�
a la
force
modale
de
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 13417-13428
defaultMaximumMeasure
objet
and
nombre r�el
unit� de mesure
(s)
classe
est une
sous
-classe de
NonCompositeUnitOfMeasure
unit� de mesure
est une
instance
de
classe
l'argument
entit�
nombre r�el
UANTITY and
entit�
entit�
est une
instance
de
objet
la
mesure
de
entit�
est
nombre r�el
UANTITY
entit�
(s)
entit�
est une
instance
de
classe
nombre r�el
UANTITY
entit�
(s) est
plus
grand
que
nombre r�el
unit� de mesure
(s) a la
force
modale
de
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 13386-13397
defaultMinimumMeasure
objet
and
nombre r�el
unit� de mesure
(s)
classe
est une
sous
-classe de
NonCompositeUnitOfMeasure
unit� de mesure
est une
instance
de
classe
l'argument
entit�
nombre r�el
UANTITY and
entit�
entit�
est une
instance
de
objet
la
mesure
de
entit�
est
nombre r�el
UANTITY
entit�
(s)
entit�
est une
instance
de
classe
nombre r�el
UANTITY est
moins
que
nombre r�el
a la
force
modale
de
Unlikely
(=>
(
and
(
diseaseTreatment
?DISEASE ?SUBSTANCE ?PROCESS)
(
subclass
?SUB ?PROCESS))
(
diseaseTreatment
?DISEASE ?SUBSTANCE ?SUB))
WMD.kif 957-961
diseaseTreatment
maladie ou syndrome
,
substance biologique active
and
processus
processus
est une
sous
-classe de
processus
diseaseTreatment
maladie ou syndrome
,
substance biologique active
and
processus
(=>
(
and
(
diseaseTreatment
?DISEASE ?SUBSTANCE ?PROCESS)
(
subclass
?SUB ?SUBSTANCE))
(
diseaseTreatment
?DISEASE ?SUB ?PROCESS))
WMD.kif 963-967
diseaseTreatment
maladie ou syndrome
,
substance biologique active
and
processus
substance biologique active
est une
sous
-classe de
substance biologique active
diseaseTreatment
maladie ou syndrome
,
substance biologique active
and
processus
(=>
(
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 2128-2137
electricityConsumptionInPeriod
secteur g�opolitique
,
quantit� physique
and
interval temporel
interval temporel
est une
sous
-classe de
ann�e
interval temporel
est une
sous
-classe de
FiscalYearFn
secteur g�opolitique
position temporel
position temporel
est une
instance
de
interval temporel
annualElectricityConsumption
secteur g�opolitique
and
quantit� physique
pendant
position temporel
(=>
(
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 2172-2181
electricityExportInPeriod
secteur g�opolitique
,
quantit� physique
and
interval temporel
interval temporel
est une
sous
-classe de
ann�e
interval temporel
est une
sous
-classe de
FiscalYearFn
secteur g�opolitique
position temporel
position temporel
est une
instance
de
interval temporel
annualElectricityExport
secteur g�opolitique
and
quantit� physique
pendant
position temporel
(=>
(
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 2218-2227
electricityImportInPeriod
secteur g�opolitique
,
quantit� physique
and
interval temporel
interval temporel
est une
sous
-classe de
ann�e
interval temporel
est une
sous
-classe de
FiscalYearFn
secteur g�opolitique
position temporel
position temporel
est une
instance
de
interval temporel
annualElectricityImport
secteur g�opolitique
and
quantit� physique
pendant
position temporel
(=>
(
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 1996-2005
electricityProductionInPeriod
secteur g�opolitique
,
quantit� physique
and
interval temporel
interval temporel
est une
sous
-classe de
ann�e
interval temporel
est une
sous
-classe de
FiscalYearFn
secteur g�opolitique
position temporel
position temporel
est une
instance
de
interval temporel
annualElectricityProduction
secteur g�opolitique
and
quantit� physique
pendant
position temporel
(=>
(
and
(
equal
?CLASS1
(
ReceivingAnObjectFn
?OBJCLASS1))
(
equal
?CLASS2
(
ReceivingAnObjectFn
?OBJCLASS2))
(
subclass
?OBJCLASS1 ?OBJCLASS2))
(
subclass
?CLASS1 ?CLASS2))
Media.kif 195-200
Obtenir
est
ReceivingAnObjectFn
objet
obtenir
est
ReceivingAnObjectFn
objet
objet
est une
sous
-classe de
objet
obtenir
est une
sous
-classe de
obtenir
(=>
(
and
(
equal
?DEP
(
DepartmentOfPreventingFn
?COMP ?PHYS))
(
subclass
?PHYS
Process
)
(
subOrganization
?DEP ?COMP))
(
inhibits
?DEP ?PHYS))
Mid-level-ontology.kif 18234-18239
Organisation
est
DepartmentOfPreventingFn
organisation
and
physique
physique
est une
sous
-classe de
processus
organisation
est une partie de l'organization
organisation
organisation
inhibe
physique
(=>
(
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 2293-2302
exportTotalInPeriod
secteur g�opolitique
,
mesure de devise
and
interval temporel
interval temporel
est une
sous
-classe de
ann�e
interval temporel
est une
sous
-classe de
FiscalYearFn
secteur g�opolitique
position temporel
position temporel
est une
instance
de
interval temporel
annualExportTotal
secteur g�opolitique
and
mesure de devise
pendant
position temporel
(=>
(
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
physique
physique
est une
sous
-classe de
objet
TemporaryResidence
est une
instance
de
HotelUnit
stays
humain
and
TemporaryResidence
TemporaryResidence
est un
appartenir
�
AutonomousAgent
objet
est une
instance
de
physique
objet
est
situ
� �
TemporaryResidence
processus
est une
instance
de
processus
processus
est un
agent
de
humain
objet
est un
patient
de
processus
objet
est un
instrument
pour
processus
objet
est une
resource
pour
processus
price
objet
, 0
UnitedStatesDollar
(s) and
humain
(=>
(
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
physique
physique
est une
sous
-classe de
processus
TemporaryResidence
est une
instance
de
HotelUnit
stays
humain
and
TemporaryResidence
TemporaryResidence
est un
appartenir
�
AutonomousAgent
humain
est un
patient
de
processus
processus
est une
instance
de
physique
processus
est une
instance
de
physique
processus
est un
sous
-processus de
processus
processus
est
situ
� �
TemporaryResidence
price
processus
, 0.0
UnitedStatesDollar
(s) and
humain
(=>
(
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
physique
entit�
est une
instance
de
HotelFunctionRoom
entit�
est un
appartenir
�
AutonomousAgent
processus
est une
instance
de
Renting
entit�
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
entit�
physique
est une
sous
-classe de
objet
l'argument
entit�
entit�
entit�
est une
instance
de
physique
entit�
est une
instance
de
processus
entit�
est une
resource
pour
entit�
entit�
est un
instrument
pour
entit�
entit�
est un
patient
de
entit�
entit�
est un
agent
de
entit�
entit�
exp
�rimente
entit�
a la
force
modale
de
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
humain
and
AutonomousAgent
stays
humain
and
TemporaryResidence
TemporaryResidence
est un
appartenir
�
AutonomousAgent
TemporaryResidence
est une
instance
de
TemporaryResidence
OOM
roomAmenity
TemporaryResidence
OOM and
physique
physique
est une
sous
-classe de
objet
physique
physique
est une
instance
de
physique
physique
est
situ
� �
TemporaryResidence
AutonomousAgent
autorise
humain
� ex�cut� des t�ches du type
entit�
entit�
est un
agent
de
humain
physique
est un
instrument
pour
entit�
physique
est un
patient
de
entit�
physique
est une
resource
pour
entit�
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Book
))
(
holdsDuring
?T1
(
attribute
?AGENT
BookPublishers
)))
Media.kif 1900-1904
Entit�
publie
classe
pendant
position temporel
classe
est une
sous
-classe de
livre
BookPublishers
est un
attribut
de
entit�
pendant
position temporel
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
MusicalComposition
))
(
holdsDuring
?T1
(
attribute
?AGENT
MusicPublishers
)))
Media.kif 1888-1892
Entit�
publie
classe
pendant
position temporel
classe
est une
sous
-classe de
MusicalComposition
MusicPublishers
est un
attribut
de
entit�
pendant
position temporel
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 31492-31499
applicableRelation
objet
and
relation
objet
est une
instance
de
objet
C le nombre 1 argument de
relation
est une
instance
de
classe
objet
C est
classe
objet
C est une
sous
-classe de
classe
(=>
(
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
DutyFree
est un
attribut
de
objet
objet
est une
instance
de
Store
secteur g�opolitique
entit�
,
objet
and
processus
secteur g�opolitique
est une
instance
de
secteur g�opolitique
objet
est
situ
� �
secteur g�opolitique
objet
est une
sous
-classe de
objet
importCommodityType
secteur g�opolitique
and
objet
entit�
est une
instance
de
objet
processus
est une
instance
de
vendre
entit�
est un
patient
de
processus
processus
est
situ
� �
objet
(=>
(
and
(
birthdate
?A ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?CLASS ?FUTURE)
(
and
(
birthday
?A ?CLASS)
(
subclass
?CLASS
Day
)
(
instance
?FUTURE
Integer
)
(
equal
?CLASS
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?FUTURE))))
(
greaterThan
?FUTURE ?Y))))
Mid-level-ontology.kif 24312-24322
birthdate
humain
and
jour
jour
est une
instance
de le
jour
nombre entier positif
jour
nombre entier
birthday
humain
and
jour
jour
est une
sous
-classe de
jour
nombre entier
est une
instance
de
nombre entier
jour
est
jour
nombre entier positif
nombre entier
est
plus
grand
que
nombre entier
(=>
(
and
(
domain
?REL ?NUMBER ?CLASS1)
(
domain
?REL ?NUMBER ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 221-227
Le nombre
nombre entier positif
argument de
relation
est une
instance
de
classe
le nombre
nombre entier positif
argument de
relation
est une
instance
de
classe
classe
est une
sous
-classe de
classe
classe
est une
sous
-classe de
classe
(=>
(
and
(
domainSubclass
?REL ?NUMBER ?CLASS)
(
instance
?REL
Predicate
)
(?REL @ROW))
(
subclass
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER) ?CLASS))
Merge.kif 2992-2997
Le nombre
nombre entier positif
argument de
relation
est une
sous
-classe de
classe
relation
est une
instance
de
predicat
relation
@ROW
nombre entier positif
th
sous
-classe de
classe
(=>
(
and
(
domainSubclass
?REL ?NUMBER ?CLASS1)
(
domainSubclass
?REL ?NUMBER ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 244-250
Le nombre
nombre entier positif
argument de
relation
est une
sous
-classe de
classe
le nombre
nombre entier positif
argument de
relation
est une
sous
-classe de
classe
classe
est une
sous
-classe de
classe
classe
est une
sous
-classe de
classe
(=>
(
and
(
equal
?CLASS1
(
ReceivingAnObjectFn
?OBJCLASS1))
(
equal
?CLASS2
(
ReceivingAnObjectFn
?OBJCLASS2))
(
subclass
?OBJCLASS1 ?OBJCLASS2))
(
subclass
?CLASS1 ?CLASS2))
Media.kif 195-200
Obtenir
est
ReceivingAnObjectFn
objet
obtenir
est
ReceivingAnObjectFn
objet
objet
est une
sous
-classe de
objet
obtenir
est une
sous
-classe de
obtenir
(=>
(
and
(
equal
?X
(
AttrFn
?CLASS ?ATTR))
(
instance
?I ?X))
(
and
(
instance
?I ?CLASS)
(
subclass
?X ?CLASS)
(
attribute
?I ?ATTR)))
Merge.kif 1767-1775
Objet
est
AttrFn
objet
and
attribut
objet
est une
instance
de
objet
objet
est une
instance
de
objet
objet
est une
sous
-classe de
objet
attribut
est un
attribut
de
objet
(=>
(
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
WearableItem
est une
instance
de
HearingProtection
animal
est une
instance
de
humain
animal
porte
WearableItem
WearableItem
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
processus
entit�
est une
sous
-classe de la
classe
d�crite par
entit�
entit�
previent
l'occurrence de
entit�
WearableItem
est un
instrument
pour
entit�
(=>
(
and
(
instance
?MENU
AlcoholMenu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
AlcoholicBeverage
))
Dining.kif 219-223
Catalog
est une
instance
de
AlcoholMenu
catalogItem
entit�
and
Catalog
entit�
est une
sous
-classe de
AlcoholicBeverage
(=>
(
and
(
instance
?MENU
BeverageMenu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
Beverage
))
Dining.kif 208-212
Catalog
est une
instance
de
BeverageMenu
catalogItem
entit�
and
Catalog
entit�
est une
sous
-classe de
boisson
(=>
(
and
(
instance
?MENU
Menu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
(
FoodForFn
Human
)))
Dining.kif 178-182
Catalog
est une
instance
de
Menu
catalogItem
entit�
and
Catalog
entit�
est une
sous
-classe de
FoodForFn
humain
(=>
(
and
(
instance
?MENU
WineMenu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
WineMenu
))
Dining.kif 229-233
Catalog
est une
instance
de
WineMenu
catalogItem
entit�
and
Catalog
entit�
est une
sous
-classe de
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 9513-9526
Objet
est une
instance
de
plante
objet
est une
partie
de
objet
processus
entit�
and
processus
processus
est une
instance
de
processus
processus
est une
sous
-classe de
garder
entit�
est une
instance
de
eau
entit�
est un
patient
de
processus
objet
est
capable
de faire
processus
dans le r�le
instrument
objet
est une
instance
de
PlantLeaf
objet
est une
instance
de
PlantStem
(=>
(
and
(
instance
?REL
EconomicRelation
)
(
domain
?REL 1 ?CLASS))
(
subclass
?CLASS
GeopoliticalArea
))
Mid-level-ontology.kif 16775-16779
Relation
est une
instance
de
EconomicRelation
le nombre 1 argument de
relation
est une
instance
de
classe
classe
est une
sous
-classe de
secteur g�opolitique
(=>
(
and
(
instance
?SEQ
SequenceFunction
)
(
range
?SEQ ?CLASS))
(
subclass
?CLASS
Integer
))
Merge.kif 3379-3383
Function
est une
instance
de
sequence function s�quence
le
domaine
de
function
est une instance de
classe
classe
est une
sous
-classe de
nombre entier
(=>
(
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
WearableItem
est une
instance
de
SafetyHarness
animal
est une
instance
de
animal
animal
porte
WearableItem
WearableItem
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
processus
WearableItem
est un
instrument
pour
entit�
animal
est un
patient
de
entit�
entit�
est une
sous
-classe de la
classe
d�crite par
entit�
entit�
previent
l'occurrence de
entit�
(=>
(
and
(
instance
?SKI
SnowSki
)
(
material
?MAT ?SKI))
(
or
(
subclass
?MAT
Metal
)
(
subclass
?MAT
Wood
)
(
subclass
?MAT
Plastic
)))
Sports.kif 1039-1046
Objet corpusculaire
est une
instance
de
SnowSki
substance
est
fait
de
objet corpusculaire
substance
est une
sous
-classe de
m�tal
substance
est une
sous
-classe de
Wood
substance
est une
sous
-classe de
Plastic
(=>
(
and
(
instance
?W
BalsaWood
)
(
part
?W ?R))
(
exists
(?STEM)
(
and
(
instance
?R
(
DeadFn
?STEM))
(
subclass
?STEM
PlatnStem
)
(
initialPart
?STEM
Balsa
))))
Economy.kif 4665-4673
Objet
est une
instance
de
BalsaWood
objet
est une
partie
de
objet
OrganicObjecct
objet
est une
instance
de
DeadFn
OrganicObjecct
OrganicObjecct
est une
sous
-classe de
PlatnStem
initialPart
OrganicObjecct
and
Balsa
(=>
(
and
(
instance
?W
BeechWood
)
(
part
?W ?R))
(
exists
(?STEM)
(
and
(
instance
?R
(
DeadFn
?STEM))
(
subclass
?STEM
PlatnStem
)
(
initialPart
?STEM
Beech
))))
Economy.kif 4678-4686
Objet
est une
instance
de
BeechWood
objet
est une
partie
de
objet
OrganicObjecct
objet
est une
instance
de
DeadFn
OrganicObjecct
OrganicObjecct
est une
sous
-classe de
PlatnStem
initialPart
OrganicObjecct
and
Beech
(=>
(
and
(
instance
?W
BirchWood
)
(
part
?W ?R))
(
exists
(?STEM)
(
and
(
instance
?R
(
DeadFn
?STEM))
(
subclass
?STEM
PlatnStem
)
(
initialPart
?STEM
Birch
))))
Economy.kif 4691-4699
Objet
est une
instance
de
BirchWood
objet
est une
partie
de
objet
OrganicObjecct
objet
est une
instance
de
DeadFn
OrganicObjecct
OrganicObjecct
est une
sous
-classe de
PlatnStem
initialPart
OrganicObjecct
and
Birch
(=>
(
and
(
instance
?W
CedarWood
)
(
part
?W ?R))
(
exists
(?STEM)
(
and
(
instance
?R
(
DeadFn
?STEM))
(
subclass
?STEM
PlatnStem
)
(
initialPart
?STEM
Cedar
))))
Economy.kif 4824-4832
Objet
est une
instance
de
CedarWood
objet
est une
partie
de
objet
OrganicObjecct
objet
est une
instance
de
DeadFn
OrganicObjecct
OrganicObjecct
est une
sous
-classe de
PlatnStem
initialPart
OrganicObjecct
and
Cedar
(=>
(
and
(
instance
?W
CherryWood
)
(
part
?W ?R))
(
modalAttribute
(
exists
(?STEM)
(
and
(
instance
?R
(
DeadFn
?STEM))
(
subclass
?STEM
PlatnStem
)
(
initialPart
?STEM
BlackCherryTree
)))
Likely
))
Economy.kif 4704-4713
Objet
est une
instance
de
CherryWood
objet
est une
partie
de
objet
l'argument
entit�
objet
est une
instance
de
DeadFn
entit�
entit�
est une
sous
-classe de
PlatnStem
initialPart
entit�
and
BlackCherryTree
a la
force
modale
de
Likely
(=>
(
and
(
instance
?W
FirWood
)
(
part
?W ?R))
(
modalAttribute
(
exists
(?STEM)
(
and
(
instance
?R
(
DeadFn
?STEM))
(
subclass
?STEM
PlatnStem
)
(
initialPart
?STEM
DouglasFir
)))
Likely
))
Economy.kif 4837-4846
Objet
est une
instance
de
FirWood
objet
est une
partie
de
objet
l'argument
entit�
objet
est une
instance
de
DeadFn
entit�
entit�
est une
sous
-classe de
PlatnStem
initialPart
entit�
and
DouglasFir
a la
force
modale
de
Likely
(=>
(
and
(
instance
?W
Hardwood
)
(
part
?W ?R))
(
modalAttribute
(
exists
(?STEM)
(
and
(
instance
?R
(
DeadFn
?STEM))
(
subclass
?STEM
PlantStem
)
(
initialPart
?STEM
DeciduousTree
)))
Likely
))
Economy.kif 4651-4660
Objet
est une
instance
de
Hardwood
objet
est une
partie
de
objet
l'argument
entit�
objet
est une
instance
de
DeadFn
entit�
entit�
est une
sous
-classe de
PlantStem
initialPart
entit�
and
DeciduousTree
a la
force
modale
de
Likely
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
FitForMilitaryServiceMaleFn
secteur g�opolitique
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
(
exists
(?T)
(
and
(
subclass
?T
HandToolBox
)
(
manufacturer
?T
SortimoCorp
)))
Cars.kif 5109-5112
Objet
objet
est une
sous
-classe de
HandToolBox
manufacturer
objet
and
SortimoCorp
appearance as argument number 0
(
subclass
AAM
AirAttackMissile
)
MilitaryDevices.kif 1170-1170
AAM
est une
sous
-classe de
AirAttackMissile
(
subclass
AAM
AirLaunchMissile
)
MilitaryDevices.kif 1169-1169
AAM
est une
sous
-classe de
AirLaunchMissile
(
subclass
AAM
GuidedMissile
)
MilitaryDevices.kif 1171-1171
AAM
est une
sous
-classe de
GuidedMissile
(
subclass
AAV
AmphibiousVehicle
)
MilitaryDevices.kif 1647-1647
AAV
est une
sous
-classe de
AmphibiousVehicle
(
subclass
AAV
MilitaryVehicle
)
MilitaryDevices.kif 1646-1646
AAV
est une
sous
-classe de
MilitaryVehicle
(
subclass
AAV
PassengerVehicle
)
MilitaryDevices.kif 1648-1648
AAV
est une
sous
-classe de
PassengerVehicle
(
subclass
AAV
PoweredVehicle
)
MilitaryDevices.kif 1649-1649
AAV
est une
sous
-classe de
PoweredVehicle
(
subclass
ACPowerSource
PowerSource
)
Mid-level-ontology.kif 26453-26453
ACPowerSource
est une
sous
-classe de
PowerSource
(
subclass
AGM
AirLaunchMissile
)
MilitaryDevices.kif 1123-1123
AGM
est une
sous
-classe de
AirLaunchMissile
(
subclass
AGM
GroundAttackMissile
)
MilitaryDevices.kif 1124-1124
AGM
est une
sous
-classe de
GroundAttackMissile
(
subclass
AGM114
AGM
)
MilitaryDevices.kif 1203-1203
AGM114
est une
sous
-classe de
AGM
(
subclass
AGM114
AntiArmorWeapon
)
MilitaryDevices.kif 1205-1205
AGM114
est une
sous
-classe de
AntiArmorWeapon
(
subclass
AGM114
BeamRidingGMissile
)
MilitaryDevices.kif 1204-1204
AGM114
est une
sous
-classe de
BeamRidingGMissile
(
subclass
AGM65
AGM
)
MilitaryDevices.kif 1136-1136
AGM65
est une
sous
-classe de
AGM
(
subclass
AGM65
AntiArmorWeapon
)
MilitaryDevices.kif 1138-1138
AGM65
est une
sous
-classe de
AntiArmorWeapon
(
subclass
AGM65
InfraRedGMissile
)
MilitaryDevices.kif 1137-1137
AGM65
est une
sous
-classe de
InfraRedGMissile
(
subclass
AH1
Helicopter
)
MilitaryDevices.kif 1889-1889
AH1
est une
sous
-classe de
Helicopter
(
subclass
AH1
MilitaryVehicle
)
MilitaryDevices.kif 1890-1890
AH1
est une
sous
-classe de
MilitaryVehicle
(
subclass
AIM9
AAM
)
MilitaryDevices.kif 1177-1177
AIM9
est une
sous
-classe de
AAM
(
subclass
AIM9
InfraRedGMissile
)
MilitaryDevices.kif 1178-1178
AIM9
est une
sous
-classe de
InfraRedGMissile
(
subclass
AMFMAlarmClock
AlarmClock
)
Mid-level-ontology.kif 25631-25631
AMFMAlarmClock
est une
sous
-classe de
AlarmClock
(
subclass
AMFMAlarmClock
RadioReceiver
)
Mid-level-ontology.kif 25632-25632
AMFMAlarmClock
est une
sous
-classe de
RadioReceiver
(
subclass
AMRadioStation
RadioStation
)
Communications.kif 293-293
AMRadioStation
est une
sous
-classe de
RadioStation
(
subclass
AMRadioSystem
RadioSystem
)
Communications.kif 236-236
AMRadioSystem
est une
sous
-classe de
RadioSystem
(
subclass
AOCnumber
SymbolicString
)
Transportation.kif 3169-3169
AOCnumber
est une
sous
-classe de
cha�ne sympbolique
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