Collection
(InsiemeConcreto)
(=>
(
instance
?B
Bus
)
(
hasPurpose
?B
(
exists
(?C ?T ?N ?P)
(
and
(
instance
?C
Collection
)
(
instance
?T
Transportation
)
(
memberCount
?C ?N)
(
greaterThan
?N 11)
(=>
(
member
?P ?C)
(
patient
?T ?P))))))
Transportation.kif 1972-1983
Entit�Concreta
è un'
istanza
di
Bus
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
InsiemeConcreto
Entit�
è un'
istanza
di
Trasporto
memberCount
Entit�
and
Entit�
Entit�
è
pi
ù grande di 11
Entit�
è un
membro
di
Entit�
Entit�
è un
paziente
di
Entit�
(=>
(
instance
?BF
BowlingFacility
)
(
exists
(?BL)
(
and
(
instance
?BL
Collection
)
(
memberType
?BL
BowlingLane
)
(
located
?BL ?BF))))
Sports.kif 1163-1169
Oggetto
è un'
istanza
di
BowlingFacility
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
memberType
InsiemeConcreto
and
BowlingLane
InsiemeConcreto
è
localizzato
in
Oggetto
(=>
(
instance
?DRIZZLE
Drizzling
)
(
exists
(?CLTN ?R ?SIZE)
(
and
(
instance
?CLTN
Collection
)
(
instance
?R
Water
)
(
instance
?R
LiquidDrop
)
(
member
?R ?CLTN)
(
objectTransferred
?DRIZZLE ?CLTN)
(
approximateDiameter
?R
(
MeasureFn
?SIZE
Millimeter
))
(
modalAttribute
(
lessThanOrEqualTo
?SIZE 0.5)
Likely
))))
Weather.kif 2786-2798
Trasferimento
è un'
istanza
di
Drizzling
InsiemeConcreto
OggettoIntegro
and
NumeroReale
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
OggettoIntegro
è un'
istanza
di
Acqua
OggettoIntegro
è un'
istanza
di
LiquidDrop
OggettoIntegro
è un
membro
di
InsiemeConcreto
objectTransferred
Trasferimento
and
InsiemeConcreto
approximateDiameter
OggettoIntegro
and
NumeroReale
Millimeter
(s l'affermazione
NumeroReale
è
minore
o uguale a 0.5 ha il modello di forza di
Likely
(=>
(
instance
?DROP
Raindrop
)
(
exists
(?RAIN)
(
and
(
instance
?RAIN
Rain
)
(
instance
?RAIN
Collection
)
(
member
?DROP ?RAIN))))
Weather.kif 2964-2970
Entit�Concreta
è un'
istanza
di
Raindrop
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
Rain
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
(=>
(
instance
?EM
EspressoMaking
)
(
holdsDuring
?EM
(
exists
(?H ?W ?V ?T ?LM ?P ?COLL ?K ?CG ?F ?R)
(
and
(
instance
?H
Heating
)
(
patient
?H ?W)
(
measure
?W
(
MeasureFn
?V
Liter
))
(
approximateValue
?V 0.03)
(
holdsDuring
(
EndFn
(
WhenFn
?H))
(
and
(
measure
?W
(
MeasureFn
?T
CelsiusDegree
))
(
approximateValue
?T 90)))
(
instance
?LM
LiquidMotion
)
(
patient
?LM ?W)
(
holdsDuring
?LM
(
and
(
measure
?W
(
MeasureFn
?P
(
KiloFn
Pascal
)))
(
approximateValue
?P 900)))
(
destination
?LM ?COLL)
(
instance
?COLL
Collection
)
(
measure
?COLL
(
MeasureFn
?K
Gram
))
(
approximateValue
?K 7.5)
(
member
?COLL ?CG)
(
instance
?CG
CoffeeGrind
)
(
attribute
?CG
FineGrind
)
(
located
?COLL ?F)
(
instance
?F
Filter
)
(
instance
?R
Removing
)
(
instrument
?R ?F)
(
patient
?R ?COLL)
(
temporallyBetween
(
EndFn
(
WhenFn
?H))
(
EndFn
(
WhenFn
?LM))
(
EndFn
(
WhenFn
?R)))))))
Food.kif 799-834
PosizioneTemporale
è un'
istanza
di
EspressoMaking
Entit�
Entit�
,
Entit�
,
Entit�
,
Entit�
,
Entit�
,
Entit�
,
Entit�
,
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Riscaldamento
Entit�
è un
paziente
di
Entit�
la
misura
Entit�
è
Entit�
Liter
(s
approximateValue
Entit�
and 0.03 la
misura
Entit�
è
Entit�
CelsiusDegree
(s
approximateValue
Entit�
and 90 vales
durante
la
fine
di il
tempo
di esistenza di
Entit�
Entit�
è un'
istanza
di
LiquidMotion
Entit�
è un
paziente
di
Entit�
la
misura
Entit�
è
Entit�
1
mille
Pascal
s(s
approximateValue
Entit�
and 900 vales
durante
Entit�
Entit�
fine
s in
Entit�
Entit�
è un'
istanza
di
InsiemeConcreto
la
misura
Entit�
è
Entit�
Gram
(s
approximateValue
Entit�
and 7.5
Entit�
è un
membro
di
Entit�
Entit�
è un'
istanza
di
CoffeeGrind
attribute
Entit�
and
FineGrind
Entit�
è
localizzato
in
Entit�
Entit�
è un'
istanza
di
Filter
Entit�
è un'
istanza
di
Spostamento
Entit�
è uno
strumento
per
Entit�
Entit�
è un
paziente
di
Entit�
la
fine
di il
tempo
di esistenza di
Entit�
is
tra
la
fine
di il
tempo
di esistenza di
Entit�
e la
fine
di il
tempo
di esistenza di
Entit�
vales
durante
PosizioneTemporale
(=>
(
instance
?EXPERIMENT
Experimenting
)
(
exists
(?QUALIFYING_EVENTS)
(
and
(
instance
?QUALIFYING_EVENTS
Collection
)
(
forall
(?EVENT)
(=>
(
and
(
instance
?EVENT
Process
)
(
or
(
experimentalControlProcess
?EXPERIMENT ?EVENT)
(
experimentalVariableProcess
?EXPERIMENT ?EVENT)))
(
member
?EVENT ?QUALIFYING_EVENTS)))
(
equal
(
QualifyingEventsFn
?EXPERIMENT) ?QUALIFYING_EVENTS))))
UXExperimentalTerms.kif 4208-4223
Experimenting
è un'
istanza
di
Experimenting
Entit�
_EVENTS
Entit�
_EVENTS è un'
istanza
di
InsiemeConcreto
Processo
Processo
è un'
istanza
di
Processo
experimentalControlProcess
Experimenting
and
Processo
experimentalVariableProcess
Experimenting
and
Processo
Processo
è un
membro
di
Entit�
_EVENTS
QualifyingEventsFn
Experimenting
is
uguale
a
Entit�
_EVENTS
(=>
(
instance
?EXPERIMENT
Experimenting
)
(
exists
(?TREATED_USERS)
(
and
(
instance
?TREATED_USERS
Collection
)
(
forall
(?USER)
(=>
(
and
(
instance
?USER
Human
)
(
treatedUser
?USER ?EXPERIMENT))
(
member
?USER ?TREATED_USERS)))
(
equal
(
TreatedUsersFn
?EXPERIMENT) ?TREATED_USERS))))
UXExperimentalTerms.kif 4281-4293
Experimenting
è un'
istanza
di
Experimenting
Entit�
_USERS
Entit�
_USERS è un'
istanza
di
InsiemeConcreto
Umano
Umano
è un'
istanza
di
Umano
treatedUser
Umano
and
Experimenting
Umano
è un
membro
di
Entit�
_USERS
TreatedUsersFn
Experimenting
is
uguale
a
Entit�
_USERS
(=>
(
instance
?LGP
LargeGroupProcess
)
(
exists
(?G ?M)
(
and
(
instance
?G
Collection
)
(
member
?M ?G)
(
memberType
?G
AutonomousAgent
))))
Mid-level-ontology.kif 7959-7965
Entit�
è un'
istanza
di
LargeGroupProcess
InsiemeConcreto
Entit�Concreta
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
memberType
InsiemeConcreto
and
AutonomousAgent
(=>
(
instance
?P
Polymer
)
(
exists
(?COLL ?M)
(
and
(
equal
?P ?COLL)
(
instance
?COLL
Collection
)
(
member
?M ?COLL)
(
instance
?M
Monomer
))))
VirusProteinAndCellPart.kif 72-79
Entit�
è un'
istanza
di
Polymer
InsiemeConcreto
Entit�Concreta
Entit�
is
uguale
a
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
Monomer
(=>
(
instance
?PROCESS
Sleeting
)
(
exists
(?STUFF ?R ?S ?MELT)
(
and
(
instance
?STUFF
Collection
)
(
objectTransferred
?PROCESS ?STUFF)
(
instance
?R
Raindrop
)
(
instance
?S
Snowflake
)
(
member
?R ?STUFF)
(
member
?S ?STUFF)
(
instance
?MELT
Melting
)
(
subProcess
?MELT ?PROCESS)
(
patient
?MELT ?S))))
Weather.kif 1142-1154
Trasferimento
è un'
istanza
di
Sleeting
InsiemeConcreto
Entit�Concreta
,
Entit�Concreta
and
Processo
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
objectTransferred
Trasferimento
and
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
Raindrop
Entit�Concreta
è un'
istanza
di
Snowflake
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
Processo
è un'
istanza
di
Sciogliere
Processo
è un
sottoprocesso
di
Trasferimento
Entit�Concreta
è un
paziente
di
Processo
(=>
(
instance
?RAIN
Raining
)
(
exists
(?CLTN ?R ?CLASS)
(
and
(
instance
?CLTN
Collection
)
(
instance
?R
Water
)
(
instance
?R
LiquidDrop
)
(
instance
?R ?CLASS
(
member
?R ?CLTN)
(
objectTransferred
?RAIN ?CLTN)
(
defaultMinimumSphereRadius
?CLASS
(
MeasureFn
0.1
Millimeter
))
(
defaultMaximumSphereRadius
?CLASS
(
MeasureFn
9.0
Millimeter
))))))
Weather.kif 1041-1054
Entit�
è un'
istanza
di
Raining
Entit�
Entit�
and
Classe
Entit�
è un'
istanza
di
InsiemeConcreto
Entit�
è un'
istanza
di
Acqua
Entit�
è un'
istanza
di
LiquidDrop
Entit�
è un'
istanza
di
Classe
(=>
(
instance
?ROOM
SelfServiceLaundry
)
(
exists
(?WASHER ?DRYER)
(
and
(
instance
?WASHER
Collection
)
(
memberType
?WASHER
ClothesWashingMachine
)
(
located
?WASHER ?ROOM)
(
instance
?DRYER
Collection
)
(
memberType
?DRYER
ClothesDryer
)
(
located
?DRYER ?ROOM))))
Mid-level-ontology.kif 25459-25468
Oggetto
è un'
istanza
di
SelfServiceLaundry
InsiemeConcreto
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
memberType
InsiemeConcreto
and
ClothesWashingMachine
InsiemeConcreto
è
localizzato
in
Oggetto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
memberType
InsiemeConcreto
and
ClothesDryer
InsiemeConcreto
è
localizzato
in
Oggetto
(=>
(
instance
?S
Snowflake
)
(
exists
(?SNOW)
(
and
(
instance
?SNOW
Snow
)
(
instance
?SNOW
Collection
)
(
member
?S ?SNOW))))
Weather.kif 2996-3002
Entit�Concreta
è un'
istanza
di
Snowflake
Entit�Concreta
NOW
Entit�Concreta
NOW è un'
istanza
di
Snow
Entit�Concreta
NOW è un'
istanza
di
InsiemeConcreto
Entit�Concreta
è un
membro
di
Entit�Concreta
NOW
(=>
(
instance
?SNOW
Snowing
)
(
exists
(?CLTN ?I)
(
and
(
instance
?CLTN
Collection
)
(
instance
?I
Ice
)
(
attribute
?I
MonoCrystalline
)
(
member
?I ?CLTN)
(
objectTransferred
?SNOW ?CLTN))))
Weather.kif 1125-1133
Trasferimento
è un'
istanza
di
Snowing
InsiemeConcreto
Oggetto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Oggetto
è un'
istanza
di
Ice
attribute
Oggetto
and
MonoCrystalline
Oggetto
è un
membro
di
InsiemeConcreto
objectTransferred
Trasferimento
and
InsiemeConcreto
(=>
(
instance
?STUFF
Hailstone
)
(
exists
(?PROCESS ?CLTN)
(
and
(
instance
?PROCESS
Hailing
)
(
instance
?CLTN
Collection
)
(
objectTransferred
?PROCESS ?CLTN)
(
member
?STUFF ?CLTN))))
Weather.kif 3057-3064
Entit�Concreta
è un'
istanza
di
Hailstone
Trasferimento
InsiemeConcreto
Trasferimento
è un'
istanza
di
Hailing
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
objectTransferred
Trasferimento
and
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
(=>
(
instance
?X
Chromotin
)
(
exists
(?COLL ?N)
(
and
(
instance
?COLL
Collection
)
(
located
?COLL ?X)
(
member
?COLL ?N)
(
instance
?N
Nucleosome
))))
VirusProteinAndCellPart.kif 609-616
Oggetto
è un'
istanza
di
Chromotin
Entit�Concreta
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
InsiemeConcreto
Entit�Concreta
è
localizzato
in
Oggetto
Entit�Concreta
è un
membro
di
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
Nucleosome
(=>
(
instance
?X
ElectricalOutlet
)
(
exists
(?HOLE)
(
and
(
instance
?HOLE
Collection
)
(
memberType
?HOLE
HoleRegion
)
(
part
?HOLE ?X))))
Mid-level-ontology.kif 25944-25950
Oggetto
è un'
istanza
di
ElectricalOutlet
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
memberType
InsiemeConcreto
and
apertura
InsiemeConcreto
è una
parte
di
Oggetto
(=>
(
instance
?X
ElectricalOutlet
)
(
hasPurpose
?X
(
exists
(?POWER ?WIRE)
(
and
(
instance
?POWER
PowerSource
)
(
instance
?WIRE
Collection
)
(
memberType
?WIRE
WireLine
)
(
connectsEngineeringComponents
?WIRE ?X ?POWER)))))
Mid-level-ontology.kif 25952-25960
Entit�Concreta
è un'
istanza
di
ElectricalOutlet
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
PowerSource
Entit�
è un'
istanza
di
InsiemeConcreto
memberType
Entit�
and
WireLine
Entit�
connette
Entit�Concreta
e
Entit�
(=>
(
instance
?X
HighRise
)
(
exists
(?LEVELS ?NUM)
(
and
(
instance
?LEVELS
Collection
)
(
forall
(?FLR)
(=>
(
and
(
instance
?FLR
BuildingLevel
)
(
part
?FLR ?X))
(
member
?FLR ?LEVELS)))
(
memberCount
?LEVELS ?NUM)
(
greaterThanOrEqualTo
?NUM 10))))
Mid-level-ontology.kif 26541-26553
Oggetto
è un'
istanza
di
HighRise
InsiemeConcreto
NumeroIntero
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Oggetto
Oggetto
è un'
istanza
di
BuildingLevel
Oggetto
è una
parte
di
Oggetto
Oggetto
è un
membro
di
InsiemeConcreto
memberCount
InsiemeConcreto
and
NumeroIntero
NumeroIntero
è
pi
ù grande di o uguale a 10
(=>
(
optimalGrindSizeForMakingCoffee
?CLASS ?A)
(
exists
(?CM ?COLL ?C)
(
and
(
instance
?CM ?CLASS)
(
patient
?CM ?COLL)
(
instance
?COLL
Collection
)
(
member
?C ?COLL)
(
instance
?C
CoffeeGrind
)
(
attribute
?C ?A))))
Food.kif 728-737
optimalGrindSizeForMakingCoffee
CoffeeMaking
and
CoffeeGrindAttribute
Processo
InsiemeConcreto
and
Oggetto
Processo
è un'
istanza
di
CoffeeMaking
InsiemeConcreto
è un
paziente
di
Processo
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Oggetto
è un
membro
di
InsiemeConcreto
Oggetto
è un'
istanza
di
CoffeeGrind
attribute
Oggetto
and
CoffeeGrindAttribute
(=>
(
rainfallIntensity
?AREA ?TIME ?RATE)
(
exists
(?RAIN ?CLTN ?R ?BUCKET ?TOP ?BOTTOM ?RAINFALL)
(
and
(
instance
?RAIN
Raining
)
(
eventLocated
?RAIN ?AREA)
(
during
(
WhenFn
?RAIN) ?TIME)
(
instance
?CLTN
Collection
)
(
objectTransferred
?RAIN ?CLTN)
(
instance
?R
Water
)
(
member
?R ?CLTN)
(
instance
?BUCKET
Container
)
(
bottom
?BOTTOM ?BUCKET)
(
attribute
?BOTTOM
Flat
)
(
located
?BUCKET ?AREA)
(
holdsDuring
(
BeginFn
?TIME)
(
attribute
?BUCKET
ContainerEmpty
))
(
holdsDuring
(
EndFn
?TIME)
(
and
(
located
?CLTN ?BUCKET)
(
top
?TOP ?CLTN)
(
depth
?TOP ?BOTTOM ?RAINFALL)
(
equal
?RAINFALL
(
MultiplicationFn
?TIME ?RATE)))))))
Weather.kif 2813-2838
rainfallIntensity
AreaGeografica
,
IntervalloTemporale
and
FunzioneDiQuantit�
Trasferimento
InsiemeConcreto
,
Entit�Concreta
,
OggettoIntegro
,
Entit�
,
OggettoIntegro
and
Trasferimento
FALL
Trasferimento
è un'
istanza
di
Raining
eventLocated
Trasferimento
and
AreaGeografica
il
tempo
di esistenza di
Trasferimento
has luogo
durante
IntervalloTemporale
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
objectTransferred
Trasferimento
and
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
Acqua
Entit�Concreta
è un
membro
di
InsiemeConcreto
OggettoIntegro
è un'
istanza
di
Container
il
fondo
di
OggettoIntegro
è
OggettoIntegro
attribute
OggettoIntegro
and
Flat
OggettoIntegro
è
localizzato
in
AreaGeografica
attribute
OggettoIntegro
and
ContainerEmpty
vales
durante
l'
inizio
di
IntervalloTemporale
InsiemeConcreto
è
localizzato
in
OggettoIntegro
il
vertice
InsiemeConcreto
è
Entit�
depth
Entit�
,
OggettoIntegro
and
Trasferimento
FALL
Trasferimento
FALL is
uguale
a
IntervalloTemporale
+
FunzioneDiQuantit�
vales
durante
la
fine
di
IntervalloTemporale
(=>
(
siteCatalog
?DATABASE ?WEBSITE)
(
exists
(?PART ?PRODUCTS ?BUYING)
(
and
(
instance
?PRODUCTS
Collection
)
(
part
?PART ?DATABASE)
(
represents
?PART ?PRODUCTS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?PRODUCTS)
(
and
(
instance
?MEMBER
Physical
)
(
capability
(
KappaFn
?BUYING
(
and
(
instance
?BUYING
Buying
)
(
eCommerceSite
?BUYING ?WEBSITE)))
patient
?MEMBER)))))))
UXExperimentalTerms.kif 2242-2259
siteCatalog
Database
and
WebSite
Oggetto
InsiemeConcreto
and
Stringa
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Oggetto
è una
parte
di
Database
Oggetto
esprime
InsiemeConcreto
Oggetto
Oggetto
è un
membro
di
InsiemeConcreto
Oggetto
è un'
istanza
di
Entit�Concreta
Oggetto
è
capace
di fare la
classe
descritta da
Stringa
nel ruolo
patient
(=>
(
subBrand
?BRAND1 ?BRAND2)
(
exists
(?COLL ?OBJ)
(
and
(
instance
?COLL
Collection
)
(
represents
?BRAND1 ?COLL)
(
member
?OBJ ?COLL)
(
represents
?BRAND2 ?OBJ))))
Hotel.kif 1335-1342
subBrand
Entit�
and
Entit�
InsiemeConcreto
Entit�Concreta
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Entit�
esprime
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�
esprime
Entit�Concreta
(=>
(
tTest
?SAMPLE_COLL1 ?SAMPLE_COLL2 ?PROB)
(
exists
(?POP1 ?POP2 ?EXPERIMENT)
(
and
(
instance
?POP1
Collection
)
(
instance
?POP2
Collection
)
(
statisticalPopulation
?SAMPLE_COLL1 ?POP1 ?EXPERIMENT)
(
statisticalPopulation
?SAMPLE_COLL2 ?POP2 ?EXPERIMENT)
(
equal
?PROB
(
ProbabilityFn
(
equal
?POP1 ?POP2))))))
UXExperimentalTerms.kif 607-617
tTest
Entit�
_COLL1,
Entit�
_COLL2 and
NumeroReale
InsiemeConcreto
InsiemeConcreto
and
Experimenting
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
statisticalPopulation
Entit�
_COLL1,
InsiemeConcreto
and
Experimenting
statisticalPopulation
Entit�
_COLL2,
InsiemeConcreto
and
Experimenting
NumeroReale
is
uguale
a la
probabilit
à di
InsiemeConcreto
is
uguale
a
InsiemeConcreto
(=>
(
userDatabase
?DATABASE ?WEBSITE)
(
exists
(?PART ?USERS)
(
and
(
instance
?USERS
Collection
)
(
part
?PART ?DATABASE)
(
represents
?PART ?USERS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?USERS)
(
and
(
instance
?MEMBER
AutonomousAgent
)
(
exists
(?ACCESSING ?PAGE)
(
and
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
patient
?ACCESSING
Page
)
(
agent
?ACCESSING
AutonomousAgent
)
(
component
?PAGE ?WEBSITE)))))))))
UXExperimentalTerms.kif 2173-2191
userDatabase
Database
and
WebSite
Oggetto
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Oggetto
è una
parte
di
Database
Oggetto
esprime
InsiemeConcreto
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
AutonomousAgent
Processo
OggettoCorpuscolare
Processo
è un'
istanza
di
AccessingWebPage
OggettoCorpuscolare
è un'
istanza
di
WebPage
Page
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
OggettoCorpuscolare
è un
componente
di
WebSite
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