Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
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
actedIn
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
Il numero 1 argomenti di
subclass
è un
istanza
di
Classe
(
domain
subclass
2
Class
)
Merge.kif 132-132
Il numero 2 argomenti di
subclass
è un
istanza
di
Classe
(
instance
subclass
BinaryPredicate
)
Merge.kif 129-129
subclass
è un'
istanza
di
PredicatoBinario
(
instance
subclass
ClosedWorldPredicate
)
Merge.kif 18551-18551
subclass
è un'
istanza
di
ClosedWorldPredicate
(
instance
subclass
PartialOrderingRelation
)
Merge.kif 130-130
subclass
è un'
istanza
di
RelazioneDiOrdineParziale
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 21366-21366
subField
è una
sottorelazione
di
subclass
(
subrelation
subset
subclass
)
Merge.kif 5392-5392
subset
è una
sottorelazione
di
subclass
(
termFormat
ChineseLanguage
subclass
"子类")
domainEnglishFormat.kif 55706-55706
(
termFormat
ChineseLanguage
subclass
"子类别")
chinese_format.kif 320-320
(
termFormat
ChineseTraditionalLanguage
subclass
"子類")
domainEnglishFormat.kif 55705-55705
(
termFormat
EnglishLanguage
subclass
"subclass")
domainEnglishFormat.kif 55704-55704
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 3984-4004
attribute
AutonomousAgent
and
ADHD
attribute
AutonomousAgent
and
ADHD
AutonomousAgent
is
uguale
a
AutonomousAgent
Processo
è un'
istanza
di
Classe
Processo
è un'
istanza
di
Classe
Classe
è una
sottoclasse
di
ProcessoPsicologicoIntenzionale
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
durata
di il
tempo
di esistenza di
Processo
è
Durata
durata
di il
tempo
di esistenza di
Processo
è
Durata
l'affermazione
Durata
è
pi
ù grande di
Durata
ha il modello di forza di
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 1186-1201
attribute
Oggetto
and
Oversized
%è una
istanza
immediata %2
Classe
è una
sottoclasse
di
HotelUnit
Entit�Concreta
NumeroReale
,
NumeroReale
and
Unit�DiMisura
%è una
istanza
immediata %2
Unit�DiMisura
è un'
istanza
di
UnitOfArea
la
misura
Entit�Concreta
è
NumeroReale
Unit�DiMisura
(s la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è un'
istanza
di
MisuraDiArea
NumeroReale
è un'
istanza
di
MisuraDiArea
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
attribute
AutonomousAgent
and
Writer
Entit�
è un'
istanza
di
OggettoSemiotico
OggettoSemiotico
è una
sottoclasse
di
Testo
OggettoSemiotico
è una
sottoclasse
di
Document
Processo
è un'
istanza
di
Scrivere
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
risultato
di
Processo
AutonomousAgent
è l'
autore
di
OggettoSemiotico
(=>
(
and
(
biochemicalAgentDelivery
?AGENT ?PROCESS)
(
subclass
?SUB ?PROCESS))
(
biochemicalAgentDelivery
?AGENT ?SUB))
WMD.kif 789-793
biochemicalAgentDelivery
BiochemicalAgent
and
Processo
Processo
è una
sottoclasse
di
Processo
biochemicalAgentDelivery
BiochemicalAgent
and
Processo
(=>
(
and
(
biologicalAgentCarrier
?AGENT ?ORGANISM)
(
subclass
?SUB ?ORGANISM))
(
biologicalAgentCarrier
?AGENT ?SUB))
WMD.kif 976-980
biologicalAgentCarrier
BiologicalAgent
and
Organismo
Organismo
è una
sottoclasse
di
Organismo
biologicalAgentCarrier
BiologicalAgent
and
Organismo
(=>
(
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
Oggetto
è
capace
di fare
Processo
nel ruolo
RuoloSemantico
Processo
è una
sottoclasse
di
Sparare
Oggetto
Oggetto
è un'
istanza
di
Arma
Oggetto
è una
parte
di
Oggetto
Oggetto
è
capace
di fare
Processo
nel ruolo
RuoloSemantico
(=>
(
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 il
giorno
NumeroInteroPositivo
Entit�
è un'
istanza
di
Holiday
Holiday
è una
sottoclasse
di
FixedHoliday
NumeroIntero
è
minore
o uguale a
Entit�
-YEAR
Entit�
è un'
istanza
di il
giorno
NumeroInteroPositivo
(=>
(
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
AgenteCognitivo
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Oggetto
Entit�
è un'
istanza
di
Entit�Concreta
AutonomousAgent
permette
a
AgenteCognitivo
di compiere il compito di tipo
Entit�
Entit�
è un'
istanza
di
Processo
Entit�
è una
risorsa
per
Entit�
Entit�
è uno
strumento
per
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un
agente
di
AgenteCognitivo
AgenteCognitivo
esperisce
s
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
AgenteCognitivo
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Processo
l'affermazione
Entit�
Entit�
and
Entit�
%è un
elemento
di
Possibility
Entit�
è un
agente
di
AutonomousAgent
AgenteCognitivo
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
Entit�Concreta
Entit�
è un'
istanza
di
Entit�Concreta
Entit�
è un
sottoprocesso
di
Entit�
Entit�
è
localizzato
in
Entit�
ha il modello di forza di
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 13574-13585
defaultMaximumMeasure
Oggetto
and
NumeroReale
Unit�DiMisura
(s
Classe
è una
sottoclasse
di
NonCompositeUnitOfMeasure
Unit�DiMisura
è un'
istanza
di
Classe
l'affermazione
Entit�
NumeroReale
UANTITY and
Entit�
Entit�
è un'
istanza
di
Oggetto
la
misura
Entit�
è
NumeroReale
UANTITY
Entit�
(s
Entit�
è un'
istanza
di
Classe
NumeroReale
UANTITY
Entit�
(s è
pi
ù grande di
NumeroReale
Unit�DiMisura
(s ha il modello di forza di
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 13543-13554
defaultMinimumMeasure
Oggetto
and
NumeroReale
Unit�DiMisura
(s
Classe
è una
sottoclasse
di
NonCompositeUnitOfMeasure
Unit�DiMisura
è un'
istanza
di
Classe
l'affermazione
Entit�
NumeroReale
UANTITY and
Entit�
Entit�
è un'
istanza
di
Oggetto
la
misura
Entit�
è
NumeroReale
UANTITY
Entit�
(s
Entit�
è un'
istanza
di
Classe
NumeroReale
UANTITY è
meno
di
NumeroReale
ha il modello di forza di
Unlikely
(=>
(
and
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?PROCESS)
(
subclass
?SUB ?PROCESS))
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?SUB))
WMD.kif 957-961
diseaseMedicine
MalattiaOSindrome
,
SostanzaBiologicamenteAttiva
and
Processo
Processo
è una
sottoclasse
di
Processo
diseaseMedicine
MalattiaOSindrome
,
SostanzaBiologicamenteAttiva
and
Processo
(=>
(
and
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?PROCESS)
(
subclass
?SUB ?SUBSTANCE))
(
diseaseMedicine
?DISEASE ?SUB ?PROCESS))
WMD.kif 963-967
diseaseMedicine
MalattiaOSindrome
,
SostanzaBiologicamenteAttiva
and
Processo
SostanzaBiologicamenteAttiva
è una
sottoclasse
di
SostanzaBiologicamenteAttiva
diseaseMedicine
MalattiaOSindrome
,
SostanzaBiologicamenteAttiva
and
Processo
(=>
(
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 2112-2121
electricityConsumptionInPeriod
AreaGeopolitica
,
Quantit�Fisica
and
IntervalloTemporale
IntervalloTemporale
è una
sottoclasse
di
Anno
IntervalloTemporale
è una
sottoclasse
di
FiscalYearFn
AreaGeopolitica
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
annualElectricityConsumption
AreaGeopolitica
and
Quantit�Fisica
vales
durante
PosizioneTemporale
(=>
(
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 2156-2165
electricityExportInPeriod
AreaGeopolitica
,
Quantit�Fisica
and
IntervalloTemporale
IntervalloTemporale
è una
sottoclasse
di
Anno
IntervalloTemporale
è una
sottoclasse
di
FiscalYearFn
AreaGeopolitica
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
annualElectricityExport
AreaGeopolitica
and
Quantit�Fisica
vales
durante
PosizioneTemporale
(=>
(
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 2202-2211
electricityImportInPeriod
AreaGeopolitica
,
Quantit�Fisica
and
IntervalloTemporale
IntervalloTemporale
è una
sottoclasse
di
Anno
IntervalloTemporale
è una
sottoclasse
di
FiscalYearFn
AreaGeopolitica
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
annualElectricityImport
AreaGeopolitica
and
Quantit�Fisica
vales
durante
PosizioneTemporale
(=>
(
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 1980-1989
electricityProductionInPeriod
AreaGeopolitica
,
Quantit�Fisica
and
IntervalloTemporale
IntervalloTemporale
è una
sottoclasse
di
Anno
IntervalloTemporale
è una
sottoclasse
di
FiscalYearFn
AreaGeopolitica
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
annualElectricityProduction
AreaGeopolitica
and
Quantit�Fisica
vales
durante
PosizioneTemporale
(=>
(
and
(
equal
?AF
(
OrganicObjectFn
?F))
(
subclass
?AF
AnimalFat
)
(
subclass
?F
FatTissue
))
(
initialPart
?F
Animal
))
Food.kif 2876-2882
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
AnimalFat
Oggetto
è una
sottoclasse
di
TessutoGrasso
initialPart
Oggetto
and
Animale
(=>
(
and
(
equal
?B
(
OrganicObjectFn
?P))
(
subclass
?B
CoffeeBean
)
(
subclass
?P
Seed
))
(
initialPart
?P
CoffeePlant
))
Economy.kif 4629-4634
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
CoffeeBean
Oggetto
è una
sottoclasse
di
Seed
initialPart
Oggetto
and
CoffeePlant
(=>
(
and
(
equal
?C
(
OrganicObjectFn
?S))
(
subclass
?C
CocoaBean
)
(
subclass
?S
Seed
))
(
initialPart
?S
CocoaTree
))
Economy.kif 4693-4699
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
CocoaBean
Oggetto
è una
sottoclasse
di
Seed
initialPart
Oggetto
and
CocoaTree
(=>
(
and
(
equal
?CLASS1
(
ReceivingAnObjectFn
?OBJCLASS1))
(
equal
?CLASS2
(
ReceivingAnObjectFn
?OBJCLASS2))
(
subclass
?OBJCLASS1 ?OBJCLASS2))
(
subclass
?CLASS1 ?CLASS2))
Media.kif 195-200
Ottenere
is
uguale
a
ReceivingAnObjectFn
Oggetto
Ottenere
is
uguale
a
ReceivingAnObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
Oggetto
Ottenere
è una
sottoclasse
di
Ottenere
(=>
(
and
(
equal
?DEP
(
DepartmentOfPreventingFn
?COMP ?PHYS))
(
subclass
?PHYS
Process
)
(
subOrganization
?DEP ?COMP))
(
inhibits
?DEP ?PHYS))
Mid-level-ontology.kif 18428-18433
Organizzazione
is
uguale
a
DepartmentOfPreventingFn
Organizzazione
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Processo
subOrganization
Organizzazione
and
Organizzazione
Organizzazione
inibisce
Entit�Concreta
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?A))
(
subclass
?M
Meat
))
(
subclass
?A
Animal
))
Economy.kif 4945-4950
Oggetto
is
uguale
a
OrganicObjectFn
Entit�Organica
Oggetto
è una
sottoclasse
di
Carne
Entit�Organica
è una
sottoclasse
di
Animale
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?G))
(
subclass
?M
Malt
)
(
subclass
?G
CerealGrain
))
(
initialPart
?G
CerealGrass
))
Economy.kif 4166-4172
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
Malt
Oggetto
è una
sottoclasse
di
CerealGrain
initialPart
Oggetto
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 4532-4543
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
OilFromPlant
Oggetto
è una
sottoclasse
di
Seed
Oggetto
è una
sottoclasse
di
Fruit
Oggetto
Oggetto
è una
sottoclasse
di
PiantaDaFiore
initialPart
Oggetto
and
Oggetto
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 31419-31426
applicableRelation
Oggetto
and
Relazione
Oggetto
è un'
istanza
di
Oggetto
C il numero 1 argomenti di
Relazione
è un
istanza
di
Classe
Oggetto
C is
uguale
a
Classe
Oggetto
C è una
sottoclasse
di
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
attribute
Oggetto
and
DutyFree
Oggetto
è un'
istanza
di
Store
AreaGeopolitica
Entit�
,
Oggetto
and
Processo
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
Oggetto
è
localizzato
in
AreaGeopolitica
Oggetto
è una
sottoclasse
di
Oggetto
importCommodityType
AreaGeopolitica
and
Oggetto
Entit�
è un'
istanza
di
Oggetto
Processo
è un'
istanza
di
Vendere
Entit�
è un
paziente
di
Processo
Processo
è
localizzato
in
Oggetto
(=>
(
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 24293-24303
birthdate
Umano
and
Giorno
Giorno
è un'
istanza
di il
giorno
NumeroInteroPositivo
Giorno
NumeroIntero
birthday
Umano
and
Giorno
Giorno
è una
sottoclasse
di
Giorno
NumeroIntero
è un'
istanza
di
NumeroIntero
Giorno
is
uguale
a il
giorno
NumeroInteroPositivo
NumeroIntero
è
pi
ù grande di
NumeroIntero
(=>
(
and
(
domain
?REL ?NUMBER ?CLASS1)
(
domain
?REL ?NUMBER ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 221-227
Il numero
NumeroInteroPositivo
argomenti di
Relazione
è un
istanza
di
Classe
il numero
NumeroInteroPositivo
argomenti di
Relazione
è un
istanza
di
Classe
Classe
è una
sottoclasse
di
Classe
Classe
è una
sottoclasse
di
Classe
(=>
(
and
(
domainSubclass
?REL ?NUMBER ?CLASS)
(
instance
?REL
Predicate
)
(?REL @ROW))
(
subclass
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER) ?CLASS))
Merge.kif 3006-3011
Il numero
NumeroInteroPositivo
argomento
Relazione
è una
sottoclasse
di
Classe
Relazione
è un'
istanza
di
Predicato
Relazione
@ROW
NumeroInteroPositivo
th
elemento
di (@ROW è una
sottoclasse
di
Classe
(=>
(
and
(
domainSubclass
?REL ?NUMBER ?CLASS1)
(
domainSubclass
?REL ?NUMBER ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 244-250
Il numero
NumeroInteroPositivo
argomento
Relazione
è una
sottoclasse
di
Classe
il numero
NumeroInteroPositivo
argomento
Relazione
è una
sottoclasse
di
Classe
Classe
è una
sottoclasse
di
Classe
Classe
è una
sottoclasse
di
Classe
(=>
(
and
(
equal
?CLASS1
(
ReceivingAnObjectFn
?OBJCLASS1))
(
equal
?CLASS2
(
ReceivingAnObjectFn
?OBJCLASS2))
(
subclass
?OBJCLASS1 ?OBJCLASS2))
(
subclass
?CLASS1 ?CLASS2))
Media.kif 195-200
Ottenere
is
uguale
a
ReceivingAnObjectFn
Oggetto
Ottenere
is
uguale
a
ReceivingAnObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
Oggetto
Ottenere
è una
sottoclasse
di
Ottenere
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?A))
(
subclass
?M
Meat
))
(
subclass
?A
Animal
))
Economy.kif 4945-4950
Oggetto
is
uguale
a
OrganicObjectFn
Entit�Organica
Oggetto
è una
sottoclasse
di
Carne
Entit�Organica
è una
sottoclasse
di
Animale
(=>
(
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 4532-4543
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
OilFromPlant
Oggetto
è una
sottoclasse
di
Seed
Oggetto
è una
sottoclasse
di
Fruit
Oggetto
Oggetto
è una
sottoclasse
di
PiantaDaFiore
initialPart
Oggetto
and
Oggetto
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?ORG))
(
subclass
?P
Object
))
(
or
(
subclass
?ORG
Organism
)
(
subclass
?ORG
AnatomicalStructure
)))
Economy.kif 5258-5265
Oggetto
is
uguale
a
OrganicObjectFn
Entit�Organica
Oggetto
è una
sottoclasse
di
Oggetto
Entit�Organica
è una
sottoclasse
di
Organismo
Entit�Organica
è una
sottoclasse
di
StrutturaAnatomica
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?S))
(
subclass
?P
Pelt
))
(
subclass
?S
Skin
))
Economy.kif 5032-5036
Oggetto
is
uguale
a
OrganicObjectFn
Entit�Organica
Oggetto
è una
sottoclasse
di
Pelt
Entit�Organica
è una
sottoclasse
di
Skin
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WoodProduct
)
(
subclass
?S
PlantStem
))
(
exists
(?T)
(
and
(
subclass
?T
BotanicalTree
)
(
initialPart
?S ?T))))
Economy.kif 5235-5244
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
WoodProduct
Oggetto
è una
sottoclasse
di
PlantStem
Oggetto
Oggetto
è una
sottoclasse
di
BotanicalTree
initialPart
Oggetto
and
Oggetto
(=>
(
and
(
equal
?X
(
AttrFn
?CLASS ?ATTR))
(
instance
?I ?X))
(
and
(
instance
?I ?CLASS)
(
subclass
?X ?CLASS)
(
attribute
?I ?ATTR)))
Merge.kif 1780-1788
Oggetto
is
uguale
a
AttrFn
Oggetto
and
Attributo
Oggetto
è un'
istanza
di
Oggetto
Oggetto
è un'
istanza
di
Oggetto
Oggetto
è una
sottoclasse
di
Oggetto
attribute
Oggetto
and
Attributo
(=>
(
and
(
instance
?A
AegilopsGrass
)
(
part
?C ?A)
(
instance
?C ?CLASS))
(
subclass
?CLASS
DiploidCell
))
Economy.kif 3840-3845
Oggetto
è un'
istanza
di
AegilopsGrass
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Oggetto
LASS
Oggetto
LASS è una
sottoclasse
di
DiploidCell
(=>
(
and
(
instance
?C
CommonWheatGrass
)
(
part
?CELL ?C)
(
instance
?CELL ?CLASS))
(
subclass
?CLASS
HexaploidCell
))
Economy.kif 3963-3968
Oggetto
è un'
istanza
di
CommonWheatGrass
Oggetto
ELL è una
parte
di
Oggetto
Oggetto
ELL è un'
istanza
di
Oggetto
LASS
Oggetto
LASS è una
sottoclasse
di
HexaploidCell
(=>
(
and
(
instance
?C
SpeltWheatGrass
)
(
part
?CELL ?C)
(
instance
?CELL ?CLASS))
(
subclass
?CLASS
HexaploidCell
))
Economy.kif 3993-3998
Oggetto
è un'
istanza
di
SpeltWheatGrass
Oggetto
ELL è una
parte
di
Oggetto
Oggetto
ELL è un'
istanza
di
Oggetto
LASS
Oggetto
LASS è una
sottoclasse
di
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 12060-12072
Processo
è un'
istanza
di
Deciding
Processo
è un
agente
di
AgenteCognitivo
Insieme
è un'
istanza
di
Insieme
Insieme
è un
paziente
di
Processo
%è un
elemento
di %2
AgenteCognitivo
crede
s
Entit�
Entit�
è un'
istanza
di
Entit�
Entit�
è una
sottoclasse
di
ProcessoIntenzionale
AgenteCognitivo
è
capace
di fare
Entit�
nel ruolo
agent
(=>
(
and
(
instance
?E
DurumWheatGrass
)
(
part
?C ?E)
(
instance
?C ?CLASS))
(
subclass
?CLASS
TetraploidCell
))
Economy.kif 3904-3909
Oggetto
è un'
istanza
di
DurumWheatGrass
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Oggetto
LASS
Oggetto
LASS è una
sottoclasse
di
TetraploidCell
(=>
(
and
(
instance
?E
EinkornWheatGrass
)
(
part
?C ?E)
(
instance
?E ?CLASS))
(
subclass
?CLASS
DiploidCell
))
Economy.kif 3934-3939
Oggetto
è un'
istanza
di
EinkornWheatGrass
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Oggetto
LASS
Oggetto
LASS è una
sottoclasse
di
DiploidCell
(=>
(
and
(
instance
?E
EmmerWheatGrass
)
(
part
?C ?E)
(
instance
?C ?CLASS))
(
subclass
?CLASS
TetraploidCell
))
Economy.kif 3872-3877
Oggetto
è un'
istanza
di
EmmerWheatGrass
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Oggetto
LASS
Oggetto
LASS è una
sottoclasse
di
TetraploidCell
(=>
(
and
(
instance
?E
TriticumUrartu
)
(
part
?C ?E)
(
instance
?E ?CLASS))
(
subclass
?CLASS
DiploidCell
))
Economy.kif 3948-3953
Oggetto
è un'
istanza
di
TriticumUrartu
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Oggetto
LASS
Oggetto
LASS è una
sottoclasse
di
DiploidCell
(=>
(
and
(
instance
?F
Felling
)
(
result
?F ?S))
(
exists
(?STEM)
(
and
(
instance
?S
(
DeadFn
?STEM))
(
subclass
?STEM
PlantStem
))))
Economy.kif 5485-5493
Processo
è un'
istanza
di
Felling
Entit�
è un
risultato
di
Processo
Entit�
TEM
Entit�
è un'
istanza
di
DeadFn
Entit�
TEM
Entit�
TEM è una
sottoclasse
di
PlantStem
(=>
(
and
(
instance
?H
Harvesting
)
(
result
?H ?O))
(
exists
(?ORG)
(
and
(
instance
?O
(
DeadFn
?ORG))
(
subclass
?ORG
OrganicObject
))))
Mid-level-ontology.kif 18111-18119
Processo
è un'
istanza
di
Harvesting
Entit�
è un
risultato
di
Processo
Entit�
RG
Entit�
è un'
istanza
di
DeadFn
Entit�
RG
Entit�
RG è una
sottoclasse
di
Entit�Organica
(=>
(
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 3432-3461
WearableItem
è un'
istanza
di
HearingProtection
Animale
è un'
istanza
di
Umano
wears
Animale
and
WearableItem
WearableItem
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Processo
Entit�
è una
sottoclasse
di la
classe
descritta da
Entit�
Entit�
impedisce
l'occorrenza di
Entit�
WearableItem
è uno
strumento
per
Entit�
(=>
(
and
(
instance
?MENU
AlcoholMenu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
AlcoholicBeverage
))
Dining.kif 219-223
Catalog
è un'
istanza
di
AlcoholMenu
catalogItem
Entit�
and
Catalog
Entit�
è una
sottoclasse
di
AlcoholicBeverage
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 886-897
FitForMilitaryServiceMaleFn
AreaGeopolitica
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Stringa
(
exists
(?T)
(
and
(
subclass
?T
HandToolBox
)
(
manufacturer
?T
SortimoCorp
)))
Cars.kif 5094-5097
Oggetto
Oggetto
è una
sottoclasse
di
HandToolBox
manufacturer
Oggetto
and
SortimoCorp
appearance as argument number 0
(
subclass
AAM
AirAttackMissile
)
MilitaryDevices.kif 1170-1170
AAM
è una
sottoclasse
di
AirAttackMissile
(
subclass
AAM
AirLaunchMissile
)
MilitaryDevices.kif 1169-1169
AAM
è una
sottoclasse
di
AirLaunchMissile
(
subclass
AAM
GuidedMissile
)
MilitaryDevices.kif 1171-1171
AAM
è una
sottoclasse
di
GuidedMissile
(
subclass
AAV
AmphibiousVehicle
)
MilitaryDevices.kif 1647-1647
AAV
è una
sottoclasse
di
AmphibiousVehicle
(
subclass
AAV
MilitaryVehicle
)
MilitaryDevices.kif 1646-1646
AAV
è una
sottoclasse
di
MilitaryVehicle
(
subclass
AAV
PassengerVehicle
)
MilitaryDevices.kif 1648-1648
AAV
è una
sottoclasse
di
PassengerVehicle
(
subclass
AAV
PoweredVehicle
)
MilitaryDevices.kif 1649-1649
AAV
è una
sottoclasse
di
PoweredVehicle
(
subclass
ABranchOfDorsalPrimaryDivisionOfSuboccipitalNerve
Nerve
)
Muscles.kif 778-778
ABranchOfDorsalPrimaryDivisionOfSuboccipitalNerve
è una
sottoclasse
di
Nerve
(
subclass
ACPowerSource
PowerSource
)
Mid-level-ontology.kif 26388-26388
ACPowerSource
è una
sottoclasse
di
PowerSource
(
subclass
ADHD
PsychologicalDysfunction
)
Medicine.kif 3293-3293
ADHD
è una
sottoclasse
di
Psicopatologia
(
subclass
AGM
AirLaunchMissile
)
MilitaryDevices.kif 1123-1123
AGM
è una
sottoclasse
di
AirLaunchMissile
(
subclass
AGM
GroundAttackMissile
)
MilitaryDevices.kif 1124-1124
AGM
è una
sottoclasse
di
GroundAttackMissile
(
subclass
AGM114
AGM
)
MilitaryDevices.kif 1203-1203
AGM114
è una
sottoclasse
di
AGM
(
subclass
AGM114
AntiArmorWeapon
)
MilitaryDevices.kif 1205-1205
AGM114
è una
sottoclasse
di
AntiArmorWeapon
(
subclass
AGM114
BeamRidingGMissile
)
MilitaryDevices.kif 1204-1204
AGM114
è una
sottoclasse
di
BeamRidingGMissile
(
subclass
AGM65
AGM
)
MilitaryDevices.kif 1136-1136
AGM65
è una
sottoclasse
di
AGM
(
subclass
AGM65
AntiArmorWeapon
)
MilitaryDevices.kif 1138-1138
AGM65
è una
sottoclasse
di
AntiArmorWeapon
(
subclass
AGM65
InfraRedGMissile
)
MilitaryDevices.kif 1137-1137
AGM65
è una
sottoclasse
di
InfraRedGMissile
(
subclass
AH1
Helicopter
)
MilitaryDevices.kif 1889-1889
AH1
è una
sottoclasse
di
Helicopter
(
subclass
AH1
MilitaryVehicle
)
MilitaryDevices.kif 1890-1890
AH1
è una
sottoclasse
di
MilitaryVehicle
(
subclass
AIM9
AAM
)
MilitaryDevices.kif 1177-1177
AIM9
è una
sottoclasse
di
AAM
(
subclass
AIM9
InfraRedGMissile
)
MilitaryDevices.kif 1178-1178
AIM9
è una
sottoclasse
di
InfraRedGMissile
(
subclass
AMEV
Ambulance
)
MilitaryDevices.kif 2130-2130
AMEV
è una
sottoclasse
di
Ambulance
(
subclass
AMEV
LandVehicle
)
MilitaryDevices.kif 2129-2129
AMEV
è una
sottoclasse
di
LandVehicle
(
subclass
AMEV
MilitaryVehicle
)
MilitaryDevices.kif 2128-2128
AMEV
è una
sottoclasse
di
MilitaryVehicle
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