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
(
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
(=>
(
instance
?S
Seafood
)
(
exists
(?DA ?F)
(
and
(
instance
?DA
(
DeadFn
?F))
(
part
?S ?DA)
(
subclass
?F
Fish
))))
Food.kif 3377-3383
Oggetto
è un'
istanza
di
Seafood
Oggetto
Entit�Organica
Oggetto
è un'
istanza
di
DeadFn
Entit�Organica
Oggetto
è una
parte
di
Oggetto
Entit�Organica
è una
sottoclasse
di
Pesce
(=>
(
and
(
instance
?NUCLEUS ?CLASS)
(
subclass
?CLASS
CellNucleus
)
(
initialPart
?CLASS
EukaryoticCell
))
(
exists
(?CHROMOTIN)
(
and
(
instance
?CHROMOTIN
Chromotin
)
(
part
?CHROMOTIN ?NUCLEUS))))
VirusProteinAndCellPart.kif 600-608
Oggetto
è un'
istanza
di
Oggetto
Oggetto
è una
sottoclasse
di
CellNucleus
initialPart
Oggetto
and
EukaryoticCell
Oggetto
Oggetto
è un'
istanza
di
Chromotin
Oggetto
è una
parte
di
Oggetto
(=>
(
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
(
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
(=>
(
instance
?S
Spice
)
(
exists
(?P ?CLASS)
(
and
(
instance
?P
(
DeadFn
?CLASS))
(
part
?S ?P)
(
subclass
?CLASS
PlantAnatomicalStructure
))))
Economy.kif 4365-4372
Oggetto
è un'
istanza
di
Spice
Oggetto
Entit�Organica
Oggetto
è un'
istanza
di
DeadFn
Entit�Organica
Oggetto
è una
parte
di
Oggetto
Entit�Organica
è una
sottoclasse
di
PlantAnatomicalStructure
(=>
(
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
(
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
?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
?SEAT
AuditoriumSeat
)
(
part
?SEAT ?AUDITORIUM)
(
part
?STAGE ?AUDITORIUM)
(
instance
?AUDITORIUM
Auditorium
)
(
instance
?STAGE
PerformanceStage
)
(
located
?PERSON ?SEAT)
(
instance
?PERSON
Human
)
(
subclass
?SEE
Seeing
)
(
forall
(?INST)
(=>
(
instance
?INST ?SEE)
(
patient
?INST ?STAGE))))
(
capability
?SEE
agent
?PERSON))
Mid-level-ontology.kif 7351-7365
Oggetto
è un'
istanza
di
AuditoriumSeat
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Auditorium
Oggetto
è un'
istanza
di
PerformanceStage
Oggetto
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
Umano
Processo
è una
sottoclasse
di
Vista
Processo
Processo
è un'
istanza
di
Processo
Oggetto
è un
paziente
di
Processo
Oggetto
è
capace
di fare
Processo
nel ruolo
agent
(=>
(
instance
?M
Meat
)
(
exists
(?DA ?AC)
(
and
(
instance
?DA
(
DeadFn
?AC))
(
part
?M ?DA)
(
subclass
?AC
Animal
))))
Food.kif 1909-1915
Oggetto
è un'
istanza
di
Carne
Oggetto
Entit�Organica
Oggetto
è un'
istanza
di
DeadFn
Entit�Organica
Oggetto
è una
parte
di
Oggetto
Entit�Organica
è una
sottoclasse
di
Animale
(=>
(
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
(=>
(
instance
?X
FoodFromPlant
)
(
exists
(?P ?CLASS)
(
and
(
instance
?P
(
DeadFn
?CLASS))
(
part
?X ?P)
(
subclass
?CLASS
Plant
))))
Food.kif 299-306
Oggetto
è un'
istanza
di
FoodFromPlant
Oggetto
Entit�Organica
Oggetto
è un'
istanza
di
DeadFn
Entit�Organica
Oggetto
è una
parte
di
Oggetto
Entit�Organica
è una
sottoclasse
di
Pianta
(=>
(
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
(
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
?CS1 ?CLASS)
(
subclass
?CLASS
CompoundSubstance
)
(
not
(
exists
(?CS2)
(
and
(
instance
?CS2 ?CLASS)
(
part
?CS2 ?CS1))))
(
molecularRatio
?ECLASS ?N ?CLASS)
(
instance
?G
Group
)
(
member
?E ?G)
(
part
?E ?CS1)
(
instance
?E ?ECLASS))
(
memberCount
?G ?N))
Cars.kif 1772-1786
Oggetto
è un'
istanza
di
Composto
Composto
è una
sottoclasse
di
Composto
Oggetto
Oggetto
è un'
istanza
di
Composto
Oggetto
è una
parte
di
Oggetto
molecularRatio
SostanzaElementare
,
NumeroIntero
and
Composto
InsiemeConcreto
è un'
istanza
di
Gruppo
Oggetto
è un
membro
di
InsiemeConcreto
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
SostanzaElementare
memberCount
InsiemeConcreto
and
NumeroIntero
(=>
(
attribute
?H
Pulmonologist
)
(
exists
(?P1 ?P2 ?PAT ?L)
(
and
(
subclass
?PROCESS1
DiagnosticProcess
)
(
subclass
?PROCESS2
TherapeuticProcess
)
(
patient
?P1 ?PAT)
(
patient
?P2 ?PAT)
(
instance
?L
Lung
)
(
part
?L ?PAT)
(
located
?P1
Lung
)
(
located
?P2
Lung
))))
Medicine.kif 4481-4492
attribute
Oggetto
and
Pulmonologist
Processo
Processo
,
Oggetto
and
Oggetto
Classe
è una
sottoclasse
di
ProcessoDiagnostico
Classe
è una
sottoclasse
di
ProcessoTerapeutico
Oggetto
è un
paziente
di
Processo
Oggetto
è un
paziente
di
Processo
Oggetto
è un'
istanza
di
Lung
Oggetto
è una
parte
di
Oggetto
Processo
è
localizzato
in
Lung
Processo
è
localizzato
in
Lung
(=>
(
and
(
instance
?P
Plant
)
(
part
?TIS ?P))
(
exists
(?K ?W ?CLASS)
(
and
(
instance
?K ?CLASS)
(
subclass
?CLASS
Keeping
)
(
instance
?W
FreshWater
)
(
patient
?K ?W)
(
capability
?CLASS
instrument
?TIS)
(
or
(
instance
?TIS
PlantLeaf
)
(
instance
?TIS
PlantStem
)))))
Mid-level-ontology.kif 9561-9574
Oggetto
è un'
istanza
di
Pianta
Oggetto
è una
parte
di
Oggetto
Processo
Entit�
and
Processo
Processo
è un'
istanza
di
Processo
Processo
è una
sottoclasse
di
Trattenere
Entit�
è un'
istanza
di
FreshWater
Entit�
è un
paziente
di
Processo
Oggetto
è
capace
di fare
Processo
nel ruolo
instrument
Oggetto
è un'
istanza
di
PlantLeaf
Oggetto
è un'
istanza
di
PlantStem
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