Term Intersection
: 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
Term 1:
Term 2:
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
SapeleWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
SapeleTree
))
Economy.kif 5378-5383
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
SapeleWood
Oggetto
è una
sottoclasse
di
PlantStem
initialPart
Oggetto
and
SapeleTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
SpruceWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
SpruceTree
))
Economy.kif 5451-5456
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
SpruceWood
Oggetto
è una
sottoclasse
di
PlantStem
initialPart
Oggetto
and
SpruceTree
(=>
(
equal
?P
(
PlantFn
WineGrape
))
(
subclass
?P
GrapeVine
))
Economy.kif 4732-4735
Pianta
is
uguale
a
PlantFn
WineGrape
Pianta
è una
sottoclasse
di
GrapeVine
(=>
(
and
(
instance
?MENU
SetMenu
)
(
offers
?AGENT ?MENU)
(
catalogItem
?CLASS ?MENU)
(
subclass
?CLASS
PreparedFood
)
(
instance
?X ?VLASS)
(
instance
?Y ?CLASS)
(
not
(
equal
?X ?Y))
(
price
?X ?PRICE1 ?AGENT1)
(
price
?Y ?PRICE2 ?AGENT2))
(
equal
?PRICE1 ?PRICE2))
Dining.kif 189-201
Catalog
è un'
istanza
di
SetMenu
offers
AutonomousAgent
and
Catalog
catalogItem
Entit�
and
Catalog
Entit�
è una
sottoclasse
di
PreparedFood
Entit�Concreta
è un'
istanza
di
Classe
Entit�Concreta
è un'
istanza
di
Entit�
Entit�Concreta
is
uguale
a
Entit�Concreta
price
Entit�Concreta
,
MisuraMonetaria
and
AutonomousAgent
price
Entit�Concreta
,
MisuraMonetaria
and
AutonomousAgent
MisuraMonetaria
is
uguale
a
MisuraMonetaria
(=>
(
and
(
instance
?X
BreakingRecord
)
(
agent
?X ?A1))
(
exists
(?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)
(
and
(
instance
?AC
Set
)
(
element
?A1 ?AC)
(
subclass
?PC
Process
)
(
instance
?L
Region
)
(
instance
?TP
TimePoint
)
(
instance
?Q
Quantity
)
(
instance
?P1 ?PC)
(
refers
?X ?Q)
(
refers
?Q ?P1)
(
playsRoleInEvent
?A1 ?ROLE ?P1)
(
eventLocated
?P1 ?L)
(
not
(
exists
(?A2 ?P2)
(
and
(
instance
?A2 ?AC)
(
not
(
equal
?A2 ?A1))
(
instance
?P2 ?PC)
(
holdsDuring
(
TimeIntervalFn
?TP
(
EndFn
(
WhenFn
?X)))
(
and
(
playsRoleInEvent
?A2 ?ROLE ?P2)
(
eventLocated
?P2 ?L)))))))))
Mid-level-ontology.kif 30030-30060
Processo
è un'
istanza
di
BreakingRecord
Processo
è un
agente
di
AutonomousAgent
Insieme
Classe
,
Processo
,
PuntoTemporale
,
RuoloSemantico
,
Oggetto
and
Entit�
Insieme
è un'
istanza
di
Insieme
%è un
elemento
di %2
Classe
è una
sottoclasse
di
Processo
Oggetto
è un'
istanza
di
Regione
PuntoTemporale
è un'
istanza
di
PuntoTemporale
Entit�
è un'
istanza
di
Quantit�
Processo
è un'
istanza
di
Classe
Processo
include un
riferimento
a
Entit�
Entit�
include un
riferimento
a
Processo
playsRoleInEvent
AutonomousAgent
,
RuoloSemantico
and
Processo
eventLocated
Processo
and
Oggetto
Entit�
Entit�
Entit�
è un'
istanza
di
Insieme
Entit�
is
uguale
a
AutonomousAgent
Entit�
è un'
istanza
di
Classe
playsRoleInEvent
Entit�
,
RuoloSemantico
and
Entit�
eventLocated
Entit�
and
Oggetto
vales
durante
intervallo
tra
PuntoTemporale
e la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WalnutWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
WalnutTree
))
Economy.kif 5388-5393
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
WalnutWood
Oggetto
è una
sottoclasse
di
PlantStem
initialPart
Oggetto
and
WalnutTree
(=>
(
equal
?X
(
PlantFn
SpeltWheatGrain
))
(
subclass
?X
SpeltWheatGrass
))
Economy.kif 4107-4110
Pianta
is
uguale
a
PlantFn
SpeltWheatGrain
Pianta
è una
sottoclasse
di
SpeltWheatGrass
(=>
(
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
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BeechWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BeechTree
))
Economy.kif 5306-5311
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
BeechWood
Oggetto
è una
sottoclasse
di
PlantStem
initialPart
Oggetto
and
BeechTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
Softwood
)
(
subclass
?S
PlantStem
))
(
modalAttribute
(
initialPart
?S
Conifers
)
Likely
))
Economy.kif 5409-5416
Oggetto
is
uguale
a
OrganicObjectFn
Entit�Organica
Oggetto
è una
sottoclasse
di
Softwood
Entit�Organica
è una
sottoclasse
di
PlantStem
l'affermazione
initialPart
Entit�Organica
and
Conifers
ha il modello di forza di
Likely
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
Hardwood
)
(
subclass
?S
PlantStem
))
(
modalAttribute
(
initialPart
?S
DeciduousTree
)
Likely
))
Economy.kif 5284-5291
Oggetto
is
uguale
a
OrganicObjectFn
Entit�Organica
Oggetto
è una
sottoclasse
di
Hardwood
Entit�Organica
è una
sottoclasse
di
PlantStem
l'affermazione
initialPart
Entit�Organica
and
DeciduousTree
ha il modello di forza di
Likely
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
PoplarWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
PoplarTree
))
Economy.kif 5358-5363
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
PoplarWood
Oggetto
è una
sottoclasse
di
PlantStem
initialPart
Oggetto
and
PoplarTree
(=>
(
and
(
subclass
?CLASS
PlantStem
)
(
equal
?CLASS
Alfalfa
))
(
initialPart
?CLASS
AlfalfaPlant
))
Economy.kif 4825-4829
Oggetto
è una
sottoclasse
di
PlantStem
Oggetto
is
uguale
a
Alfalfa
initialPart
Oggetto
and
AlfalfaPlant
(=>
(
equal
?P
(
PlantFn
Celery
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2427-2429
Pianta
is
uguale
a
PlantFn
Celery
Pianta
è una
sottoclasse
di
HerbaceousPlant
(=>
(
equal
?C
(
AgentOfOrganismFn
YersiniaPestis
))
(
subclass
?C
LifeThreateningAgent
))
WMD.kif 401-404
BiologicalAgent
is
uguale
a
AgentOfOrganismFn
YersiniaPestis
BiologicalAgent
è una
sottoclasse
di
LifeThreateningAgent
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?ORG))
(
subclass
?P
Object
))
(
exists
(?R ?O)
(
and
(
instance
?R
(
DeadFn
?ORG))
(
part
?R ?O)
(
instance
?O ?ORG))))
Economy.kif 5267-5276
Oggetto
is
uguale
a
OrganicObjectFn
Entit�Organica
Oggetto
è una
sottoclasse
di
Oggetto
Oggetto
Oggetto
Oggetto
è un'
istanza
di
DeadFn
Entit�Organica
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Entit�Organica
(=>
(
equal
?CLASS
(
GeographicPartTypeFn
?TYPE ?AREA))
(
subclass
?CLASS ?TYPE))
Geography.kif 6921-6923
AreaGeografica
is
uguale
a
GeographicPartTypeFn
AreaGeografica
and
AreaGeografica
AreaGeografica
è una
sottoclasse
di
AreaGeografica
(=>
(
and
(
instance
?PROCESS ?PROCESS_CLASS)
(
subclass
?PROCESS_CLASS
Process
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?AGENT
AutonomousAgent
)
(
agent
?PROCESS ?AGENT)
(
agent
?ACCESSING ?AGENT)
(
during
?PROCESS ?ACCESSING)
(
instance
?TIMETOFIRST
TimeInterval
)
(
not
(
exists
(?PROCESS2)
(
and
(
instance
?PROCESS2 ?PROCESS_CLASS)
(
agent
?PROCESS2 ?AGENT)
(
during
?PROCESS2 ?ACCESSING)
(
before
(
BeginFn
(
WhenFn
?PROCESS2))
(
BeginFn
(
WhenFn
?PROCESS))))))
(
equal
(
BeginFn
(
WhenFn
?ACCESSING))
(
BeginFn
(
WhenFn
?TIMETOFIRST)))
(
equal
(
BeginFn
(
WhenFn
?PROCESS))
(
EndFn
(
WhenFn
?TIMETOFIRST))))
(
equal
(
TTFxFn
?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))
UXExperimentalTerms.kif 1496-1518
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
_CLASS
IntervalloTemporale
_CLASS è una
sottoclasse
di
Processo
AccessingWebPage
è un'
istanza
di
AccessingWebPage
AutonomousAgent
è un'
istanza
di
AutonomousAgent
IntervalloTemporale
è un
agente
di
AutonomousAgent
AccessingWebPage
è un
agente
di
AutonomousAgent
IntervalloTemporale
has luogo
durante
AccessingWebPage
Entit�Concreta
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
2
IntervalloTemporale
2 è un'
istanza
di
IntervalloTemporale
_CLASS
IntervalloTemporale
2 è un
agente
di
AutonomousAgent
IntervalloTemporale
2 has luogo
durante
AccessingWebPage
l'
inizio
di il
tempo
di esistenza di
IntervalloTemporale
2 succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
IntervalloTemporale
l'
inizio
di il
tempo
di esistenza di
AccessingWebPage
is
uguale
a l'
inizio
di il
tempo
di esistenza di
Entit�Concreta
l'
inizio
di il
tempo
di esistenza di
IntervalloTemporale
is
uguale
a la
fine
di il
tempo
di esistenza di
Entit�Concreta
TTFxFn
IntervalloTemporale
_CLASS and
AccessingWebPage
is
uguale
a
Entit�Concreta
(=>
(
and
(
instance
?WED
Wedding
)
(
date
?WED ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?CLASS ?FUTURE)
(
and
(
weddingAnniversary
?WED ?CLASS)
(
subclass
?CLASS
Day
)
(
instance
?FUTURE
Integer
)
(
equal
?CLASS
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?FUTURE))))
(
greaterThan
?FUTURE ?Y))))
Mid-level-ontology.kif 24195-24206
Entit�Concreta
è un'
istanza
di
Wedding
data
di
Entit�Concreta
è
Giorno
Giorno
è un'
istanza
di il
giorno
NumeroInteroPositivo
Giorno
NumeroIntero
weddingAnniversary
Entit�Concreta
and
Giorno
Giorno
è una
sottoclasse
di
Giorno
NumeroIntero
è un'
istanza
di
NumeroIntero
Giorno
is
uguale
a il
giorno
NumeroInteroPositivo
NumeroIntero
è
pi
ù grande di
NumeroIntero
(=>
(
equal
?P
(
PlantFn
Mint
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2672-2674
Pianta
is
uguale
a
PlantFn
Mint
Pianta
è una
sottoclasse
di
HerbaceousPlant
(=>
(
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
?T
(
OrganicObjectFn
?S))
(
subclass
?T
TeaPlantAerialPart
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
TeaPlant
))
Economy.kif 4715-4721
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
TeaPlantAerialPart
Oggetto
è una
sottoclasse
di
PlantStem
initialPart
Oggetto
and
TeaPlant
(=>
(
and
(
subclass
?CLASS
PlantLeaf
)
(
equal
?CLASS
LeafyGreenVegetable
))
(
initialPart
?CLASS
Plant
))
Economy.kif 4214-4218
Oggetto
è una
sottoclasse
di
PlantLeaf
Oggetto
is
uguale
a
LeafyGreenVegetable
initialPart
Oggetto
and
Pianta
(=>
(
and
(
equal
?DEP
(
DepartmentOfPreventingFn
?COMP ?PHYS))
(
subclass
?PHYS
Process
)
(
subOrganization
?DEP ?COMP))
(
inhibits
?DEP ?PHYS))
Mid-level-ontology.kif 18401-18406
Organizzazione
is
uguale
a
DepartmentOfPreventingFn
Organizzazione
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Processo
subOrganization
Organizzazione
and
Organizzazione
Organizzazione
inibisce
Entit�Concreta
(=>
(
equal
?P
(
PlantFn
Sesame
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 3397-3399
Pianta
is
uguale
a
PlantFn
Sesame
Pianta
è una
sottoclasse
di
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Garlic
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2584-2586
Pianta
is
uguale
a
PlantFn
Garlic
Pianta
è una
sottoclasse
di
HerbaceousPlant
(=>
(
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 24236-24246
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
(=>
(
equal
?P
(
PlantFn
Scallion
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 3360-3362
Pianta
is
uguale
a
PlantFn
Scallion
Pianta
è una
sottoclasse
di
HerbaceousPlant
(=>
(
equal
?X
(
PlantFn
CommonWheatGrain
))
(
subclass
?X
CommonWheatGrass
))
Economy.kif 4066-4069
Pianta
is
uguale
a
PlantFn
CommonWheatGrain
Pianta
è una
sottoclasse
di
CommonWheatGrass
(=>
(
equal
?X
(
PlantFn
DurumWheatGrain
))
(
subclass
?X
DurumWheatGrass
))
Economy.kif 4076-4079
Pianta
is
uguale
a
PlantFn
DurumWheatGrain
Pianta
è una
sottoclasse
di
DurumWheatGrass
(=>
(
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
?S
(
OrganicObjectFn
?O))
(
subclass
?S
Lambskin
)
(
subclass
?O
Skin
))
(
initialPart
?O
Lamb
))
Economy.kif 5041-5046
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
Lambskin
Oggetto
è una
sottoclasse
di
Skin
initialPart
Oggetto
and
Lamb
(=>
(
equal
?P
(
PlantFn
Broccoli
))
(
subclass
?P
CabbagePlant
))
Food.kif 2396-2398
Pianta
is
uguale
a
PlantFn
Broccoli
Pianta
è una
sottoclasse
di
CabbagePlant
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BirchWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BirchTree
))
Economy.kif 5316-5321
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
BirchWood
Oggetto
è una
sottoclasse
di
PlantStem
initialPart
Oggetto
and
BirchTree
(=>
(
and
(
applicableRelation
?O ?R)
(
instance
?O ?OC)
(
domain
?R 1 ?DC))
(
or
(
equal
?OC ?DC)
(
subclass
?OC ?DC)))
Mid-level-ontology.kif 31387-31394
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
(=>
(
equal
?X
(
PlantFn
EinkornWheatGrain
))
(
subclass
?X
EinkornWheatGrass
))
Economy.kif 4096-4099
Pianta
is
uguale
a
PlantFn
EinkornWheatGrain
Pianta
è una
sottoclasse
di
EinkornWheatGrass
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
FirWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
FirTree
))
Economy.kif 5431-5436
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
FirWood
Oggetto
è una
sottoclasse
di
PlantStem
initialPart
Oggetto
and
FirTree
(=>
(
equal
?P
(
PlantFn
ButternutSquash
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2403-2405
Pianta
is
uguale
a
PlantFn
ButternutSquash
Pianta
è una
sottoclasse
di
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Strawberry
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 3483-3485
Pianta
is
uguale
a
PlantFn
Strawberry
Pianta
è una
sottoclasse
di
HerbaceousPlant
(=>
(
and
(
subclass
?CLASS
Fruit
)
(
equal
?CLASS
Cucumber
))
(
initialPart
?CLASS
CucumberPlant
))
Economy.kif 4223-4227
Oggetto
è una
sottoclasse
di
Fruit
Oggetto
is
uguale
a
Cucumber
initialPart
Oggetto
and
CucumberPlant
(=>
(
equal
?P
(
PlantFn
Mustard
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2696-2698
Pianta
is
uguale
a
PlantFn
Mustard
Pianta
è una
sottoclasse
di
HerbaceousPlant
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
CherryWood
)
(
subclass
?S
PlantStem
))
(
or
(
initialPart
?S
BlackCherryTree
)
(
initialPart
?S
SweetCherryTree
)))
Economy.kif 5326-5333
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
CherryWood
Oggetto
è una
sottoclasse
di
PlantStem
initialPart
Oggetto
and
BlackCherryTree
initialPart
Oggetto
and
SweetCherryTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
PineWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
PineTree
))
Economy.kif 5461-5466
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
PineWood
Oggetto
è una
sottoclasse
di
PlantStem
initialPart
Oggetto
and
PineTree
(=>
(
equal
?P
(
PlantFn
TamarindFruit
))
(
subclass
?P
BotanicalTree
))
Food.kif 3489-3491
Pianta
is
uguale
a
PlantFn
TamarindFruit
Pianta
è una
sottoclasse
di
BotanicalTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
RedOakWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
RedOakTree
))
Economy.kif 5368-5373
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
RedOakWood
Oggetto
è una
sottoclasse
di
PlantStem
initialPart
Oggetto
and
RedOakTree
(=>
(
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
(=>
(
equal
?P
(
PlantFn
Parsley
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2733-2735
Pianta
is
uguale
a
PlantFn
Parsley
Pianta
è una
sottoclasse
di
HerbaceousPlant
(=>
(
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
(
subclass
?TEXT
Periodical
)
(
equal
(
SeriesVolumeFn
?TEXT ?INT1) ?VOLUME1)
(
equal
(
SeriesVolumeFn
?TEXT ?INT2) ?VOLUME2)
(
greaterThan
?INT2 ?INT1)
(
instance
?PUB1
Publication
)
(
instance
?PUB2
Publication
)
(
instance
?CBO1 ?VOLUME1)
(
instance
?CBO2 ?VOLUME2)
(
patient
?PUB1 ?CBO1)
(
patient
?PUB2 ?CBO2)
(
date
?PUB1 ?DATE1)
(
date
?PUB2 ?DATE2))
(
before
(
EndFn
?DATE1)
(
EndFn
?DATE2)))
Mid-level-ontology.kif 14624-14638
Serie
è una
sottoclasse
di
Periodico
volume
NumeroInteroPositivo
nella
serie
Serie
is
uguale
a
Testo
volume
NumeroInteroPositivo
nella
serie
Serie
is
uguale
a
Testo
NumeroInteroPositivo
è
pi
ù grande di
NumeroInteroPositivo
Processo
è un'
istanza
di
Editoria
Processo
è un'
istanza
di
Editoria
Entit�
è un'
istanza
di
Testo
Entit�
è un'
istanza
di
Testo
Entit�
è un
paziente
di
Processo
Entit�
è un
paziente
di
Processo
data
di
Processo
è
Giorno
data
di
Processo
è
Giorno
la
fine
di
Giorno
succede%{s}
prima
di la
fine
di
Giorno
(=>
(
and
(
rangeSubclass
?FUNCTION ?CLASS)
(
equal
(
AssignmentFn
?FUNCTION @ROW) ?VALUE))
(
subclass
?VALUE ?CLASS))
Merge.kif 339-343
I valori resi da
Funzione
sono
sottoclassi
di
Classe
Funzione
(@ROW is
uguale
a
Classe
Classe
è una
sottoclasse
di
Classe
(=>
(
and
(
subclass
?T1C
Tissue
)
(
subclass
?T2C
Tissue
)
(
instance
?T1 ?T1C)
(
instance
?T2 ?T2C)
(
instance
?H
Human
)
(
part
?T1 ?H)
(
part
?T2 ?H)
(
not
(
equal
?T1C ?T2C))
(
not
(
subclass
?T1C ?T2C))
(
not
(
subclass
?T2C ?T1C))
(
orientation
?T1 ?T2
Adjacent
))
(
modalAttribute
(
exists
(?CT)
(
and
(
instance
?CT
ConnectiveTissue
)
(
between
?T1 ?CT ?T2)))
Likely
))
Merge.kif 15166-15187
Classe
è una
sottoclasse
di
Tessuto
Classe
è una
sottoclasse
di
Tessuto
Oggetto
è un'
istanza
di
Classe
Oggetto
è un'
istanza
di
Classe
Oggetto
è un'
istanza
di
Umano
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Classe
is
uguale
a
Classe
Classe
è una
sottoclasse
di
Classe
Classe
è una
sottoclasse
di
Classe
Oggetto
è
Adjacent
a
Oggetto
l'affermazione
Entit�
Entit�
è un'
istanza
di
ConnectiveTissue
Entit�
è
tra
Oggetto
e
Oggetto
ha il modello di forza di
Likely
(=>
(
and
(
equal
?S
(
OrganicObjectFn
?O))
(
subclass
?S
Sheepskin
)
(
subclass
?O
Skin
))
(
initialPart
?O
Sheep
))
Economy.kif 5051-5056
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
Sheepskin
Oggetto
è una
sottoclasse
di
Skin
initialPart
Oggetto
and
Sheep
(=>
(
and
(
subclass
?S
Mixture
)
(
initialPart
?S
Meat
)
(
initialPart
?S
FoodFromPlant
)
(
initialPart
?S
DrinkingWater
))
(
equal
?S
SoupStock
))
Food.kif 1633-1639
Oggetto
è una
sottoclasse
di
Mistura
initialPart
Oggetto
and
Carne
initialPart
Oggetto
and
FoodFromPlant
initialPart
Oggetto
and
DrinkingWater
Oggetto
is
uguale
a
SoupStock
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BalsaWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BalsaTree
))
Economy.kif 5296-5301
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
BalsaWood
Oggetto
è una
sottoclasse
di
PlantStem
initialPart
Oggetto
and
BalsaTree
(=>
(
instance
?OBJ
CorpuscularObject
)
(
exists
(?SUBSTANCE1 ?SUBSTANCE2)
(
and
(
subclass
?SUBSTANCE1
Substance
)
(
subclass
?SUBSTANCE2
Substance
)
(
material
?SUBSTANCE1 ?OBJ)
(
material
?SUBSTANCE2 ?OBJ)
(
not
(
equal
?SUBSTANCE1 ?SUBSTANCE2)))))
Merge.kif 1231-1239
OggettoCorpuscolare
è un'
istanza
di
OggettoCorpuscolare
Sostanza
Sostanza
Sostanza
è una
sottoclasse
di
Sostanza
Sostanza
è una
sottoclasse
di
Sostanza
Sostanza
è
fatto
di
OggettoCorpuscolare
Sostanza
è
fatto
di
OggettoCorpuscolare
Sostanza
is
uguale
a
Sostanza
(=>
(
equal
?C
(
AgentOfOrganismFn
SerratiaMarcenscens
))
(
subclass
?C
LifeThreateningAgent
))
WMD.kif 1371-1374
BiologicalAgent
is
uguale
a
AgentOfOrganismFn
SerratiaMarcenscens
BiologicalAgent
è una
sottoclasse
di
LifeThreateningAgent
(=>
(
equal
?P
(
PlantFn
Blueberry
))
(
subclass
?P
Shrub
))
Food.kif 2210-2212
Pianta
is
uguale
a
PlantFn
Blueberry
Pianta
è una
sottoclasse
di
Shrub
(=>
(
equal
?C
(
AgentOfOrganismFn
TickBorneEncephalitisVirus
))
(
subclass
?C
LifeThreateningAgent
))
WMD.kif 2019-2022
BiologicalAgent
is
uguale
a
AgentOfOrganismFn
TickBorneEncephalitisVirus
BiologicalAgent
è una
sottoclasse
di
LifeThreateningAgent
(=>
(
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
(=>
(
equal
?C
(
AgentOfOrganismFn
CoccidiodesPosadasii
))
(
subclass
?C
LifeThreateningAgent
))
WMD.kif 1393-1396
BiologicalAgent
is
uguale
a
AgentOfOrganismFn
CoccidiodesPosadasii
BiologicalAgent
è una
sottoclasse
di
LifeThreateningAgent
(=>
(
equal
?P
(
PlantFn
Basil
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2170-2172
Pianta
is
uguale
a
PlantFn
Basil
Pianta
è una
sottoclasse
di
HerbaceousPlant
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
OkoumeWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
OkoumeTree
))
Economy.kif 5348-5353
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
OkoumeWood
Oggetto
è una
sottoclasse
di
PlantStem
initialPart
Oggetto
and
OkoumeTree
(=>
(
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
?W
(
OrganicObjectFn
?S))
(
subclass
?W
CedarWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
CedarTree
))
Economy.kif 5421-5426
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
CedarWood
Oggetto
è una
sottoclasse
di
PlantStem
initialPart
Oggetto
and
CedarTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WhiteOakWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
WhiteOakTree
))
Economy.kif 5398-5403
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
WhiteOakWood
Oggetto
è una
sottoclasse
di
PlantStem
initialPart
Oggetto
and
WhiteOakTree
(=>
(
immediateSubclass
?CLASS1 ?CLASS2)
(
not
(
exists
(?CLASS3)
(
and
(
subclass
?CLASS3 ?CLASS2)
(
subclass
?CLASS1 ?CLASS3)
(
not
(
equal
?CLASS2 ?CLASS3))
(
not
(
equal
?CLASS1 ?CLASS3))))))
Merge.kif 160-167
Classe
è una
sottoclasse
immediata di
Classe
Classe
Classe
è una
sottoclasse
di
Classe
Classe
è una
sottoclasse
di
Classe
Classe
is
uguale
a
Classe
Classe
is
uguale
a
Classe
(=>
(
and
(
subclass
?CLASS
Seed
)
(
equal
?CLASS
Clover
))
(
initialPart
?CLASS
CloverPlant
))
Economy.kif 4839-4843
Oggetto
è una
sottoclasse
di
Seed
Oggetto
is
uguale
a
Clover
initialPart
Oggetto
and
CloverPlant
(=>
(
and
(
subclass
?CLASS
Flower
)
(
equal
?CLASS
Cauliflower
))
(
initialPart
?CLASS
CabbagePlant
))
Economy.kif 4265-4269
Oggetto
è una
sottoclasse
di
Flower
Oggetto
is
uguale
a
Cauliflower
initialPart
Oggetto
and
CabbagePlant
(=>
(
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
(=>
(
equal
?P
(
PlantFn
Apple
))
(
subclass
?P
DeciduousTree
))
Food.kif 2184-2186
Pianta
is
uguale
a
PlantFn
Apple
Pianta
è una
sottoclasse
di
DeciduousTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
LarchWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
LarchTree
))
Economy.kif 5441-5446
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
LarchWood
Oggetto
è una
sottoclasse
di
PlantStem
initialPart
Oggetto
and
LarchTree
(=>
(
equal
?P
(
PlantFn
CashewNut
))
(
subclass
?P
BotanicalTree
))
Food.kif 2421-2423
Pianta
is
uguale
a
PlantFn
CashewNut
Pianta
è una
sottoclasse
di
BotanicalTree
(=>
(
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
(=>
(
immediateInstance
?ENTITY ?CLASS)
(
not
(
exists
(?SUBCLASS)
(
and
(
subclass
?SUBCLASS ?CLASS)
(
not
(
equal
?SUBCLASS ?CLASS))
(
instance
?ENTITY ?SUBCLASS)))))
Merge.kif 98-104
%è una
istanza
immediata %2
Classe
Classe
è una
sottoclasse
di
Classe
Classe
is
uguale
a
Classe
Entit�
è un'
istanza
di
Classe
(=>
(
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
(=>
(
equal
?C
(
AgentOfOrganismFn
CoccidioidesImmitis
))
(
subclass
?C
LifeThreateningAgent
))
WMD.kif 1381-1384
BiologicalAgent
is
uguale
a
AgentOfOrganismFn
CoccidioidesImmitis
BiologicalAgent
è una
sottoclasse
di
LifeThreateningAgent
(=>
(
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
?S
(
OrganicObjectFn
?F))
(
subclass
?S
Suet
)
(
subclass
?F
FatTissue
))
(
or
(
initialPart
?F
Cattle
)
(
initialPart
?F
Sheep
)))
Food.kif 2906-2914
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
Suet
Oggetto
è una
sottoclasse
di
TessutoGrasso
initialPart
Oggetto
and
Cattle
initialPart
Oggetto
and
Sheep
(=>
(
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
?W
(
OrganicObjectFn
?S))
(
subclass
?W
MapleWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
MapleTree
))
Economy.kif 5338-5343
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
MapleWood
Oggetto
è una
sottoclasse
di
PlantStem
initialPart
Oggetto
and
MapleTree
(=>
(
equal
?P
(
PlantFn
Cilantro
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2529-2531
Pianta
is
uguale
a
PlantFn
Cilantro
Pianta
è una
sottoclasse
di
HerbaceousPlant
(=>
(
and
(
subclass
?CLASS
Fruit
)
(
equal
?CLASS
Eggplant
))
(
initialPart
?CLASS
EggplantPlant
))
Economy.kif 4277-4281
Oggetto
è una
sottoclasse
di
Fruit
Oggetto
is
uguale
a
Eggplant
initialPart
Oggetto
and
EggplantPlant
(=>
(
and
(
subclass
?CLASS
PlantLeaf
)
(
equal
?CLASS
Cabbage
))
(
initialPart
?CLASS
CabbagePlant
))
Economy.kif 4239-4243
Oggetto
è una
sottoclasse
di
PlantLeaf
Oggetto
is
uguale
a
Cabbage
initialPart
Oggetto
and
CabbagePlant
(=>
(
equal
?X
(
PlantFn
EmmerWheatGrain
))
(
subclass
?X
EmmerWheatGrass
))
Economy.kif 4086-4089
Pianta
is
uguale
a
PlantFn
EmmerWheatGrain
Pianta
è una
sottoclasse
di
EmmerWheatGrass
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