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
LCAC
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
ClosedWorldPredicate
)
Merge.kif 18660-18660
subclass
est une
instance
de
ClosedWorldPredicate
(
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
subField
subclass
)
Mid-level-ontology.kif 22956-22956
subField
est une
sous
-relation de
subclass
(
termFormat
ChineseLanguage
subclass
"子类")
domainEnglishFormat.kif 55708-55708
subField
est une
sous
-relation de
subclass
(
termFormat
ChineseLanguage
subclass
"子类别")
chinese_format.kif 320-320
subField
est une
sous
-relation de
subclass
(
termFormat
ChineseTraditionalLanguage
subclass
"子類")
domainEnglishFormat.kif 55707-55707
subField
est une
sous
-relation de
subclass
(
termFormat
EnglishLanguage
subclass
"subclass")
domainEnglishFormat.kif 55706-55706
subField
est une
sous
-relation de
subclass
(
termFormat
de
subclass
"teilkategorie")
terms-de.txt 133-133
subField
est une
sous
-relation de
subclass
antecedent
(=>
(
and
(
attribute
?H1
ADHD
)
(
not
(
attribute
?H2
ADHD
))
(
not
(
equal
?H1 ?H2))
(
instance
?I1 ?IC)
(
instance
?I2 ?IC)
(
subclass
?IC
IntentionalPsychologicalProcess
)
(
agent
?I1 ?H1)
(
agent
?I2 ?H2)
(
duration
(
WhenFn
?I1) ?D1)
(
duration
(
WhenFn
?I2) ?D2))
(
modalAttribute
(
greaterThan
?D2 ?D1)
Likely
))
Medicine.kif 3987-4007
ADHD
est un
attribut
de
AutonomousAgent
ADHD
est un
attribut
de
AutonomousAgent
equal
AutonomousAgent
and
AutonomousAgent
processus
est une
instance
de
classe
processus
est une
instance
de
classe
classe
est une
sous
-classe de
processus psycholoqique intentionnel
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
la
dur
�� de
temps
d'existence de
processus
est
dur�e temporel
la
dur
�� de
temps
d'existence de
processus
est
dur�e temporel
l'argument
dur�e temporel
est
plus
grand
que
dur�e temporel
a la
force
modale
de
Likely
(=>
(
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 1194-1209
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 738-748
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 583-589
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 14886-14897
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 14855-14866
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
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?PROCESS)
(
subclass
?SUB ?PROCESS))
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?SUB))
WMD.kif 957-961
diseaseMedicine
maladie ou syndrome
,
substance biologique active
and
processus
processus
est une
sous
-classe de
processus
diseaseMedicine
maladie ou syndrome
,
substance biologique active
and
processus
(=>
(
and
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?PROCESS)
(
subclass
?SUB ?SUBSTANCE))
(
diseaseMedicine
?DISEASE ?SUB ?PROCESS))
WMD.kif 963-967
diseaseMedicine
maladie ou syndrome
,
substance biologique active
and
processus
substance biologique active
est une
sous
-classe de
substance biologique active
diseaseMedicine
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 2352-2361
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 2396-2405
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 2442-2451
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 2220-2229
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
?AF
(
OrganicObjectFn
?F))
(
subclass
?AF
AnimalFat
)
(
subclass
?F
FatTissue
))
(
initialPart
?F
Animal
))
Food.kif 2883-2889
equal
objet
and
OrganicObjectFn
objet
objet
est une
sous
-classe de
AnimalFat
objet
est une
sous
-classe de
tissu gras
initialPart
objet
and
animal
(=>
(
and
(
equal
?B
(
OrganicObjectFn
?P))
(
subclass
?B
CoffeeBean
)
(
subclass
?P
Seed
))
(
initialPart
?P
CoffeePlant
))
Economy.kif 4967-4972
equal
objet
and
OrganicObjectFn
objet
objet
est une
sous
-classe de
CoffeeBean
objet
est une
sous
-classe de
Seed
initialPart
objet
and
CoffeePlant
(=>
(
and
(
equal
?C
(
OrganicObjectFn
?S))
(
subclass
?C
CocoaBean
)
(
subclass
?S
Seed
))
(
initialPart
?S
CocoaTree
))
Economy.kif 5031-5037
equal
objet
and
OrganicObjectFn
objet
objet
est une
sous
-classe de
CocoaBean
objet
est une
sous
-classe de
Seed
initialPart
objet
and
CocoaTree
(=>
(
and
(
equal
?CLASS1
(
ReceivingAnObjectFn
?OBJCLASS1))
(
equal
?CLASS2
(
ReceivingAnObjectFn
?OBJCLASS2))
(
subclass
?OBJCLASS1 ?OBJCLASS2))
(
subclass
?CLASS1 ?CLASS2))
Media.kif 195-200
equal
obtenir
and
ReceivingAnObjectFn
objet
equal
obtenir
and
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 19972-19977
equal
organisation
and
DepartmentOfPreventingFn
organisation
and
physique
physique
est une
sous
-classe de
processus
organisation
est une partie de l'organization
organisation
organisation
inhibe
physique
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?A))
(
subclass
?M
Meat
))
(
subclass
?A
Animal
))
Economy.kif 5285-5290
equal
objet
and
OrganicObjectFn
objet organique
objet
est une
sous
-classe de
viande
objet organique
est une
sous
-classe de
animal
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?G))
(
subclass
?M
Malt
)
(
subclass
?G
CerealGrain
))
(
initialPart
?G
CerealGrass
))
Economy.kif 4503-4509
equal
objet
and
OrganicObjectFn
objet
objet
est une
sous
-classe de
Malt
objet
est une
sous
-classe de
CerealGrain
initialPart
objet
and
CerealGrass
(=>
(
and
(
equal
?O
(
OrganicObjectFn
?S))
(
subclass
?O
OilFromPlant
)
(
or
(
subclass
?S
Seed
)
(
subclass
?S
Fruit
)))
(
exists
(?P)
(
and
(
subclass
?P
FloweringPlant
)
(
initialPart
?S ?P))))
Economy.kif 4870-4881
equal
objet
and
OrganicObjectFn
objet
objet
est une
sous
-classe de
OilFromPlant
objet
est une
sous
-classe de
Seed
objet
est une
sous
-classe de
Fruit
objet
objet
est une
sous
-classe de
plant florissante
initialPart
objet
and
objet
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 33332-33339
applicableRelation
objet
and
relation
objet
est une
instance
de
objet
C le nombre 1 argument de
relation
est une
instance
de
classe
equal
objet
C and
classe
objet
C est une
sous
-classe de
classe
(=>
(
and
(
attribute
?G
ToxicandInfectiousSubstance
)
(
or
(
instance
?G
Substance
)
(
instance
?G
Microorganism
)))
(
exists
(?O ?P ?I ?CLASS)
(
and
(
or
(
instance
?O
Human
)
(
instance
?O
Animal
))
(
orientation
?G ?O
Near
)
(
or
(
instance
?P
Inhaling
)
(
instance
?P
Ingesting
)
(
instance
?P
Touching
))
(
agent
?P ?O)
(
patient
?P ?G)
(
causes
?P ?I)
(
patient
?I ?O)
(
instance
?I ?CLASS)
(
capability
?CLASS
resource
?G)
(
or
(
subclass
?CLASS
Injuring
)
(
subclass
?CLASS
Death
)))))
Transportation.kif 4203-4227
ToxicandInfectiousSubstance
est un
attribut
de
objet
objet
est une
instance
de
substance
objet
est une
instance
de
microorganisme
AutonomousAgent
processus
,
processus
and
processus
AutonomousAgent
est une
instance
de
humain
AutonomousAgent
est une
instance
de
animal
objet
est
Near
�
AutonomousAgent
processus
est une
instance
de
Inhaling
processus
est une
instance
de
ing�rer
processus
est une
instance
de
toucher
processus
est un
agent
de
AutonomousAgent
objet
est un
patient
de
processus
processus
cause
processus
AutonomousAgent
est un
patient
de
processus
processus
est une
instance
de
processus
objet
est
capable
de faire
processus
dans le r�le
resource
processus
est une
sous
-classe de
blesser
processus
est une
sous
-classe de
mort
(=>
(
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 1489-1502
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 25883-25893
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
equal
jour
and le
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 215-221
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 3018-3023
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 238-244
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
equal
obtenir
and
ReceivingAnObjectFn
objet
equal
obtenir
and
ReceivingAnObjectFn
objet
objet
est une
sous
-classe de
objet
obtenir
est une
sous
-classe de
obtenir
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?A))
(
subclass
?M
Meat
))
(
subclass
?A
Animal
))
Economy.kif 5285-5290
equal
objet
and
OrganicObjectFn
objet organique
objet
est une
sous
-classe de
viande
objet organique
est une
sous
-classe de
animal
(=>
(
and
(
equal
?O
(
OrganicObjectFn
?S))
(
subclass
?O
OilFromPlant
)
(
or
(
subclass
?S
Seed
)
(
subclass
?S
Fruit
)))
(
exists
(?P)
(
and
(
subclass
?P
FloweringPlant
)
(
initialPart
?S ?P))))
Economy.kif 4870-4881
equal
objet
and
OrganicObjectFn
objet
objet
est une
sous
-classe de
OilFromPlant
objet
est une
sous
-classe de
Seed
objet
est une
sous
-classe de
Fruit
objet
objet
est une
sous
-classe de
plant florissante
initialPart
objet
and
objet
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?ORG))
(
subclass
?P
Object
))
(
or
(
subclass
?ORG
Organism
)
(
subclass
?ORG
AnatomicalStructure
)))
Economy.kif 5599-5606
equal
objet
and
OrganicObjectFn
objet organique
objet
est une
sous
-classe de
objet
objet organique
est une
sous
-classe de
organisme
objet organique
est une
sous
-classe de
structure anatomique
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?S))
(
subclass
?P
Pelt
))
(
subclass
?S
Skin
))
Economy.kif 5373-5377
equal
objet
and
OrganicObjectFn
objet organique
objet
est une
sous
-classe de
Pelt
objet organique
est une
sous
-classe de
Skin
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WoodProduct
)
(
subclass
?S
PlantStem
))
(
exists
(?T)
(
and
(
subclass
?T
BotanicalTree
)
(
initialPart
?S ?T))))
Economy.kif 5576-5585
equal
objet
and
OrganicObjectFn
objet
objet
est une
sous
-classe de
WoodProduct
objet
est une
sous
-classe de
PlantStem
objet
objet
est une
sous
-classe de
BotanicalTree
initialPart
objet
and
objet
(=>
(
and
(
equal
?X
(
AttrFn
?CLASS ?ATTR))
(
instance
?I ?X))
(
and
(
instance
?I ?CLASS)
(
subclass
?X ?CLASS)
(
attribute
?I ?ATTR)))
Merge.kif 1790-1798
equal
objet
and
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
?A
AegilopsGrass
)
(
part
?C ?A)
(
instance
?C ?CLASS))
(
subclass
?CLASS
DiploidCell
))
Economy.kif 4177-4182
Objet
est une
instance
de
AegilopsGrass
objet
est une
partie
de
objet
objet
est une
instance
de
objet
LASS
objet
LASS est une
sous
-classe de
DiploidCell
(=>
(
and
(
instance
?C
CommonWheatGrass
)
(
part
?CELL ?C)
(
instance
?CELL ?CLASS))
(
subclass
?CLASS
HexaploidCell
))
Economy.kif 4300-4305
Objet
est une
instance
de
CommonWheatGrass
objet
ELL est une
partie
de
objet
objet
ELL est une
instance
de
objet
LASS
objet
LASS est une
sous
-classe de
HexaploidCell
(=>
(
and
(
instance
?C
SpeltWheatGrass
)
(
part
?CELL ?C)
(
instance
?CELL ?CLASS))
(
subclass
?CLASS
HexaploidCell
))
Economy.kif 4330-4335
Objet
est une
instance
de
SpeltWheatGrass
objet
ELL est une
partie
de
objet
objet
ELL est une
instance
de
objet
LASS
objet
LASS est une
sous
-classe de
HexaploidCell
(=>
(
and
(
instance
?DECIDE
Deciding
)
(
agent
?DECIDE ?AGENT)
(
instance
?S
Set
)
(
patient
?DECIDE ?S)
(
element
?M ?S))
(
believes
?AGENT
(
exists
(?CLASS)
(
and
(
instance
?M ?CLASS)
(
subclass
?CLASS
IntentionalProcess
)
(
capability
?CLASS
agent
?AGENT)))))
Merge.kif 12164-12176
Processus
est une
instance
de
Deciding
processus
est un
agent
de
agent cognitif
ensemble
est une
instance
de
ensemble
ensemble
est un
patient
de
processus
entit�
est un
ensemble
agent cognitif
croit
entit�
entit�
est une
instance
de
entit�
entit�
est une
sous
-classe de
processus intentionnel
agent cognitif
est
capable
de faire
entit�
dans le r�le
agent
(=>
(
and
(
instance
?E
DurumWheatGrass
)
(
part
?C ?E)
(
instance
?C ?CLASS))
(
subclass
?CLASS
TetraploidCell
))
Economy.kif 4241-4246
Objet
est une
instance
de
DurumWheatGrass
objet
est une
partie
de
objet
objet
est une
instance
de
objet
LASS
objet
LASS est une
sous
-classe de
TetraploidCell
(=>
(
and
(
instance
?E
EinkornWheatGrass
)
(
part
?C ?E)
(
instance
?E ?CLASS))
(
subclass
?CLASS
DiploidCell
))
Economy.kif 4271-4276
Objet
est une
instance
de
EinkornWheatGrass
objet
est une
partie
de
objet
objet
est une
instance
de
objet
LASS
objet
LASS est une
sous
-classe de
DiploidCell
(=>
(
and
(
instance
?E
EmmerWheatGrass
)
(
part
?C ?E)
(
instance
?C ?CLASS))
(
subclass
?CLASS
TetraploidCell
))
Economy.kif 4209-4214
Objet
est une
instance
de
EmmerWheatGrass
objet
est une
partie
de
objet
objet
est une
instance
de
objet
LASS
objet
LASS est une
sous
-classe de
TetraploidCell
(=>
(
and
(
instance
?E
TriticumUrartu
)
(
part
?C ?E)
(
instance
?E ?CLASS))
(
subclass
?CLASS
DiploidCell
))
Economy.kif 4285-4290
Objet
est une
instance
de
TriticumUrartu
objet
est une
partie
de
objet
objet
est une
instance
de
objet
LASS
objet
LASS est une
sous
-classe de
DiploidCell
(=>
(
and
(
instance
?F
Felling
)
(
result
?F ?S))
(
exists
(?STEM)
(
and
(
instance
?S
(
DeadFn
?STEM))
(
subclass
?STEM
PlantStem
))))
Economy.kif 5827-5835
Processus
est une
instance
de
Felling
entit�
est le
resultat
de
processus
entit�
TEM
entit�
est une
instance
de
DeadFn
entit�
TEM
entit�
TEM est une
sous
-classe de
PlantStem
(=>
(
and
(
instance
?H
Harvesting
)
(
result
?H ?O))
(
exists
(?ORG)
(
and
(
instance
?O
(
DeadFn
?ORG))
(
subclass
?ORG
OrganicObject
))))
Mid-level-ontology.kif 19655-19663
Processus
est une
instance
de
Harvesting
entit�
est le
resultat
de
processus
entit�
RG
entit�
est une
instance
de
DeadFn
entit�
RG
entit�
RG est une
sous
-classe de
objet organique
(=>
(
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 3508-3537
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�
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 963-974
equal
FitForMilitaryServiceMaleFn
secteur g�opolitique
and le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
(
exists
(?T)
(
and
(
subclass
?T
HandToolBox
)
(
manufacturer
?T
SortimoCorp
)))
Cars.kif 5170-5173
Objet
objet
est une
sous
-classe de
HandToolBox
manufacturer
objet
and
SortimoCorp
appearance as argument number 0
(
subclass
ABranchOfDorsalPrimaryDivisionOfSuboccipitalNerve
Nerve
)
Muscles.kif 778-778
ABranchOfDorsalPrimaryDivisionOfSuboccipitalNerve
est une
sous
-classe de
Nerve
(
subclass
ACPowerSource
PowerSource
)
Mid-level-ontology.kif 28254-28254
ACPowerSource
est une
sous
-classe de
PowerSource
(
subclass
ADHD
PsychologicalDysfunction
)
Medicine.kif 3294-3294
ADHD
est une
sous
-classe de
dysfonctionement psychologique
(
subclass
AMFMAlarmClock
AlarmClock
)
Mid-level-ontology.kif 27208-27208
AMFMAlarmClock
est une
sous
-classe de
AlarmClock
(
subclass
AMFMAlarmClock
RadioReceiver
)
Mid-level-ontology.kif 27209-27209
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 4075-4075
AOCnumber
est une
sous
-classe de
cha�ne sympbolique
(
subclass
ATMMachine
StationaryArtifact
)
FinancialOntology.kif 3601-3601
ATMMachine
est une
sous
-classe de
artefact stationnaire
(
subclass
ATMSlot
HoleRegion
)
FinancialOntology.kif 3677-3677
ATMSlot
est une
sous
-classe de
trou
(
subclass
ATVTire
Tire
)
Cars.kif 4876-4876
ATVTire
est une
sous
-classe de
Tire
(
subclass
AVCTP
ComputerProgram
)
ComputingBrands.kif 2169-2169
AVCTP
est une
sous
-classe de
programme d'ordinateur
(
subclass
AVPUStatus
RelationalAttribute
)
Medicine.kif 6430-6430
AVPUStatus
est une
sous
-classe de
attribut relationnel
(
subclass
AbaloneMeat
MolluskMeat
)
Food.kif 1994-1994
AbaloneMeat
est une
sous
-classe de
MolluskMeat
(
subclass
Abatacept
Immunosupressant
)
Medicine.kif 4952-4952
Abatacept
est une
sous
-classe de
Immunosupressant
(
subclass
Abayah
Cloak
)
ArabicCulture.kif 527-527
Abayah
est une
sous
-classe de
Cloak
(
subclass
Abbey
ReligiousOrganization
)
People.kif 1213-1213
Abbey
est une
sous
-classe de
organisation religieuse
(
subclass
Abdomen
AnimalAnatomicalStructure
)
Mid-level-ontology.kif 14148-14148
Abdomen
est une
sous
-classe de
AnimalAnatomicalStructure
(
subclass
AbdominalAorta
Artery
)
arteries.kif 1272-1272
AbdominalAorta
est une
sous
-classe de
Artery
(
subclass
AbducensNerveCNVI
Nerve
)
Muscles.kif 135-135
AbducensNerveCNVI
est une
sous
-classe de
Nerve
(
subclass
Abducting
BodyMotion
)
Anatomy.kif 2046-2046
Abducting
est une
sous
-classe de
mouvement du corps
(
subclass
Abducting
MovingAwayFrom
)
Anatomy.kif 2047-2047
Abducting
est une
sous
-classe de
MovingAwayFrom
(
subclass
AbductorDigitiMinimiMuscle
Muscle
)
Muscles.kif 1608-1608
AbductorDigitiMinimiMuscle
est une
sous
-classe de
muscle
(
subclass
AbductorHallucisMuscle
Muscle
)
Muscles.kif 2127-2127
AbductorHallucisMuscle
est une
sous
-classe de
muscle
(
subclass
AbductorPollicisBrevisMuscle
Muscle
)
Muscles.kif 1581-1581
AbductorPollicisBrevisMuscle
est une
sous
-classe de
muscle
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