modalAttribute
(=>
(
and
(
defaultMinimumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
lessThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13505-13514
defaultMinimumMeasure
Oggetto
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
CompositeUnitOfMeasure
l'affermazione
Entit�
NumeroReale
UANTITY
Entit�
è un'
istanza
di
Oggetto
la
misura
Entit�
è
NumeroReale
UANTITY
Unit�DiMisura
(s
NumeroReale
UANTITY è
meno
di
NumeroReale
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 13516-13527
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
(
defaultMinimumSphereRadius
?OBJECT
(
MeasureFn
?R ?U))
(
instance
?INST ?OBJECT)
(
attribute
?INST
Sphere
))
(
modalAttribute
(
exists
(?RADIUS)
(
and
(
sphereRadius
?INST
(
MeasureFn
?RADIUS ?U))
(
lessThan
?RADIUS ?R)))
Unlikely
))
Mid-level-ontology.kif 13467-13477
defaultMinimumSphereRadius
Oggetto
and
NumeroReale
Unit�DiMisura
(s
Oggetto
è un'
istanza
di
Oggetto
attribute
Oggetto
and
Sphere
l'affermazione
NumeroReale
ADIUS
sphereRadius
Oggetto
and
NumeroReale
ADIUS
Unit�DiMisura
(s
NumeroReale
ADIUS è
meno
di
NumeroReale
ha il modello di forza di
Unlikely
(=>
(
and
(
defaultValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
equal
?N ?VAL)
Likely
))
Merge.kif 18463-18468
defaultValue
Predicato
,
NumeroInteroPositivo
and
Quantit�
Predicato
@ARGS
Entit�
is
uguale
a
NumeroInteroPositivo
th
elemento
di (@ARGS
l'affermazione
Quantit�
is
uguale
a
Entit�
ha il modello di forza di
Likely
(=>
(
and
(
employs
?HOTEL ?ATHLETE)
(
attribute
?HOTEL
TravelerAccommodation
)
(
attribute
?ATHLETE
TennisProfessional
)
(
guest
?CUST ?HOTEL))
(
modalAttribute
(
exists
(?TENNIS ?LOC)
(
and
(
instance
?TENNIS
Tennis
)
(
contestParticipant
?TENNIS ?ATHLETE)
(
contestParticipant
?TENNIS ?CUST)
(
located
?TENNIS ?LOC)
(
located
?HOTEL ?LOC)))
Possibility
))
Hotel.kif 1522-1535
AutonomousAgent
impiega
s
AgenteCognitivo
attribute
AutonomousAgent
and
TravelerAccommodation
attribute
AgenteCognitivo
and
TennisProfessional
guest
AgenteCognitivo
and
AutonomousAgent
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Tennis
contestParticipant
Entit�
and
AgenteCognitivo
contestParticipant
Entit�
and
AgenteCognitivo
Entit�
è
localizzato
in
Entit�
AutonomousAgent
è
localizzato
in
Entit�
ha il modello di forza di
Possibility
(=>
(
and
(
employs
?ORG ?CO)
(
instance
?D
DoNetworkMessaging
)
(
result
?D ?MSG)
(
attribute
?MSG
NSFW
)
(
instance
?S
Seeing
)
(
patient
?S ?MSG)
(
agent
?S ?CO))
(
modalAttribute
(
exists
(?PROC)
(
and
(
causes
?S ?PROC)
(
suffers
?PROC ?CO)))
Possibility
))
Medicine.kif 3040-3054
AutonomousAgent
impiega
s
AgenteCognitivo
Processo
è un'
istanza
di
DoNetworkMessaging
Oggetto
è un
risultato
di
Processo
attribute
Oggetto
and
NSFW
Processo
è un'
istanza
di
Vista
Oggetto
è un
paziente
di
Processo
Processo
è un
agente
di
AgenteCognitivo
l'affermazione
Entit�
Processo
causa
s
Entit�
suffers
Entit�
and
AgenteCognitivo
ha il modello di forza di
Possibility
(=>
(
and
(
employs
?ORG ?P)
(
employs
?ORG ?CO)
(
instance
?D
DoNetworkMessaging
)
(
result
?D ?MSG)
(
attribute
?MSG
NSFW
)
(
agent
?D ?P)
(
instance
?S
Seeing
)
(
patient
?S ?MSG)
(
agent
?S ?CO))
(
modalAttribute
(
exists
(?PROC)
(
and
(
causes
?D ?PROC)
(
suffers
?PROC ?P)))
Likely
))
Medicine.kif 3022-3038
AutonomousAgent
impiega
s
AgenteCognitivo
AutonomousAgent
impiega
s
AgenteCognitivo
Processo
è un'
istanza
di
DoNetworkMessaging
Oggetto
è un
risultato
di
Processo
attribute
Oggetto
and
NSFW
Processo
è un
agente
di
AgenteCognitivo
Processo
è un'
istanza
di
Vista
Oggetto
è un
paziente
di
Processo
Processo
è un
agente
di
AgenteCognitivo
l'affermazione
AgenteCognitivo
ROC
Processo
causa
s
AgenteCognitivo
ROC
suffers
AgenteCognitivo
ROC and
AgenteCognitivo
ha il modello di forza di
Likely
(=>
(
and
(
engineIdleSpeed
?E
(
RotationFn
(
MeasureFn
?N1
MilesPerHour
) ?M))
(
instance
?A
Automobile
)
(
instance
?P
GasPedal
)
(
instance
?P
Pushing
)
(
destination
?P ?GP)
(
part
?E ?A)
(
part
?GP ?A)
(
instance
?C
Crankshaft
)
(
part
?C ?E)
(
holdsDuring
(
WhenFn
?P)
(
measure
?C
(
RotationFn
(
MeasureFn
?N2
MilesPerHour
) ?M))))
(
modalAttribute
(
greaterThan
?N2 ?N1)
Likely
))
Cars.kif 2585-2603
engineIdleSpeed
InternalCombustionEngine
and
RotationFn
NumeroReale
MilesPerHour
(s and
Durata
Oggetto
è un'
istanza
di
Automobile
Processo
è un'
istanza
di
GasPedal
Processo
è un'
istanza
di
Pushing
Processo
fine
s in
Oggetto
InternalCombustionEngine
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Crankshaft
Oggetto
è una
parte
di
InternalCombustionEngine
la
misura
Oggetto
è
RotationFn
Entit�
MilesPerHour
(s and
Durata
vales
durante
il
tempo
di esistenza di
Processo
l'affermazione
Entit�
è
pi
ù grande di
NumeroReale
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
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
(
facility
?AGENT ?OBJ)
(
customer
?CUST ?AGENT)
(
instance
?X ?OBJ)
(
desires
?CUST
(
exists
(?PROC)
(
and
(
instance
?PROC
IntentionalProcess
)
(
patient
?PROC ?X)
(
agent
?PROC ?CUST)))))
(
modalAttribute
(
confersRight
(
uses
?X ?CUST) ?AGENT ?CUST)
Possibility
))
Dining.kif 336-350
facility
AutonomousAgent
and
Oggetto
customer
AgenteCognitivo
and
AutonomousAgent
Entit�
è un'
istanza
di
Oggetto
AgenteCognitivo
desidera
s
Entit�
Entit�
è un'
istanza
di
ProcessoIntenzionale
Entit�
è un
paziente
di
Entit�
Entit�
è un
agente
di
AgenteCognitivo
l'affermazione
AutonomousAgent
permette
a
AgenteCognitivo
di compiere il compito di tipo
AgenteCognitivo
usa
Entit�
ha il modello di forza di
Possibility
(=>
(
and
(
functionRoomAmenity
?FR ?PHY)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?HOTEL))
(
instance
?RENT
Renting
)
(
patient
?RENT ?RM)
(
agent
?RENT ?HOTEL)
(
destination
?RENT ?CUST)
(
subclass
?PHY
Object
))
(
modalAttribute
(
exists
(?O ?P)
(
and
(
instance
?O ?PHY)
(
instance
?P
Process
)
(
or
(
resource
?P ?O)
(
instrument
?P ?O)
(
patient
?P ?O))
(
or
(
agent
?P ?CUST)
(
experiencer
?P ?CUST))))
Possibility
))
Hotel.kif 811-832
functionRoomAmenity
HotelFunctionRoom
and
Entit�Concreta
Entit�
è un'
istanza
di
HotelFunctionRoom
%è un
elemento
di %2
Processo
è un'
istanza
di
Renting
Entit�
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
Entit�
Entit�Concreta
è una
sottoclasse
di
Oggetto
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Entit�Concreta
Entit�
è un'
istanza
di
Processo
Entit�
è una
risorsa
per
Entit�
Entit�
è uno
strumento
per
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un
agente
di
Entit�
Entit�
esperisce
s
Entit�
ha il modello di forza di
Possibility
(=>
(
and
(
governmentType
?PLACE
Monarchy
)
(
instance
?MONARCH
Human
)
(
instance
?SUCCESSOR
Human
)
(
holdsDuring
?T1
(
chiefOfState
?PLACE ?ROLE ?MONARCH))
(
familyRelation
?MONARCH ?SUCCESSOR)
(
earlier
?T1 ?T2))
(
modalAttribute
(
holdsDuring
?T2
(
chiefOfState
?PLACE ?ROLE ?SUCCESSOR))
Possibility
))
Government.kif 223-234
governmentType
AutonomousAgent
and
Monarchy
Organismo
è un'
istanza
di
Umano
Organismo
è un'
istanza
di
Umano
chiefOfState
AutonomousAgent
,
Entit�
and
Organismo
vales
durante
IntervalloTemporale
Organismo
e
Organismo
sono
parenti
IntervalloTemporale
accades
prima
di
IntervalloTemporale
l'affermazione
chiefOfState
AutonomousAgent
,
Entit�
and
Organismo
vales
durante
IntervalloTemporale
ha il modello di forza di
Possibility
(=>
(
and
(
hasAccount
?U ?AC)
(
password
?P ?AC)
(
deviceAccount
?AC ?D)
(
not
(
knows
?U
(
password
?P ?AC)))
(
knows
?U
(
recoveryKey
?S ?AC))
(
possesses
?U ?D))
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
ChangingPassword
)
(
patient
?C ?AC)
(
agent
?C ?U)))
Possibility
))
ComputingBrands.kif 4427-4444
hasAccount
AgenteCognitivo
and
UserAccount
password
ComputerPassword
and
UserAccount
deviceAccount
UserAccount
and
Computer
AgenteCognitivo
non
conosce
password
ComputerPassword
and
UserAccount
AgenteCognitivo
conosce
s
recoveryKey
Entit�
and
UserAccount
AgenteCognitivo
possiede
es
Computer
l'affermazione
Entit�
Entit�
è un'
istanza
di
ChangingPassword
UserAccount
è un
paziente
di
Entit�
Entit�
è un
agente
di
AgenteCognitivo
ha il modello di forza di
Possibility
(=>
(
and
(
holdsDuring
?T
(
attribute
?A ?ES))
(
actionTendency
?ES ?PI))
(
modalAttribute
(
exists
(?P)
(
and
(
instance
?P ?PI)
(
during
(
WhenFn
?P) ?T)
(
experiencer
?P ?A)))
Likely
))
emotion.kif 161-172
attribute
Entit�
and
StatoEmotivo
vales
durante
PosizioneTemporale
actionTendency
StatoEmotivo
and
EmotionalBehavioralProcess
l'affermazione
Entit�
Entit�
è un'
istanza
di
EmotionalBehavioralProcess
il
tempo
di esistenza di
Entit�
has luogo
durante
PosizioneTemporale
Entit�
esperisce
s
Entit�
ha il modello di forza di
Likely
(=>
(
and
(
holdsDuring
?T
(
attribute
?F
Menopausal
))
(
birthdate
?F ?B)
(
instance
?B
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y))))
(
equal
?A1
(
AdditionFn
49 ?Y))
(
equal
?A2
(
AdditionFn
52 ?Y))
(
equal
?START
(
BeginFn
?T)))
(
modalAttribute
(
and
(
greaterThan
?START ?A1)
(
greaterThan
?A2 ?START))
Likely
))
Mid-level-ontology.kif 23916-23932
attribute
Umano
and
Menopausal
vales
durante
IntervalloTemporale
birthdate
Umano
and
Giorno
Giorno
è un'
istanza
di il
giorno
NumeroInteroPositivo
NumeroReale
is
uguale
a (49 +
NumeroIntero
NumeroReale
is
uguale
a (52 +
NumeroIntero
PuntoTemporale
is
uguale
a l'
inizio
di
IntervalloTemporale
l'affermazione
PuntoTemporale
è
pi
ù grande di
NumeroReale
NumeroReale
è
pi
ù grande di
PuntoTemporale
ha il modello di forza di
Likely
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
(
ImpairedBodyPartFn
?P)))
(
instance
?PI ?P)
(
part
?PI ?H)
(
hasPurpose
?PI ?F))
(
modalAttribute
(
not
?F)
Likely
))
Merge.kif 18225-18235
attribute
Oggetto
and
ImpairedBodyPartFn
Classe
vales
durante
PosizioneTemporale
Classe
I è un'
istanza
di
Classe
Classe
I è una
parte
di
Oggetto
Classe
I ha
scopo
Formula
l'affermazione
Formula
ha il modello di forza di
Likely
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
ChronicFatigueSyndrome
))
(
instance
?R
RecreationOrExercise
)
(
agent
?R ?H)
(
during
(
WhenFn
?R) ?T))
(
modalAttribute
(
and
(
holdsDuring
?T2
(
attribute
?H
PostExertionalMalaise
))
(
earlier
(
WhenFn
?R) ?T2))
Likely
))
Medicine.kif 1500-1512
attribute
AutonomousAgent
and
ChronicFatigueSyndrome
vales
durante
IntervalloTemporale
Processo
è un'
istanza
di
PassatempoOEsercizio
Processo
è un
agente
di
AutonomousAgent
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
l'affermazione
attribute
AutonomousAgent
and
PostExertionalMalaise
vales
durante
IntervalloTemporale
2 il
tempo
di esistenza di
Processo
accades
prima
di
IntervalloTemporale
2 ha il modello di forza di
Likely
(=>
(
and
(
holdsDuring
?T
(
attribute
?X
Booting
))
(
holdsDuring
?T2
(
attribute
?X
HostReady
))
(
equal
?T2
(
ImmediateFutureFn
(
WhenFn
?T)))
(
instance
?DIS
ComputerDisplay
)
(
connectedEngineeringComponents
?DIS ?X))
(
modalAttribute
(
exists
(?HS)
(
and
(
instance
?HS
HomeScreen
)
(
displayedUpon
?HS ?DIS)))
Likely
))
ComputingBrands.kif 3231-3245
attribute
Meccanismo
and
Booting
vales
durante
Entit�Concreta
attribute
Meccanismo
and
HostReady
vales
durante
Entit�Concreta
2
Entit�Concreta
2 is
uguale
a immediatamente
dopo
il
tempo
di esistenza di
Entit�Concreta
Meccanismo
è un'
istanza
di
ComputerDisplay
Meccanismo
è
connesso
a
Meccanismo
l'affermazione
Entit�
Entit�
è un'
istanza
di
HomeScreen
displayedUpon
Entit�
and
Meccanismo
ha il modello di forza di
Likely
(=>
(
and
(
holdsDuring
?T
(
measure
?C ?S))
(
engineIdleSpeed
?E ?S)
(
instance
?A
Automobile
)
(
part
?E ?A)
(
part
?C ?E))
(
modalAttribute
(
not
(
exists
(?P ?GP)
(
and
(
during
?P ?T)
(
instance
?P
Pushing
)
(
destination
?P ?GP)
(
part
?GP ?A))))
Likely
))
Cars.kif 2567-2583
La
misura
Oggetto
è
FunzioneDiQuantit�
vales
durante
PosizioneTemporale
engineIdleSpeed
InternalCombustionEngine
and
FunzioneDiQuantit�
Oggetto
è un'
istanza
di
Automobile
InternalCombustionEngine
è una
parte
di
Oggetto
Oggetto
è una
parte
di
InternalCombustionEngine
l'affermazione
Entit�
Entit�
Entit�
has luogo
durante
PosizioneTemporale
Entit�
è un'
istanza
di
Pushing
Entit�
fine
s in
Entit�
Entit�
è una
parte
di
Oggetto
ha il modello di forza di
Likely
(=>
(
and
(
holdsDuring
?T1
(
attribute
?H
Dieting
))
(
holdsDuring
?T2
(
not
(
attribute
?H
Dieting
)))
(
instance
?M1
Meal
)
(
instance
?E1
Eating
)
(
agent
?E1 ?H)
(
resource
?E1 ?M1)
(
during
(
WhenFn
?E1) ?T1)
(
measure
?M1
(
MeasureFn
?C1
Calorie
))
(
instance
?M2
Meal
)
(
instance
?E2
Eating
)
(
agent
?E2 ?H)
(
resource
?E2 ?M2)
(
during
(
WhenFn
?E2) ?T2)
(
measure
?M2
(
MeasureFn
?C2
Calorie
)))
(
modalAttribute
(
greaterThan
?C2 ?C1)
Likely
))
Mid-level-ontology.kif 30662-30683
attribute
AutonomousAgent
and
Dieting
vales
durante
IntervalloTemporale
attribute
AutonomousAgent
and
Dieting
vales
durante
IntervalloTemporale
Oggetto
è un'
istanza
di
Meal
Processo
è un'
istanza
di
Mangiare
Processo
è un
agente
di
AutonomousAgent
Oggetto
è una
risorsa
per
Processo
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
la
misura
Oggetto
è
NumeroReale
Calorie
(s
Oggetto
è un'
istanza
di
Meal
Processo
è un'
istanza
di
Mangiare
Processo
è un
agente
di
AutonomousAgent
Oggetto
è una
risorsa
per
Processo
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
la
misura
Oggetto
è
NumeroReale
Calorie
(s
l'affermazione
NumeroReale
è
pi
ù grande di
NumeroReale
ha il modello di forza di
Likely
(=>
(
and
(
instance
?A
Anaphylaxis
)
(
experiencer
?A ?H))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?H)
(
causes
?A ?D)))
Possibility
))
Medicine.kif 1545-1555
Processo
è un'
istanza
di
Anaphylaxis
AutonomousAgent
esperisce
s
Processo
l'affermazione
Entit�
Entit�
è un'
istanza
di
Morte
AutonomousAgent
esperisce
s
Entit�
Processo
causa
s
Entit�
ha il modello di forza di
Possibility
(=>
(
and
(
instance
?A
AntibodyCOVIDTest
)
(
instrument
?M ?A)
(
instance
?M
Measuring
)
(
patient
?M ?H)
(
instance
?CA
COVIDAntibody
)
(
part
?CA ?H))
(
modalAttribute
(
knows
?H
(
exists
(?CA)
(
and
(
instance
?CA
COVIDAntibody
)
(
part
?CA ?H))))
Likely
))
Medicine.kif 2763-2777
Oggetto
è un'
istanza
di
AntibodyCOVIDTest
Oggetto
è uno
strumento
per
Processo
Processo
è un'
istanza
di
Misurare
Oggetto
è un
paziente
di
Processo
Oggetto
è un'
istanza
di
COVIDAntibody
Oggetto
è una
parte
di
Oggetto
l'affermazione
Oggetto
conosce
s
Oggetto
Oggetto
è un'
istanza
di
COVIDAntibody
Oggetto
è una
parte
di
Oggetto
ha il modello di forza di
Likely
(=>
(
and
(
instance
?A
Biped
)
(
instance
?W
Ambulating
)
(
agent
?W ?A))
(
modalAttribute
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
Leg
)
(
instance
?L2
Leg
)
(
part
?L1 ?A)
(
part
?L2 ?A)
(
instrument
?W ?L1)
(
instrument
?W ?L2)))
Likely
))
Mid-level-ontology.kif 4411-4425
AutonomousAgent
è un'
istanza
di
Biped
Processo
è un'
istanza
di
Ambulating
Processo
è un
agente
di
AutonomousAgent
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Leg
Entit�
è un'
istanza
di
Leg
Entit�
è una
parte
di
AutonomousAgent
Entit�
è una
parte
di
AutonomousAgent
Entit�
è uno
strumento
per
Processo
Entit�
è uno
strumento
per
Processo
ha il modello di forza di
Likely
(=>
(
and
(
instance
?A
RheumatoidArthritis
)
(
experiencer
?A ?H))
(
modalAttribute
(
exists
(?JP)
(
and
(
instance
?JP
JointPain
)
(
causes
?A ?JP)))
Likely
))
Medicine.kif 2230-2239
Processo
è un'
istanza
di
RheumatoidArthritis
AutonomousAgent
esperisce
s
Processo
l'affermazione
Entit�
Entit�
è un'
istanza
di
JointPain
Processo
causa
s
Entit�
ha il modello di forza di
Likely
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