not
(=>
(
and
(
equal
(
RemainderFn
?NUMBER1 ?NUMBER2) ?NUMBER)
(
not
(
equal
?NUMBER 0))
(
not
(
equal
?NUMBER1 0))
(
not
(
equal
?NUMBER2 0)))
(
equal
(
SignumFn
?NUMBER2)
(
SignumFn
?NUMBER)))
Merge.kif 5130-5142
NumeroIntero
mod
NumeroIntero
is
uguale
a
NumeroIntero
NumeroIntero
is
uguale
a 0
NumeroIntero
is
uguale
a 0
NumeroIntero
is
uguale
a 0
il
segno
di
NumeroIntero
is
uguale
a il
segno
di
NumeroIntero
(=>
(
and
(
equal
(
RemainderFn
?NUMBER1 ?NUMBER2) ?NUMBER)
(
not
(
equal
?NUMBER2 0)))
(
equal
(
AdditionFn
(
MultiplicationFn
(
FloorFn
(
DivisionFn
?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))
Merge.kif 5104-5115
NumeroIntero
mod
NumeroIntero
is
uguale
a
NumeroIntero
NumeroIntero
is
uguale
a 0
(the
il
maggior numero intero minore o uguale a
NumeroIntero
+
NumeroIntero
+
NumeroIntero
+
NumeroIntero
is
uguale
a
NumeroIntero
(=>
(
and
(
equal
?DEP
(
DepartmentOfFn
?COMP ?PHYS))
(
subOrganization
?DEP2 ?COMP)
(
not
(
equal
?DEP ?DEP2))
(
instance
?I ?PHYS)
(
inScopeOfInterest
?DEP ?I)
(
equal
?P1
(
ProbabilityFn
(
agent
?P ?DEP)))
(
equal
?P2
(
ProbabilityFn
(
agent
?P ?DEP2))))
(
greaterThan
?P1 ?P2))
Mid-level-ontology.kif 18343-18358
Organizzazione
is
uguale
a
DepartmentOfFn
Organizzazione
and
Entit�Concreta
subOrganization
Organizzazione
2 and
Organizzazione
Organizzazione
is
uguale
a
Organizzazione
2
Entit�
è un'
istanza
di
Entit�Concreta
Organizzazione
è
interessato
a
Entit�
NumeroReale
is
uguale
a la
probabilit
à di
Entit�
è un
agente
di
Organizzazione
Entit�
2 is
uguale
a la
probabilit
à di
Entit�
è un
agente
di
Organizzazione
2
NumeroReale
è
pi
ù grande di
Entit�
2
(=>
(
and
(
equal
?L
(
LineFn
?P1 ?P2))
(
part
?OP1 ?L)
(
part
?OP2 ?L)
(
not
(
equal
?OP1 ?OP2))
(
equal
?L2
(
LineFn
?OP1 ?OP2)))
(
part
?L2 ?L))
ComputingBrands.kif 2636-2644
Oggetto
is
uguale
a
LineFn
Oggetto
and
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
is
uguale
a
Oggetto
Oggetto
2 is
uguale
a
LineFn
Oggetto
and
Oggetto
Oggetto
2 è una
parte
di
Oggetto
(=>
(
and
(
equal
?LIST3
(
ListConcatenateFn
?LIST1 ?LIST2))
(
not
(
equal
?LIST1
NullList
))
(
not
(
equal
?LIST2
NullList
))
(
lessThanOrEqualTo
?NUMBER1
(
ListLengthFn
?LIST1))
(
lessThanOrEqualTo
?NUMBER2
(
ListLengthFn
?LIST2))
(
instance
?NUMBER1
PositiveInteger
)
(
instance
?NUMBER2
PositiveInteger
))
(
and
(
equal
(
ListOrderFn
?LIST3 ?NUMBER1)
(
ListOrderFn
?LIST1 ?NUMBER1))
(
equal
(
ListOrderFn
?LIST3
(
AdditionFn
(
ListLengthFn
?LIST1) ?NUMBER2))
(
ListOrderFn
?LIST2 ?NUMBER2))))
Merge.kif 3083-3102
Lista
is
uguale
a la lista composta di
Lista
e
Lista
Lista
is
uguale
a
NullList
Lista
is
uguale
a
NullList
NumeroInteroPositivo
è
minore
o uguale a
lunghezza
di
Lista
NumeroInteroPositivo
è
minore
o uguale a
lunghezza
di
Lista
NumeroInteroPositivo
è un'
istanza
di
NumeroInteroPositivo
NumeroInteroPositivo
è un'
istanza
di
NumeroInteroPositivo
NumeroInteroPositivo
th
elemento
di
Lista
is
uguale
a
NumeroInteroPositivo
th
elemento
di
Lista
(
lunghezza
di
Lista
+
NumeroInteroPositivo
th
elemento
di
Lista
is
uguale
a
NumeroInteroPositivo
th
elemento
di
Lista
(=>
(
and
(
graphPart
?ARC1 ?GRAPH)
(
graphPart
?ARC2 ?GRAPH)
(
graphPart
?NODE1 ?GRAPH)
(
graphPart
?NODE2 ?GRAPH)
(
links
?NODE1 ?NODE2 ?ARC1)
(
links
?NODE1 ?NODE2 ?ARC2)
(
not
(
equal
?ARC1 ?ARC2)))
(
instance
?GRAPH
MultiGraph
))
Merge.kif 5790-5799
Arco del grafo
è una
parte
di
Grafo
arco del grafo
è una
parte
di
Grafo
NodoDelGrafo
è una
parte
di
Grafo
NodoDelGrafo
è una
parte
di
Grafo
arco del grafo
lega
s
NodoDelGrafo
e
NodoDelGrafo
arco del grafo
lega
s
NodoDelGrafo
e
NodoDelGrafo
arco del grafo
is
uguale
a
arco del grafo
Grafo
è un'
istanza
di
MultiGrafo
(=>
(
and
(
graphPart
?PATH ?GRAPH)
(
not
(
instance
?GRAPH
DirectedGraph
)))
(<=>
(
instance
?PATH
(
GraphPathFn
?NODE1 ?NODE2))
(
instance
?PATH
(
GraphPathFn
?NODE2 ?NODE1))))
Merge.kif 6062-6068
ElementoDelGrafo
è una
parte
di
Grafo
Grafo
è un'
istanza
di
GrafoDiretto
ElementoDelGrafo
è un'
istanza
di l'
insieme
di cammini tra
NodoDelGrafo
e
NodoDelGrafo
ElementoDelGrafo
è un'
istanza
di l'
insieme
di cammini tra
NodoDelGrafo
e
NodoDelGrafo
(=>
(
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
(
hasGUEState
?WIN1
GUE_UncoveredState
)
(
hasGUEState
?WIN1
GUE_MaximizedWindowState
)
(
screenOfGUIE
?WIN1 ?SCREEN)
(
instance
?WIN2
InterfaceWindow
)
(
screenOfGUIE
?WIN2 ?SCREEN)
(
not
(
equal
?WIN1 ?WIN2)))
(
or
(
hasGUEState
?WIN2
GUE_CoveredState
)
(
hasGUEState
?WIN2
GUE_PartiallyCoveredState
)
(
hasGUEState
?WIN2
GUE_OffscreenState
)))
ComputerInput.kif 2120-2131
hasGUEState
GUIElement
and
GUE_UncoveredState
hasGUEState
GUIElement
and
GUE_MaximizedWindowState
screenOfGUIE
GUIElement
and
ComputerScreen
GUIElement
è un'
istanza
di
InterfaceWindow
screenOfGUIE
GUIElement
and
ComputerScreen
GUIElement
is
uguale
a
GUIElement
hasGUEState
GUIElement
and
GUE_CoveredState
hasGUEState
GUIElement
and
GUE_PartiallyCoveredState
hasGUEState
GUIElement
and
GUE_OffscreenState
(=>
(
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
Ambulating
)
(
subProcess
?S1 ?A)
(
instance
?S1
Stepping
)
(
subProcess
?S2 ?A)
(
instance
?S2
Stepping
)
(
equal
?S1START
(
BeginFn
(
WhenFn
?S1)))
(
equal
?S2START
(
BeginFn
(
WhenFn
?S2)))
(
not
(
or
(
before
?S1START ?S2START)
(
before
?S2START ?S1START))))
(
equal
?S1 ?S2))
Mid-level-ontology.kif 501-514
Processo
è un'
istanza
di
Ambulating
Processo
è un
sottoprocesso
di
Processo
Processo
è un'
istanza
di
Stepping
Processo
è un
sottoprocesso
di
Processo
Processo
è un'
istanza
di
Stepping
Processo
START is
uguale
a l'
inizio
di il
tempo
di esistenza di
Processo
Processo
START is
uguale
a l'
inizio
di il
tempo
di esistenza di
Processo
Processo
START succede%{s}
prima
di
Processo
START
Processo
START succede%{s}
prima
di
Processo
START
Processo
is
uguale
a
Processo
(=>
(
and
(
instance
?A
Attaching
)
(
patient
?A ?O1)
(
patient
?A ?O2)
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
not
(
connected
?O1 ?O2)))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
connected
?O1 ?O2)))
(
and
(
objectAttached
?A ?O1)
(
objectAttached
?A ?O2)))
Merge.kif 12383-12397
Processo
è un'
istanza
di
Attaccare
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
objectAttached
Processo
and
Entit�
objectAttached
Processo
and
Entit�
(=>
(
and
(
instance
?A1
Automobile
)
(
instance
?A2
Automobile
)
(
instance
?S1
AutomobileShock
)
(
part
?S1 ?A1)
(
not
(
exists
(?S2)
(
and
(
instance
?S2
AutomobileShock
)
(
part
?S2 ?A2))))
(
dampingRatio
?A1 ?R1)
(
dampingRatio
?A2 ?R2))
(
greaterThan
?R2 ?R1))
Cars.kif 853-866
PhysicalSystem
è un'
istanza
di
Automobile
PhysicalSystem
è un'
istanza
di
Automobile
Oggetto
è un'
istanza
di
AutomobileShock
Oggetto
è una
parte
di
PhysicalSystem
Oggetto
Oggetto
è un'
istanza
di
AutomobileShock
Oggetto
è una
parte
di
PhysicalSystem
dampingRatio
PhysicalSystem
and
NumeroReale
dampingRatio
PhysicalSystem
and
NumeroReale
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?AGENT
AutonomousAgent
)
(
potentialCustomer
?CUST ?AGENT)
(
modalAttribute
(
and
(
instance
?R
Reserving
)
(
destination
?R ?AGENT))
Necessity
)
(
conditionalProbability
(
exists
(?RES1)
(
and
(
instance
?RES1
Reservation
)
(
reservingEntity
?CUST ?RES1)
(
fulfillingEntity
?AGENT ?RES1)))
(
customer
?CUST ?AGENT) ?NUM1)
(
conditionalProbability
(
not
(
exists
(?RES2)
(
and
(
instance
?RES2
Reservation
)
(
reservingEntity
?CUST ?RES2)
(
fulfillingEntity
?AGENT ?RES2))))
(
customer
?CUST ?AGENT) ?NUM2))
(
lessThan
?NUM2 ?NUM1))
Dining.kif 772-795
AutonomousAgent
è un'
istanza
di
AutonomousAgent
potentialCustomer
AgenteCognitivo
and
AutonomousAgent
l'affermazione
Entit�
è un'
istanza
di
Reserving
Entit�
fine
s in
AutonomousAgent
ha il modello di forza di
Necessity
probabilit
à di
Entit�
ES1
Entit�
ES1 è un'
istanza
di
Reservation
reservingEntity
AgenteCognitivo
and
Entit�
ES1
fulfillingEntity
AutonomousAgent
and
Entit�
ES1 ammesso che
customer
AgenteCognitivo
and
AutonomousAgent
valga è
NumeroReale
probabilit
à di
Entit�
ES2
Entit�
ES2 è un'
istanza
di
Reservation
reservingEntity
AgenteCognitivo
and
Entit�
ES2
fulfillingEntity
AutonomousAgent
and
Entit�
ES2 ammesso che
customer
AgenteCognitivo
and
AutonomousAgent
valga è
NumeroReale
NumeroReale
è
meno
di
NumeroReale
(=>
(
and
(
instance
?ANI
Animal
)
(
instance
?D
DiseaseOrSyndrome
)
(
not
(
attribute
?ANI ?D)))
(
exists
(?P ?W)
(
and
(
instance
?P
BiologicalProcess
)
(
instance
?P
Removing
)
(
origin
?P ?ANI)
(
instance
?W
Sewage
)
(
agent
?P ?ANI)
(
objectTransferred
?P ?W))))
Mid-level-ontology.kif 2162-2175
AutonomousAgent
è un'
istanza
di
Animale
Attributo
è un'
istanza
di
MalattiaOSindrome
attribute
AutonomousAgent
and
Attributo
Trasferimento
Oggetto
Trasferimento
è un'
istanza
di
ProcesoBiologico
Trasferimento
è un'
istanza
di
Spostamento
Trasferimento
si
originas in
AutonomousAgent
Oggetto
è un'
istanza
di
Sewage
Trasferimento
è un
agente
di
AutonomousAgent
objectTransferred
Trasferimento
and
Oggetto
(=>
(
and
(
instance
?B
Bubble
)
(
not
(
exists
(?X ?S)
(
and
(
attribute
?X ?S)
(
not
(
equal
?X
Gas
))
(
meetsSpatially
?X ?B)))))
(
attribute
?B
ConvexRoundShape
))
Mid-level-ontology.kif 5016-5025
Oggetto
è un'
istanza
di
Bubble
Oggetto
Attributo
attribute
Oggetto
and
Attributo
Oggetto
is
uguale
a
Gas
Oggetto
incontra
s
Oggetto
attribute
Oggetto
and
ConvexRoundShape
(=>
(
and
(
instance
?BTS
BimetalTemperatureSensor
)
(
instance
?M1
Metal
)
(
instance
?M2
Metal
)
(
not
(
equal
?M1 ?M2))
(
part
?M1 ?BTS)
(
part
?M2 ?BTS)
(
instance
?T1
TemperatureMeasure
)
(
instance
?T2
TemperatureMeasure
)
(
instance
?L1
LengthMeasure
)
(
instance
?L2
LengthMeasure
)
(
instance
?L3
LengthMeasure
)
(
instance
?L4
LengthMeasure
)
(
not
(
equal
?T1 ?T2))
(
not
(
equal
?TM1 ?TM2))
(
holdsDuring
?TM1
(
and
(
measure
?BTS ?T1)
(
measure
?M1 ?L1)
(
measure
?M2 ?L2)))
(
holdsDuring
?TM2
(
and
(
measure
?BTS ?T2)
(
measure
?M1 ?L3)
(
measure
?M2 ?L4))))
(
not
(
equal
(
DivisionFn
?L1 ?L2)
(
DivisionFn
?L3 ?L4))))
Cars.kif 4081-4113
Oggetto
è un'
istanza
di
BimetalTemperatureSensor
Oggetto
è un'
istanza
di
Metallo
Oggetto
è un'
istanza
di
Metallo
Oggetto
is
uguale
a
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Entit�
è un'
istanza
di
MisuraDiTemperatura
Entit�
è un'
istanza
di
MisuraDiTemperatura
NumeroReale
è un'
istanza
di
MisuraDiLunghezza
NumeroReale
è un'
istanza
di
MisuraDiLunghezza
NumeroReale
è un'
istanza
di
MisuraDiLunghezza
NumeroReale
è un'
istanza
di
MisuraDiLunghezza
Entit�
is
uguale
a
Entit�
PosizioneTemporale
is
uguale
a
PosizioneTemporale
la
misura
Oggetto
è
Entit�
la
misura
Oggetto
è
NumeroReale
la
misura
Oggetto
è
NumeroReale
vales
durante
PosizioneTemporale
la
misura
Oggetto
è
Entit�
la
misura
Oggetto
è
NumeroReale
la
misura
Oggetto
è
NumeroReale
vales
durante
PosizioneTemporale
NumeroReale
+
NumeroReale
is
uguale
a
NumeroReale
+
NumeroReale
(=>
(
and
(
instance
?C
Convoy
)
(
member
?X1 ?C)
(
member
?X2 ?C)
(
not
(
equal
?X1 ?X2)))
(
exists
(?P1 ?P2 ?D)
(
and
(
instance
?P1
Transportation
)
(
instance
?P2
Transportation
)
(
agent
?P1 ?X1)
(
agent
?P2 ?X2)
(
destination
?P1 ?D)
(
destination
?P2 ?D))))
Military.kif 108-122
InsiemeConcreto
è un'
istanza
di
Convoy
AutonomousAgent
è un
membro
di
InsiemeConcreto
AutonomousAgent
è un
membro
di
InsiemeConcreto
AutonomousAgent
is
uguale
a
AutonomousAgent
Processo
Processo
and
Entit�
Processo
è un'
istanza
di
Trasporto
Processo
è un'
istanza
di
Trasporto
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
Entit�
Processo
fine
s in
Entit�
(=>
(
and
(
instance
?C
Crystal
)
(
attribute
?C
MonoCrystalline
)
(
instance
?SUB
Substance
)
(
attribute
?SUB
Solid
)
(
attribute
?SUB
PolyCrystalline
)
(
instance
?S
Substance
)
(
surface
?S ?SUB)
(
not
(
part
?C ?S)))
(
exists
(?CLNT ?X ?MBR)
(
and
(
instance
?CLNT
Collection
)
(
memberCount
?CLNT ?X)
(
greaterThanOrEqualTo
?X 4)
(=>
(
member
?MBR ?CLNT)
(
and
(
part
?MBR ?SUB)
(
meetsSpatially
?C ?MBR))))))
Geography.kif 7142-7162
Oggetto
è un'
istanza
di
Crystal
attribute
Oggetto
and
MonoCrystalline
OggettoIntegro
è un'
istanza
di
Sostanza
attribute
OggettoIntegro
and
Solid
attribute
OggettoIntegro
and
PolyCrystalline
OggettoIntegro
è un'
istanza
di
Sostanza
OggettoIntegro
è una
superficie
di
OggettoIntegro
Oggetto
è una
parte
di
OggettoIntegro
Oggetto
LNT
NumeroIntero
and
Oggetto
Oggetto
LNT è un'
istanza
di
InsiemeConcreto
memberCount
Oggetto
LNT and
NumeroIntero
NumeroIntero
è
pi
ù grande di o uguale a 4
Oggetto
è un
membro
di
Oggetto
LNT
Oggetto
è una
parte
di
OggettoIntegro
Oggetto
incontra
s
Oggetto
(=>
(
and
(
instance
?C
InPersonCommunication
)
(
agent
?C ?A1)
(
agent
?C ?A2)
(
not
(
equal
?A1 ?A2)))
(
holdsDuring
?C
(
orientation
?A1 ?A2
Near
)))
Media.kif 224-231
Processo
è un'
istanza
di
InPersonCommunication
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
is
uguale
a
AutonomousAgent
AutonomousAgent
è
Near
a
AutonomousAgent
vales
durante
Processo
(=>
(
and
(
instance
?CA
COVIDAntibody
)
(
holdsDuring
?T
(
and
(
not
(
attribute
?H
Covid19
))
(
part
?CA ?H))))
(
holdsDuring
(
ImmediateFutureFn
?T)
(
modalAttribute
(
attribute
?H
Covid19
)
Unlikely
)))
Medicine.kif 2784-2796
Entit�
è un'
istanza
di
COVIDAntibody
attribute
Entit�
and
Covid19
Entit�
è una
parte
di
Entit�
vales
durante
PosizioneTemporale
l'affermazione
attribute
Entit�
and
Covid19
ha il modello di forza di
Unlikely
vales
durante
immediatamente
dopo
PosizioneTemporale
(=>
(
and
(
instance
?CC
ComputerCable
)
(
not
(
instance
?C
Cable
))
(
part
?C ?CC))
(
or
(
instance
?C
MaleConnector
)
(
instance
?C
FemaleConnector
)))
ComputingBrands.kif 2746-2754
Oggetto
è un'
istanza
di
ComputerCable
Oggetto
è un'
istanza
di
Cable
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
MaleConnector
Oggetto
è un'
istanza
di
FemaleConnector
(=>
(
and
(
instance
?CITY
AmericanCity
)
(
part
?CITY
California
)
(
not
(
equal
?CITY
LosAngelesCalifornia
)))
(
greaterThan
(
CardinalityFn
(
ResidentFn
LosAngelesCalifornia
))
(
CardinalityFn
(
ResidentFn
?CITY))))
CountriesAndRegions.kif 812-817
AreaGeopolitica
è un'
istanza
di
AmericanCity
AreaGeopolitica
è una
parte
di
California
AreaGeopolitica
is
uguale
a
LosAngelesCalifornia
il numero di
istanzia
in
ResidentFn
LosAngelesCalifornia
è
pi
ù grande di il numero di
istanzia
in
ResidentFn
AreaGeopolitica
(=>
(
and
(
instance
?COLL
Collection
)
(
instance
?SITE
WebSite
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?LISTING
WebListing
)
(
instance
?TIME
TimePoint
)
(
listingSeller
?LISTING ?AGENT)
(
not
(
member
?LISTING ?COLL))
(
forall
(?ITEM ?MEMBER)
(
and
(=>
(
and
(
instance
?ITEM
WebListing
)
(
member
?ITEM
(
SellersItemsFn
?AGENT ?SITE))
(
temporalPart
?TIME
(
WhenFn
?ITEM))
(
not
(
equal
?ITEM ?LISTING)))
(
member
?ITEM ?COLL))
(=>
(
member
?MEMBER ?COLL)
(
and
(
temporalPart
?TIME
(
WhenFn
?ITEM))
(
instance
?MEMBER
WebListing
))))))
(
equal
(
SellersOtherItemsFn
?AGENT ?SITE ?LISTING ?TIME) ?COLL))
UXExperimentalTerms.kif 1033-1060
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
WebSite
è un'
istanza
di
WebSite
AutonomousAgent
è un'
istanza
di
AutonomousAgent
WebListing
è un'
istanza
di
WebListing
PuntoTemporale
è un'
istanza
di
PuntoTemporale
listingSeller
WebListing
and
AutonomousAgent
WebListing
è un
membro
di
InsiemeConcreto
Entit�Concreta
Entit�Concreta
Entit�Concreta
è un'
istanza
di
WebListing
Entit�Concreta
è un
membro
di
SellersItemsFn
AutonomousAgent
and
WebSite
PuntoTemporale
è una
parte
diil
tempo
di esistenza di
Entit�Concreta
Entit�Concreta
is
uguale
a
WebListing
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
PuntoTemporale
è una
parte
diil
tempo
di esistenza di
Entit�Concreta
Entit�Concreta
è un'
istanza
di
WebListing
SellersOtherItemsFn
AutonomousAgent
,
WebSite
,
WebListing
and
PuntoTemporale
is
uguale
a
InsiemeConcreto
(=>
(
and
(
instance
?COLL
HomologousChromosomeSet
)
(
memberType
?COLL
Chromosome
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N
EukaryoticCell
)
(
subCollection
?X ?COLL)
(
subCollection
?Y ?COLL)
(
not
(
equal
?X ?Y)))
(
homologousChromosomePair
?X ?Y))
VirusProteinAndCellPart.kif 877-888
InsiemeConcreto
è un'
istanza
di
HomologousChromosomeSet
memberType
InsiemeConcreto
and
Chromosome
InsiemeConcreto
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
CellNucleus
Oggetto
è una
parte
di
EukaryoticCell
MonoploidChromosomeSet
è
sottoinsieme
un proprio
InsiemeConcreto
MonoploidChromosomeSet
è
sottoinsieme
un proprio
InsiemeConcreto
MonoploidChromosomeSet
is
uguale
a
MonoploidChromosomeSet
homologousChromosomePair
MonoploidChromosomeSet
and
MonoploidChromosomeSet
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