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:
(=>
(
attribute
?P
Researcher
)
(
exists
(?S)
(
and
(
subclass
?S
Science
)
(
hasExpertise
?P ?S))))
Mid-level-ontology.kif 18896-18901
attribute
Umano
and
Researcher
CampoDiStudio
CampoDiStudio
è una
sottoclasse
di
Science
hasExpertise
Umano
and
CampoDiStudio
(=>
(
and
(
instance
?V
ViolentContest
)
(
patient
?V ?H)
(
attribute
?H
(
InjuryCausedFn
?PC))
(
attribute
?H
(
ImpairedBodyPartFn
Airway
)))
(
modalAttribute
(
or
(
subclass
?PC
Combustion
)
(
exists
(?FI)
(
and
(
instance
?I
Injuring
)
(
located
?I ?F)
(
instance
?F
Face
)
(
patient
?I ?H))))
Likely
))
Medicine.kif 698-715
Processo
è un'
istanza
di
CompetizioneViolenta
Oggetto
è un
paziente
di
Processo
attribute
Oggetto
and
InjuryCausedFn
Processo
attribute
Oggetto
and
ImpairedBodyPartFn
Airway
l'affermazione
Processo
è una
sottoclasse
di
Combustione
Entit�
Entit�
è un'
istanza
di
Trauma
Entit�
è
localizzato
in
Entit�
Entit�
è un'
istanza
di
Face
Oggetto
è un
paziente
di
Entit�
ha il modello di forza di
Likely
(=>
(
attribute
?H
ArtCritic
)
(
hasPurpose
?H
(
exists
(?AW ?T ?CLASS)
(
and
(
instance
?AW
ArtWork
)
(
overlapsTemporally
(
WhenFn
?AW)
(
WhenFn
?H))
(
instance
?T ?CLASS)
(
subclass
?CLASS
Article
)
(
authors
?H ?CLASS)
(
refers
?T ?AW)))))
Mid-level-ontology.kif 21089-21101
attribute
Oggetto
and
ArtCritic
Oggetto
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
OperaD'Arte
il
tempo
di esistenza di
Oggetto
sovrappone
s il
tempo
di esistenza di
Entit�
Entit�
è un'
istanza
di
Entit�
Entit�
è una
sottoclasse
di
Articolo
Oggetto
è l'
autore
di
Entit�
Entit�
include un
riferimento
a
Entit�
(=>
(
and
(
or
(
instance
?ROLE
OccupationalTrade
)
(
instance
?ROLE
Profession
))
(
holdsDuring
?T1
(
attribute
?HUMAN ?ROLE)))
(
exists
(?FIELD)
(
and
(
subclass
?FIELD
FieldOfStudy
)
(
holdsDuring
?T1
(
hasExpertise
?HUMAN ?FIELD)))))
Mid-level-ontology.kif 8293-8302
Entit�
è un'
istanza
di
OccupationalTrade
Entit�
è un'
istanza
di
Profession
attribute
Entit�
and
Entit�
vales
durante
PosizioneTemporale
Classe
Classe
è una
sottoclasse
di
CampoDiStudio
hasExpertise
Entit�
and
Classe
vales
durante
PosizioneTemporale
(=>
(
attribute
?DOCTOR
MedicalDoctor
)
(
exists
(?PROCESS1 ?PROCESS2)
(
and
(
subclass
?PROCESS1
DiagnosticProcess
)
(
subclass
?PROCESS2
TherapeuticProcess
)
(
capability
?PROCESS1
agent
?DOCTOR)
(
capability
?PROCESS2
agent
?DOCTOR))))
Mid-level-ontology.kif 21036-21043
attribute
Oggetto
and
MedicalDoctor
Processo
Processo
Processo
è una
sottoclasse
di
ProcessoDiagnostico
Processo
è una
sottoclasse
di
ProcessoTerapeutico
Oggetto
è
capace
di fare
Processo
nel ruolo
agent
Oggetto
è
capace
di fare
Processo
nel ruolo
agent
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Periodical
))
(
holdsDuring
?T1
(
attribute
?AGENT
PeriodicalPublishers
)))
Media.kif 1906-1910
Entit�
pubblica
Classe
vales
durante
PosizioneTemporale
Classe
è una
sottoclasse
di
Periodico
attribute
Entit�
and
PeriodicalPublishers
vales
durante
PosizioneTemporale
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
MusicalComposition
))
(
holdsDuring
?T1
(
attribute
?AGENT
MusicPublishers
)))
Media.kif 1888-1892
Entit�
pubblica
Classe
vales
durante
PosizioneTemporale
Classe
è una
sottoclasse
di
MusicalComposition
attribute
Entit�
and
MusicPublishers
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
barometricPressure
?X
(
MeasureFn
?PRES
InchMercury
))
(
greaterThan
?PRES 29.92)
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
lessThan
?TEMP ?MELT))
(
attribute
?X
Solid
))
Merge.kif 13820-13829
Oggetto
è un'
istanza
di
SostanzaPura
SostanzaPura
è una
sottoclasse
di
SostanzaPura
meltingPoint
SostanzaPura
and
NumeroReale
KelvinDegree
(s
barometricPressure
Oggetto
and
NumeroReale
InchMercury
(s
NumeroReale
è
pi
ù grande di 29.92 la
misura
Oggetto
è
NumeroReale
KelvinDegree
(s
NumeroReale
è
meno
di
NumeroReale
attribute
Oggetto
and
Solid
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Book
))
(
holdsDuring
?T1
(
attribute
?AGENT
BookPublishers
)))
Media.kif 1900-1904
Entit�
pubblica
Classe
vales
durante
PosizioneTemporale
Classe
è una
sottoclasse
di
Libro
attribute
Entit�
and
BookPublishers
vales
durante
PosizioneTemporale
(=>
(
attribute
?H
ObsessiveCompulsiveDisorder
)
(
exists
(?COL ?C)
(
and
(
memberType
?COL ?C)
(
or
(
subclass
?C
Investigating
)
(
subclass
?C
Cleaning
))
(=>
(
instance
?CI ?C)
(
and
(
agent
?CI ?H)
(
not
(
wants
?H ?CI)))))))
Medicine.kif 4025-4038
attribute
AgenteCognitivo
and
ObsessiveCompulsiveDisorder
InsiemeConcreto
Classe
memberType
InsiemeConcreto
and
Classe
Classe
è una
sottoclasse
di
Investigare
Classe
è una
sottoclasse
di
Cleaning
Classe
I è un'
istanza
di
Classe
Classe
I è un
agente
di
AgenteCognitivo
AgenteCognitivo
non
vuole
Classe
I
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Newspaper
))
(
holdsDuring
?T1
(
attribute
?AGENT
NewspaperPublishers
)))
Media.kif 1912-1916
Entit�
pubblica
Classe
vales
durante
PosizioneTemporale
Classe
è una
sottoclasse
di
Newspaper
attribute
Entit�
and
NewspaperPublishers
vales
durante
PosizioneTemporale
(=>
(
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
(
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
(
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
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
(=>
(
attribute
?H
NewsReporter
)
(
hasPurpose
?H
(
exists
(?EV ?T ?NEWS)
(
and
(
instance
?EV
Process
)
(
overlapsTemporally
(
WhenFn
?EV)
(
WhenFn
?H))
(
instance
?T ?NEWS)
(
or
(
subclass
?NEWS
Newspaper
)
(
subclass
?NEWS
NewsProgram
))
(
authors
?H ?NEWS)
(
refers
?T ?EV)))))
Mid-level-ontology.kif 21066-21080
attribute
Oggetto
and
NewsReporter
Oggetto
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Processo
il
tempo
di esistenza di
Oggetto
sovrappone
s il
tempo
di esistenza di
Entit�
Entit�
è un'
istanza
di
Entit�
Entit�
è una
sottoclasse
di
Newspaper
Entit�
è una
sottoclasse
di
NewsProgram
Oggetto
è l'
autore
di
Entit�
Entit�
include un
riferimento
a
Entit�
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Text
))
(
holdsDuring
?T1
(
attribute
?AGENT
InformationIndustries
)))
Media.kif 1894-1898
Entit�
pubblica
Classe
vales
durante
PosizioneTemporale
Classe
è una
sottoclasse
di
Testo
attribute
Entit�
and
InformationIndustries
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
barometricPressure
?X
(
MeasureFn
?PRES
InchMercury
))
(
greaterThan
29.92 ?PRES)
(
boilingPoint
?Y
(
MeasureFn
?BOIL
KelvinDegree
))
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
greaterThan
?TEMP ?BOIL))
(
attribute
?X
Gas
))
Merge.kif 13798-13807
Oggetto
è un'
istanza
di
SostanzaPura
SostanzaPura
è una
sottoclasse
di
SostanzaPura
barometricPressure
Oggetto
and
NumeroReale
InchMercury
(s 29.92 è
pi
ù grande di
NumeroReale
boilingPoint
SostanzaPura
and
NumeroReale
KelvinDegree
(s la
misura
Oggetto
è
NumeroReale
KelvinDegree
(s
NumeroReale
è
pi
ù grande di
NumeroReale
attribute
Oggetto
and
Gas
(=>
(
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
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
boilingPoint
?Y
(
MeasureFn
?BOIL
KelvinDegree
))
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
greaterThan
?TEMP ?MELT)
(
lessThan
?TEMP ?BOIL))
(
attribute
?X
Liquid
))
Merge.kif 13809-13818
Oggetto
è un'
istanza
di
SostanzaPura
SostanzaPura
è una
sottoclasse
di
SostanzaPura
boilingPoint
SostanzaPura
and
NumeroReale
KelvinDegree
(s
meltingPoint
SostanzaPura
and
NumeroReale
KelvinDegree
(s la
misura
Oggetto
è
NumeroReale
KelvinDegree
(s
NumeroReale
è
pi
ù grande di
NumeroReale
NumeroReale
è
meno
di
NumeroReale
attribute
Oggetto
and
Liquid
(
equal
(
FitForMilitaryServiceMaleFn
?AREA)
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
attribute
?PERSON
Male
)
(
subclass
?PROCESS
MilitaryProcess
)
(
fitForMilitaryService
?PERSON ?PROCESS)
(
militaryAge
?AREA ?MILITARYAGE)
(
age
?PERSON ?AGE)
(
greaterThanOrEqualTo
?AGE ?MILITARYAGE)
(
inhabits
?PERSON ?AREA)))))
Military.kif 895-906
FitForMilitaryServiceMaleFn
AreaGeopolitica
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Stringa
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