subclass
(=>
(
and
(
subclass
?PLATFORM
PartyPlatform
)
(
authors
?PARTY ?PLATFORM)
(
instance
?PARTY
Organization
))
(
instance
?PARTY
PoliticalParty
))
Government.kif 2324-2329
OggettoSemiotico
è una
sottoclasse
di
PartyPlatform
AutonomousAgent
è l'
autore
di
OggettoSemiotico
AutonomousAgent
è un'
istanza
di
Organizzazione
AutonomousAgent
è un'
istanza
di
PoliticalParty
(=>
(
and
(
subclass
?PLATFORM
PartyPlatform
)
(
authors
?PARTY ?PLATFORM)
(
instance
?PARTY
PoliticalParty
)
(
instance
?INST ?PLATFORM)
(
containsFormula
?INST ?P))
(
believes
?PARTY ?P))
Government.kif 2331-2338
OggettoSemiotico
è una
sottoclasse
di
PartyPlatform
AgenteCognitivo
è l'
autore
di
OggettoSemiotico
AgenteCognitivo
è un'
istanza
di
PoliticalParty
ContentBearingPhysical
è un'
istanza
di
OggettoSemiotico
containsFormula
ContentBearingPhysical
and
Formula
AgenteCognitivo
crede
s
Formula
(=>
(
and
(
subclass
?PROGRAM
NewsProgram
)
(
instance
?EPISODE
(
SeriesVolumeFn
?PROGRAM ?NUMBER)))
(
exists
(?DISSEMINATE)
(
and
(
instance
?DISSEMINATE
Disseminating
)
(
patient
?DISSEMINATE ?EPISODE))))
Mid-level-ontology.kif 14605-14612
Serie
è una
sottoclasse
di
NewsProgram
Entit�
è un'
istanza
di volume
NumeroInteroPositivo
nella
serie
Serie
Processo
Processo
è un'
istanza
di
Diffusione
Entit�
è un
paziente
di
Processo
(=>
(
and
(
subclass
?PUB
JointPublication
)
(
instance
?ONE ?PUB)
(
containsInformation
?ONE ?CONTENT)
(
authors
?JORG ?PUB))
(
exists
(?ORG)
(
and
(
subOrganization
?ORG
USMilitary
)
(
confersObligation
?CONTENT ?JORG ?ORG))))
MilitaryProcesses.kif 940-949
OggettoSemiotico
è una
sottoclasse
di
JointPublication
ContentBearingPhysical
è un'
istanza
di
OggettoSemiotico
ContentBearingPhysical
contiene
s informazione
Formula
AutonomousAgent
è l'
autore
di
OggettoSemiotico
Organizzazione
subOrganization
Organizzazione
and
USMilitary
AutonomousAgent
obbliga
Organizzazione
a compiere il compito di tipo
Formula
(=>
(
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
(
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 15188-15209
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
(
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 14623-14637
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
(
subclass
?TYPE
Process
)
(
instance
?EVENT ?TYPE)
(
eventLocated
?EVENT ?REGION)
(
instance
?ROLE
CaseRole
)
(
instance
?OBJECT
Object
)
(
instance
?REGION
GeographicArea
)
(?ROLE ?EVENT ?OBJECT))
(
capableAtLocation
?TYPE ?ROLE ?OBJECT ?REGION))
Transportation.kif 2692-2701
Processo
è una
sottoclasse
di
Processo
Processo
è un'
istanza
di
Processo
eventLocated
Processo
and
Regione
RuoloSemantico
è un'
istanza
di
RuoloSemantico
Oggetto
è un'
istanza
di
Oggetto
Regione
è un'
istanza
di
AreaGeografica
RuoloSemantico
Processo
and
Oggetto
capableAtLocation
Processo
,
RuoloSemantico
,
Oggetto
and
Regione
(=>
(
and
(
subclass
?TYPE
TransportationDevice
)
(
subclass
(
TransportationFn
?TYPE)
Transportation
)
(
instance
?TRIP
(
TransportationFn
?TYPE)))
(
exists
(?VEHICLE)
(
and
(
instance
?VEHICLE ?TYPE)
(
instrument
?TRIP ?VEHICLE))))
Transportation.kif 1572-1580
MezzoDiTrasporto
è una
sottoclasse
di
MezzoDiTrasporto
TransportationFn
MezzoDiTrasporto
è una
sottoclasse
di
Trasporto
Processo
è un'
istanza
di
TransportationFn
MezzoDiTrasporto
Oggetto
Oggetto
è un'
istanza
di
MezzoDiTrasporto
Oggetto
è uno
strumento
per
Processo
(=>
(
and
(
subclass
?TYPE
WaterVehicle
)
(
instance
?EVENT
(
TransportationFn
?TYPE))
(
eventLocated
?EVENT ?PLACE))
(
instance
?PLACE
WaterArea
))
Transportation.kif 2287-2292
MezzoDiTrasporto
è una
sottoclasse
di
WaterVehicle
Processo
è un'
istanza
di
TransportationFn
MezzoDiTrasporto
eventLocated
Processo
and
Oggetto
Oggetto
è un'
istanza
di
SuperficieAcquatica
(=>
(
and
(
subclass
?X ?Y)
(
instance
?Z ?X))
(
instance
?Z ?Y))
Merge.kif 143-147
Classe
è una
sottoclasse
di
Classe
Entit�
è un'
istanza
di
Classe
Entit�
è un'
istanza
di
Classe
(=>
(
and
(
subjectiveAttribute
?AGENT1
Quick
?PERSON)
(
subjectiveAttribute
?AGENT2
Slow
?PERSON)
(
instance
?PROCESS1 ?CLASS)
(
instance
?PROCESS2 ?CLASS)
(
subclass
?CLASS
Process
)
(
agent
?PROCESS1 ?AGENT1)
(
agent
?PROCESS2 ?AGENT2))
(
and
(
instance
?U
UnitOfDuration
)
(
duration
(
WhenFn
?PROCESS1)
(
MeasureFn
?TIME1 ?U))
(
duration
(
WhenFn
?PROCESS2)
(
MeasureFn
?TIME2 ?U))
(
greaterThan
?TIME2 ?TIME1)))
Dining.kif 1044-1059
subjectiveAttribute
AutonomousAgent
,
Quick
and
AutonomousAgent
subjectiveAttribute
AutonomousAgent
,
Slow
and
AutonomousAgent
Processo
è un'
istanza
di
Classe
Processo
è un'
istanza
di
Classe
Classe
è una
sottoclasse
di
Processo
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
Unit�DiMisura
è un'
istanza
di
UnitOfDuration
durata
di il
tempo
di esistenza di
Processo
è
NumeroReale
Unit�DiMisura
(s
durata
di il
tempo
di esistenza di
Processo
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
subrelation
?PRED1 ?PRED2)
(
instance
?PRED2 ?CLASS)
(
subclass
?CLASS
InheritableRelation
))
(
instance
?PRED1 ?CLASS))
Merge.kif 200-205
Relazione
è una
sottorelazione
di
Relazione
Relazione
è un'
istanza
di
Classe
Classe
è una
sottoclasse
di
InheritableRelation
Relazione
è un'
istanza
di
Classe
(=>
(
and
(
trafficableForTrafficType
?PLACE ?TYPE)
(
subclass
?TYPE
TransportationDevice
)
(
instance
?MOVER ?TYPE))
(
capableAtLocation
Transportation
instrument
?MOVER ?PLACE))
Transportation.kif 2610-2615
trafficableForTrafficType
Regione
and
OggettoIntegro
OggettoIntegro
è una
sottoclasse
di
MezzoDiTrasporto
Oggetto
è un'
istanza
di
OggettoIntegro
capableAtLocation
Trasporto
,
instrument
,
Oggetto
and
Regione
(=>
(
and
(
trafficableForTrafficType
?place ?type)
(
subclass
?type
AutonomousAgent
)
(
instance
?mover ?type))
(
capableAtLocation
Translocation
agent
?mover ?place))
Transportation.kif 2617-2622
trafficableForTrafficType
Regione
and
OggettoIntegro
OggettoIntegro
è una
sottoclasse
di
AutonomousAgent
Oggetto
è un'
istanza
di
OggettoIntegro
capableAtLocation
Translocation
,
agent
,
Oggetto
and
Regione
(=>
(
and
(
vegetationType
?REGION ?TYPE)
(
subclass
?TYPE
Plant
)
(
instance
?REGION
GeographicArea
))
(
exists
(?PLANT)
(
and
(
instance
?PLANT ?TYPE)
(
located
?PLANT ?REGION))))
Geography.kif 6191-6199
vegetationType
AreaGeografica
and
Pianta
Pianta
è una
sottoclasse
di
Pianta
AreaGeografica
è un'
istanza
di
AreaGeografica
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Pianta
Entit�Concreta
è
localizzato
in
AreaGeografica
(=>
(
and
(
weaponCarryingCapability
?MV ?WC ?COUNT)
(
instance
?WEAPON ?WC)
(
capability
?PC ?ROLE ?WEAPON)
(
or
(
subclass
?PC
Shooting
)
(
subclass
?PC
Damaging
)))
(
capability
?PC ?ROLE ?MV))
MilitaryDevices.kif 35-43
weaponCarryingCapability
MilitaryVehicle
,
Arma
and
NumeroInteroPositivo
Oggetto
è un'
istanza
di
Arma
Oggetto
è
capace
di fare
Processo
nel ruolo
RuoloSemantico
Processo
è una
sottoclasse
di
Sparare
Processo
è una
sottoclasse
di
Danneggiare
MilitaryVehicle
è
capace
di fare
Processo
nel ruolo
RuoloSemantico
(=>
(
subclass
?A
Antibiotic
)
(
exists
(?D)
(
and
(
instance
?D
BacterialDisease
)
(
medicine
?A ?D))))
Mid-level-ontology.kif 9670-9675
Medicine
è una
sottoclasse
di
Antibiotic
MalattiaOSindrome
MalattiaOSindrome
è un'
istanza
di
BacterialDisease
medicine
Medicine
and
MalattiaOSindrome
(=>
(
subclass
?BF
ButterFat
)
(
initialPart
?BF
Milk
))
Food.kif 2936-2938
Oggetto
è una
sottoclasse
di
ButterFat
initialPart
Oggetto
and
Milk
(=>
(
subclass
?C
(
CoveringFn
?B))
(
hasPurpose
?C
(
exists
(?P ?BI ?CI)
(
and
(
instance
?P
Covering
)
(
instance
?BI ?B)
(
instance
?CI ?C)
(
destination
?P ?BI)
(
patient
?P ?CI)))))
Mid-level-ontology.kif 29718-29727
Entit�Concreta
è una
sottoclasse
di
CoveringFn
ParteDelCorpo
Entit�Concreta
ha
scopo
Entit�
ParteDelCorpo
I and
Entit�Concreta
I
Entit�
è un'
istanza
di
Coprire
ParteDelCorpo
I è un'
istanza
di
ParteDelCorpo
Entit�Concreta
I è un'
istanza
di
Entit�Concreta
Entit�
fine
s in
ParteDelCorpo
I
Entit�Concreta
I è un
paziente
di
Entit�
(=>
(
subclass
?CLASS
Coffee
)
(
initialPart
CoffeeBean
?CLASS))
Food.kif 645-647
Oggetto
è una
sottoclasse
di
Coffee
initialPart
CoffeeBean
and
Oggetto
(=>
(
subclass
?F
Fertilisation
)
(
capability
?F
patient
Organism
))
Mid-level-ontology.kif 23987-23989
Processo
è una
sottoclasse
di
Fertilisation
Organismo
è
capace
di fare
Processo
nel ruolo
patient
(=>
(
subclass
?I
Immunosuppressive
)
(
hasPurpose
?I
(
and
(
instance
?AID
AutoImmuneDisorder
)
(
diseaseMedicine
?AID ?I ?P))))
Medicine.kif 4614-4619
Entit�Concreta
è una
sottoclasse
di
Immunosuppressive
Entit�Concreta
ha
scopo
Entit�
è un'
istanza
di
AutoImmuneDisorder
diseaseMedicine
Entit�
,
Entit�Concreta
and
Entit�
(=>
(
subclass
?VIRUS
TickBorneEncephalitisVirus
)
(
exists
(?DISEASE)
(
and
(
instance
?DISEASE
TickBorneEncephalitis
)
(
biochemicalAgentSyndrome
?VIRUS ?DISEASE))))
WMD.kif 2029-2034
BiochemicalAgent
è una
sottoclasse
di
TickBorneEncephalitisVirus
MalattiaOSindrome
MalattiaOSindrome
è un'
istanza
di
TickBorneEncephalitis
biochemicalAgentSyndrome
BiochemicalAgent
and
MalattiaOSindrome
(=>
(
subclass
?W
DrinkingWater
)
(
subclass
?W
(
FoodForFn
Human
)))
Geography.kif 2815-2818
Classe
è una
sottoclasse
di
DrinkingWater
Classe
è una
sottoclasse
di
FoodForFn
Umano
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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