not
(=>
(
and
(
instance
?COLL
MonoploidChromosomeSet
)
(
memberType
?COLL
Chromosome
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N
EukaryoticCell
)
(
member
?X ?COLL)
(
member
?Y ?COLL)
(
not
(
equal
?X ?Y)))
(
not
(
homologousChromosome
?X ?Y)))
VirusProteinAndCellPart.kif 719-731
InsiemeConcreto
è un'
istanza
di
MonoploidChromosomeSet
memberType
InsiemeConcreto
and
Chromosome
InsiemeConcreto
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
CellNucleus
Oggetto
è una
parte
di
EukaryoticCell
Chromosome
è un
membro
di
InsiemeConcreto
Chromosome
è un
membro
di
InsiemeConcreto
Chromosome
is
uguale
a
Chromosome
homologousChromosome
Chromosome
and
Chromosome
(=>
(
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
(=>
(
and
(
instance
?D
Antidiuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
not
(
equal
?U1 ?U2))
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 10055-10078
Oggetto
è un'
istanza
di
Antidiuretic
Movimento
è un'
istanza
di
Ingestione
Movimento
è un
agente
di
AutonomousAgent
moves
Movimento
and
Oggetto
IntervalloTemporale
è un'
istanza
di
Urination
Entit�
è un
risultato
di
IntervalloTemporale
IntervalloTemporale
è un
agente
di
AutonomousAgent
IntervalloTemporale
è un'
istanza
di
Urination
IntervalloTemporale
is
uguale
a
IntervalloTemporale
Entit�
è un
risultato
di
IntervalloTemporale
IntervalloTemporale
è un
agente
di
AutonomousAgent
IntervalloTemporale
accades
prima
di
Movimento
Movimento
accades
prima
di
IntervalloTemporale
Unit�DiMisura
è un'
istanza
di
UnitOfVolume
la
misura
IntervalloTemporale
è
NumeroReale
Unit�DiMisura
(s la
misura
IntervalloTemporale
è
NumeroReale
Unit�DiMisura
(s
l'affermazione
NumeroReale
è
pi
ù grande di
NumeroReale
ha il modello di forza di
Likely
(=>
(
and
(
instance
?D
DeliveryService
)
(
destination
?D ?LOC1)
(
deliveryRegion
?AGENT ?REGION)
(
conditionalProbability
(
located
?LOC1 ?REGION)
(
agent
?D ?AGENT) ?NUMBER1)
(
conditionalProbability
(
not
(
located
?LOC1 ?REGION))
(
agent
?D ?AGENT) ?NUMBER2))
(
lessThan
?NUMBER2 ?NUMBER1))
Dining.kif 552-561
Processo
è un'
istanza
di
DeliveryService
Processo
fine
s in
Entit�
deliveryRegion
AutonomousAgent
and
AreaGeografica
probabilit
à di
Entit�
è
localizzato
in
AreaGeografica
ammesso che
Processo
è un
agente
di
AutonomousAgent
valga è
NumeroReale
probabilit
à di
Entit�
è
localizzato
in
AreaGeografica
ammesso che
Processo
è un
agente
di
AutonomousAgent
valga è
NumeroReale
NumeroReale
è
meno
di
NumeroReale
(=>
(
and
(
instance
?D
Detaching
)
(
patient
?D ?O1)
(
patient
?D ?O2)
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
connected
?O1 ?O2))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
not
(
connected
?O1 ?O2))))
(
and
(
objectDetached
?A ?O1)
(
objectDetached
?A ?O2)))
Merge.kif 12431-12440
Processo
è un'
istanza
di
Staccare
Entit�
è un
paziente
di
Processo
Entit�
è un
paziente
di
Processo
Entit�
è
connesso
a
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
è
connesso
a
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
objectDetached
Processo
and
Entit�
objectDetached
Processo
and
Entit�
(=>
(
and
(
instance
?DIO
DefensiveInformationOperation
)
(
agent
?DIO ?AGENT)
(
enemy
?AGENT ?ENEMY)
(
desires
?ENEMY
(
knows
?ENEMY ?FORMULA))
(
desires
?AGENT
(
not
(
knows
?ENEMY ?FORMULA))))
(
hasPurpose
?DIO
(
not
(
knows
?ENEMY ?FORMULA))))
MilitaryProcesses.kif 1876-1888
Processo
è un'
istanza
di
DefensiveInformationOperation
Processo
è un
agente
di
AgenteCognitivo
enemy
AgenteCognitivo
and
AgenteCognitivo
AgenteCognitivo
desidera
s
AgenteCognitivo
conosce
s
Entit�
AgenteCognitivo
desidera
s
AgenteCognitivo
non
conosce
Entit�
Processo
ha
scopo
AgenteCognitivo
non
conosce
Entit�
(=>
(
and
(
instance
?ELECTION
PopularElection
)
(
electionWinner
?ELECTION ?POSITION ?PERSON1)
(
voteFractionReceived
?ELECTION ?POSITION ?PERSON1 ?NUMBER1)
(
voteFractionReceived
?ELECTION ?POSITION ?PERSON2 ?NUMBER2)
(
not
(
equal
?PERSON1 ?PERSON2)))
(
greaterThan
?NUMBER1 ?NUMBER2))
Government.kif 1893-1900
Election
è un'
istanza
di
PopularElection
electionWinner
Election
,
RuoloSociale
and
AutonomousAgent
voteFractionReceived
Election
,
RuoloSociale
,
AutonomousAgent
and
NumeroReale
voteFractionReceived
Election
,
RuoloSociale
,
AutonomousAgent
and
NumeroReale
AutonomousAgent
is
uguale
a
AutonomousAgent
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?ELEMENT1
ElementalSubstance
)
(
instance
?ELEMENT2
ElementalSubstance
)
(
not
(
equal
?ELEMENT1 ?ELEMENT2))
(
instance
?PROCESS
ChemicalSynthesis
)
(
resource
?PROCESS ?ELEMENT1)
(
resource
?PROCESS ?ELEMENT2)
(
result
?PROCESS ?COMPOUND))
(
instance
?COMPOUND
CompoundSubstance
))
Merge.kif 12547-12556
Oggetto
è un'
istanza
di
SostanzaElementare
Oggetto
è un'
istanza
di
SostanzaElementare
Oggetto
is
uguale
a
Oggetto
Processo
è un'
istanza
di
SintesiChimica
Oggetto
è una
risorsa
per
Processo
Oggetto
è una
risorsa
per
Processo
Entit�
è un
risultato
di
Processo
Entit�
è un'
istanza
di
Composto
(=>
(
and
(
instance
?EM
Electromagnet
)
(
not
(
holdsDuring
?T1
(
exists
(?T ?E)
(
and
(
instance
?T
Transfer
)
(
instance
?E
Electricity
)
(
objectTransferred
?T ?E)
(
path
?T ?EM))))))
(
not
(
holdsDuring
?T1
(
exists
(?M)
(
and
(
instance
?M
Magnetism
)
(
instrument
?M ?EM))))))
Cars.kif 3905-3921
Entit�
è un'
istanza
di
Electromagnet
Entit�
Entit�
Entit�
è un'
istanza
di
Trasferimento
Entit�
è un'
istanza
di
Electricity
objectTransferred
Entit�
and
Entit�
Entit�
è
cammino
mentre
Entit�
si verifica non vale
durante
Entit�
1
Entit�
Entit�
è un'
istanza
di
Magnetism
Entit�
è uno
strumento
per
Entit�
non vale
durante
Entit�
1
(=>
(
and
(
instance
?GRAPH
Graph
)
(
instance
?NODE1
GraphNode
)
(
instance
?NODE2
GraphNode
)
(
graphPart
?NODE1 ?GRAPH)
(
graphPart
?NODE2 ?GRAPH)
(
not
(
equal
?NODE1 ?NODE2)))
(
exists
(?ARC ?PATH)
(
or
(
links
?NODE1 ?NODE2 ?ARC)
(
and
(
subGraph
?PATH ?GRAPH)
(
instance
?PATH
GraphPath
)
(
or
(
and
(
equal
(
BeginNodeFn
?PATH) ?NODE1)
(
equal
(
EndNodeFn
?PATH) ?NODE2))
(
and
(
equal
(
BeginNodeFn
?PATH) ?NODE2)
(
equal
(
EndNodeFn
?PATH) ?NODE1)))))))
Merge.kif 5630-5650
Grafo
è un'
istanza
di
Grafo
NodoDelGrafo
è un'
istanza
di
NodoDelGrafo
NodoDelGrafo
è un'
istanza
di
NodoDelGrafo
NodoDelGrafo
è una
parte
di
Grafo
NodoDelGrafo
è una
parte
di
Grafo
NodoDelGrafo
is
uguale
a
NodoDelGrafo
arco del grafo
CamminoDelGrafo
arco del grafo
lega
s
NodoDelGrafo
e
NodoDelGrafo
CamminoDelGrafo
è un
sottografo
di
Grafo
CamminoDelGrafo
è un'
istanza
di
CamminoDelGrafo
l'
inizio
di
CamminoDelGrafo
is
uguale
a
NodoDelGrafo
la
fine
di
CamminoDelGrafo
is
uguale
a
NodoDelGrafo
l'
inizio
di
CamminoDelGrafo
is
uguale
a
NodoDelGrafo
la
fine
di
CamminoDelGrafo
is
uguale
a
NodoDelGrafo
(=>
(
and
(
instance
?GUIE1
GUIElement
)
(
instance
?GUIE2
GUIElement
)
(
not
(
instance
?GUIE1
InterfaceWindow
))
(
not
(
instance
?GUIE2
InterfaceWindow
))
(
screenOfGUIE
?GUIE1 ?SCREEN)
(
screenOfGUIE
?GUIE2 ?SCREEN)
(
hasGUEState
?GUIE1
GUE_ActiveState
)
(
hasGUEState
?GUIE2
GUE_ActiveState
))
(
or
(
properPart
?GUIE1 ?GUIE2)
(
properPart
?GUIE2 ?GUIE1)
(
equal
?GUIE1 ?GUIE2)))
ComputerInput.kif 1935-1948
GUIElement
è un'
istanza
di
GUIElement
GUIElement
è un'
istanza
di
GUIElement
GUIElement
è un'
istanza
di
InterfaceWindow
GUIElement
è un'
istanza
di
InterfaceWindow
screenOfGUIE
GUIElement
and
ComputerScreen
screenOfGUIE
GUIElement
and
ComputerScreen
hasGUEState
GUIElement
and
GUE_ActiveState
hasGUEState
GUIElement
and
GUE_ActiveState
GUIElement
è una
Parte
propria di
GUIElement
GUIElement
è una
Parte
propria di
GUIElement
GUIElement
is
uguale
a
GUIElement
(=>
(
and
(
instance
?GUN
Gun
)
(
instance
?U
UnitOfLength
)
(
effectiveRange
?GUN
(
MeasureFn
?LM ?U))
(
distance
?GUN ?O
(
MeasureFn
?LM1 ?U))
(
instance
?O
Organism
)
(
not
(
exists
(?O2)
(
between
?O ?O2 ?GUN)))
(
lessThanOrEqualTo
?LM1 ?LM))
(
exists
(?KILLING)
(
capability
(
KappaFn
?KILLING
(
and
(
instance
?KILLING
Killing
)
(
patient
?KILLING ?O)))
instrument
?GUN)))
Mid-level-ontology.kif 1417-1436
Dispositivo
è un'
istanza
di
Gun
Unit�DiMisura
è un'
istanza
di
UnitOfLength
effectiveRange
Dispositivo
and
NumeroReale
Unit�DiMisura
(s la
distanza
tra
Dispositivo
e
Oggetto
è
NumeroReale
1
Unit�DiMisura
(s
Oggetto
è un'
istanza
di
Organismo
Oggetto
2
Oggetto
2 è
tra
Oggetto
e
Dispositivo
NumeroReale
1 è
minore
o uguale a
NumeroReale
Stringa
Dispositivo
è
capace
di fare la
classe
descritta da
Stringa
nel ruolo
instrument
(=>
(
and
(
instance
?GUN
Gun
)
(
instance
?U
UnitOfLength
)
(
effectiveRange
?GUN
(
MeasureFn
?LM ?U))
(
distance
?GUN ?O
(
MeasureFn
?LM1 ?U))
(
not
(
exists
(?O2)
(
between
?O ?O2 ?GUN)))
(
lessThanOrEqualTo
?LM1 ?LM))
(
exists
(?DAMAGING)
(
capability
(
KappaFn
?DAMAGING
(
and
(
instance
?DAMAGING
Damaging
)
(
patient
?DAMAGING ?O)))
instrument
?GUN)))
Mid-level-ontology.kif 1395-1413
Dispositivo
è un'
istanza
di
Gun
Unit�DiMisura
è un'
istanza
di
UnitOfLength
effectiveRange
Dispositivo
and
NumeroReale
Unit�DiMisura
(s la
distanza
tra
Dispositivo
e
Oggetto
è
NumeroReale
1
Unit�DiMisura
(s
Oggetto
2
Oggetto
2 è
tra
Oggetto
e
Dispositivo
NumeroReale
1 è
minore
o uguale a
NumeroReale
Stringa
Dispositivo
è
capace
di fare la
classe
descritta da
Stringa
nel ruolo
instrument
(=>
(
and
(
instance
?H
Primate
)
(
instance
?D
DiseaseOrSyndrome
)
(
not
(
attribute
?H ?D)))
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
Foot
)
(
instance
?L2
Foot
)
(
not
(
equal
?L1 ?L2))
(
part
?L1 ?H)
(
part
?L2 ?H))))
Mid-level-ontology.kif 12709-12722
Oggetto
è un'
istanza
di
Primato
Attributo
è un'
istanza
di
MalattiaOSindrome
attribute
Oggetto
and
Attributo
Oggetto
Oggetto
Oggetto
è un'
istanza
di
Foot
Oggetto
è un'
istanza
di
Foot
Oggetto
is
uguale
a
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
(=>
(
and
(
instance
?H
Primate
)
(
instance
?D
DiseaseOrSyndrome
)
(
not
(
attribute
?H ?D)))
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
Leg
)
(
instance
?L2
Leg
)
(
not
(
equal
?L1 ?L2))
(
part
?L1 ?H)
(
part
?L2 ?H))))
Mid-level-ontology.kif 12682-12695
Oggetto
è un'
istanza
di
Primato
Attributo
è un'
istanza
di
MalattiaOSindrome
attribute
Oggetto
and
Attributo
Oggetto
Oggetto
Oggetto
è un'
istanza
di
Leg
Oggetto
è un'
istanza
di
Leg
Oggetto
is
uguale
a
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
(=>
(
and
(
instance
?H
Primate
)
(
instance
?D
DiseaseOrSyndrome
)
(
not
(
attribute
?H ?D)))
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
Lung
)
(
instance
?L2
Lung
)
(
not
(
equal
?L1 ?L2))
(
part
?L1 ?H)
(
part
?L2 ?H))))
Mid-level-ontology.kif 11198-11211
Oggetto
è un'
istanza
di
Primato
Attributo
è un'
istanza
di
MalattiaOSindrome
attribute
Oggetto
and
Attributo
Oggetto
Oggetto
Oggetto
è un'
istanza
di
Lung
Oggetto
è un'
istanza
di
Lung
Oggetto
is
uguale
a
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
(=>
(
and
(
instance
?Isthmus
Isthmus
)
(
side
?Leftside ?Isthmus)
(
side
?Rightside ?Isthmus)
(
not
(
equal
?Leftside ?Rightside)))
(
exists
(?Region1 ?Region2 ?Water1 ?Water2)
(
and
(
instance
?Region1
LandArea
)
(
instance
?Region2
LandArea
)
(
between
?Region1 ?Isthmus ?Region2)
(
instance
?Water1
WaterArea
)
(
instance
?Water2
WaterArea
)
(
meetsSpatially
?Leftside ?Water1)
(
meetsSpatially
?Rightside ?Water2))))
Geography.kif 5823-5837
OggettoIntegro
è un'
istanza
di
Isthmus
un
lato
di
OggettoIntegro
è
OggettoIntegro
un
lato
di
OggettoIntegro
è
OggettoIntegro
OggettoIntegro
is
uguale
a
OggettoIntegro
Oggetto
Oggetto
,
Oggetto
and
Oggetto
Oggetto
è un'
istanza
di
SuperficieTerrestre
Oggetto
è un'
istanza
di
SuperficieTerrestre
OggettoIntegro
è
tra
Oggetto
e
Oggetto
Oggetto
è un'
istanza
di
SuperficieAcquatica
Oggetto
è un'
istanza
di
SuperficieAcquatica
OggettoIntegro
incontra
s
Oggetto
OggettoIntegro
incontra
s
Oggetto
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
subOrganization
?FORCE2 ?JOINT)
(
not
(
equal
?FORCE1 ?FORCE2))
(
leaderPosition
?JOINT ?JOINTCOMMANDER))
(
and
(
leaderPosition
?FORCE1 ?JOINTCOMMANDER)
(
leaderPosition
?FORCE2 ?JOINTCOMMANDER)))
MilitaryProcesses.kif 1736-1746
Organizzazione
è un'
istanza
di
JointForces
subOrganization
Organizzazione
and
Organizzazione
subOrganization
Organizzazione
and
Organizzazione
Organizzazione
is
uguale
a
Organizzazione
leaderPosition
Organizzazione
and
Organizzazione
COMMANDER
leaderPosition
Organizzazione
and
Organizzazione
COMMANDER
leaderPosition
Organizzazione
and
Organizzazione
COMMANDER
(=>
(
and
(
instance
?L
Lever
)
(
instance
?P
Pushing
)
(
instance
?M1
Motion
)
(
instance
?U
UnitOfLength
)
(
destination
?P ?E1)
(
physicalEnd
?E1 ?L)
(
physicalEnd
?E2 ?L)
(
not
(
equal
?E1 ?E2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E1 ?P1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E1 ?P2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E2 ?P3))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E2 ?P4))
(
distance
?P1 ?P2
(
MeasureFn
?D1 ?U))
(
distance
?P3 ?P4
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))
Mid-level-ontology.kif 1332-1355
Oggetto
è un'
istanza
di
Lever
Processo
è un'
istanza
di
Pushing
Entit�Concreta
è un'
istanza
di
Movimento
Unit�DiMisura
è un'
istanza
di
UnitOfLength
Processo
fine
s in
Oggetto
physicalEnd
Oggetto
and
Oggetto
physicalEnd
Oggetto
and
Oggetto
Oggetto
is
uguale
a
Oggetto
Oggetto
è
localizzato
in
Processo
1 vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Entit�Concreta
Oggetto
è
localizzato
in
Processo
2 vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Entit�Concreta
Oggetto
è
localizzato
in
Processo
3 vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Entit�Concreta
Oggetto
è
localizzato
in
Processo
4 vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Entit�Concreta
la
distanza
tra
Processo
1 e
Processo
2 è
NumeroReale
Unit�DiMisura
(s la
distanza
tra
Processo
3 e
Processo
4 è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?L1
Object
)
(
attribute
?L1
LongAndThin
)
(
instance
?L2
Object
)
(
attribute
?L2
LongAndThin
)
(
connected
?L1 ?L2)
(
not
(
equal
?L1 ?L2)))
(
exists
(?M)
(
relativeAngle
?L1 ?L2 ?M)))
Merge.kif 17882-17892
Oggetto
è un'
istanza
di
Oggetto
attribute
Oggetto
and
LongAndThin
Oggetto
è un'
istanza
di
Oggetto
attribute
Oggetto
and
LongAndThin
Oggetto
è
connesso
a
Oggetto
Oggetto
is
uguale
a
Oggetto
NumeroReale
relativeAngle
Oggetto
,
Oggetto
and
NumeroReale
(=>
(
and
(
instance
?LAND
Continent
)
(
not
(
equal
?LAND
Antarctica
)))
(
orientation
Antarctica
?LAND
South
))
Geography.kif 292-296
Oggetto
è un'
istanza
di
Continente
Oggetto
is
uguale
a
Antarctica
Antarctica
è
South
a
Oggetto
(=>
(
and
(
instance
?LIST
List
)
(
not
(
equal
?LIST
NullList
)))
(
equal
(
FirstFn
?LIST)
(
ListOrderFn
?LIST 1)))
Merge.kif 3232-3237
Lista
è un'
istanza
di
Lista
Lista
is
uguale
a
NullList
FirstFn
Lista
is
uguale
a 1th
elemento
di
Lista
(=>
(
and
(
instance
?M
OrganizationalMerging
)
(
patient
?M ?ORG1)
(
patient
?M ?ORG2)
(
not
(
equal
?ORG1 ?ORG2)))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?M))
(
not
(
exists
(?S1)
(
and
(
subOrganization
?ORG1 ?S1)
(
subOrganization
?ORG2 ?S1)))))
(
holdsDuring
(
EndFn
(
WhenFn
?M))
(
exists
(?S2)
(
and
(
subOrganization
?ORG1 ?S2)
(
subOrganization
?ORG2 ?S2))))))
Mid-level-ontology.kif 16305-16324
Processo
è un'
istanza
di
OrganizationalMerging
Entit�
è un
paziente
di
Processo
Entit�
è un
paziente
di
Processo
Entit�
is
uguale
a
Entit�
Entit�
subOrganization
Entit�
and
Entit�
subOrganization
Entit�
and
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
subOrganization
Entit�
and
Entit�
subOrganization
Entit�
and
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
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
?MIXTURE
Mixture
)
(
piece
?SUBSTANCE ?MIXTURE)
(
not
(
instance
?SUBSTANCE
Mixture
)))
(
instance
?SUBSTANCE
PureSubstance
))
Merge.kif 1200-1205
Sostanza
è un'
istanza
di
Mistura
Sostanza
è un
membro
di
Sostanza
Sostanza
è un'
istanza
di
Mistura
Sostanza
è un'
istanza
di
SostanzaPura
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