exists
(=>
(
and
(
attribute
?X ?HEMI)
(
instance
?HEMI
HemisphereFigure
))
(
exists
(?Y)
(
and
(
instance
?Y
Sphere
)
(
half
?X ?Y))))
Mid-level-ontology.kif 26548-26555
attribute
Oggetto
and
Attributo
Attributo
è un'
istanza
di
HemisphereFigure
Oggetto
Oggetto
è un'
istanza
di
Sphere
half
Oggetto
and
Oggetto
(=>
(
and
(
attribute
?X ?SHAPE)
(
instance
?X
FourPosterBed
)
(
instance
?SHAPE
Quadrilateral
)
(
sideOfFigure
?SIDE1 ?SHAPE)
(
sideOfFigure
?SIDE2 ?SHAPE)
(
not
(
equal
?SIDE1 ?SIDE2)))
(
exists
(?POST ?FLOOR ?CORNER1 ?CORNER)
(
and
(
part
?POST ?X)
(
instance
?FLOOR
Floor
)
(
orientation
?X ?FLOOR
On
)
(
orientation
?POST ?FLOOR
Vertical
)
(
pointOfIntersection
?SIDE1 ?SIDE2 ?CORNER1)
(
attribute
?CORNER ?CORNER1)
(
meetsSpatially
?CORNER ?POST))))
Mid-level-ontology.kif 4078-4095
attribute
Oggetto
and
GeometricFigure
Oggetto
è un'
istanza
di
FourPosterBed
GeometricFigure
è un'
istanza
di
Quadrilateral
sideOfFigure
OneDimensionalFigure
and
GeometricFigure
sideOfFigure
OneDimensionalFigure
and
GeometricFigure
OneDimensionalFigure
is
uguale
a
OneDimensionalFigure
Oggetto
Oggetto
,
GeometricPoint
and
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Floor
Oggetto
è
On
a
Oggetto
Oggetto
è
Vertical
a
Oggetto
pointOfIntersection
OneDimensionalFigure
,
OneDimensionalFigure
and
GeometricPoint
attribute
Oggetto
and
GeometricPoint
Oggetto
incontra
s
Oggetto
(=>
(
and
(
attribute
?X ?Y)
(
instance
?Y
HotelLevelAttribute
))
(
and
(
instance
?X
BuildingLevel
)
(
exists
(?BLDG)
(
and
(
instance
?BLDG
HotelBuilding
)
(
part
?X ?BLDG)))))
Hotel.kif 1207-1216
attribute
Oggetto
and
Attributo
Attributo
è un'
istanza
di
HotelLevelAttribute
Oggetto
è un'
istanza
di
BuildingLevel
Oggetto
Oggetto
è un'
istanza
di
HotelBuilding
Oggetto
è una
parte
di
Oggetto
(=>
(
and
(
attribute
?X ?Y)
(
instance
?Y
TemperatureAttribute
)
(
instance
?X
Object
))
(
exists
(?TEMP)
(
and
(
measure
?X ?TEMP)
(
instance
?TEMP
TemperatureMeasure
)
(
attribute
?TEMP ?Y))))
Mid-level-ontology.kif 25675-25684
attribute
Oggetto
and
Attributo
Attributo
è un'
istanza
di
TemperatureAttribute
Oggetto
è un'
istanza
di
Oggetto
Oggetto
la
misura
Oggetto
è
Oggetto
Oggetto
è un'
istanza
di
MisuraDiTemperatura
attribute
Oggetto
and
Attributo
(=>
(
and
(
attribute
?X
CommunalAttribute
)
(
instance
?X
Table
)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
)
(
eventLocated
?E1 ?X))
(
modalAttribute
(
exists
(?GRP2 ?E2 ?X2)
(
and
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?GRP2
GroupOfPeople
)
(
eventLocated
?E2 ?X2)
(
meetsTemporally
(
WhenFn
?E1)
(
WhenFn
?E2))
(
equal
?X ?X2)))
Possibility
))
Dining.kif 1207-1224
attribute
Oggetto
and
CommunalAttribute
Oggetto
è un'
istanza
di
Table
Processo
è un'
istanza
di
Mangiare
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
GroupOfPeople
eventLocated
Processo
and
Oggetto
l'affermazione
Entit�
Entit�
and
Oggetto
2
Entit�
è un'
istanza
di
Mangiare
Entit�
è un
agente
di
Entit�
AutonomousAgent
is
uguale
a
Entit�
Entit�
è un'
istanza
di
GroupOfPeople
eventLocated
Entit�
and
Oggetto
2 il
tempo
di esistenza di
Processo
incontra
s il
tempo
di esistenza di
Entit�
Oggetto
is
uguale
a
Oggetto
2 ha il modello di forza di
Possibility
(=>
(
and
(
attribute
?X
DeepSeaCoastalAndGreatLakesWaterTransportation
)
(
instance
?X
TransportationCompany
))
(
exists
(?SERVICE ?PLACE)
(
and
(
instance
?SERVICE
WaterTransportationService
)
(
serviceProvider
?SERVICE ?X)
(
eventLocated
?SERVICE ?PLACE)
(
instance
?PLACE
WaterArea
)
(
located
?X
NorthAmerica
))))
naics.kif 8120-8130
attribute
AgenteCognitivo
and
DeepSeaCoastalAndGreatLakesWaterTransportation
AgenteCognitivo
è un'
istanza
di
TransportationCompany
ServiceProcess
Oggetto
ServiceProcess
è un'
istanza
di
WaterTransportationService
serviceProvider
ServiceProcess
and
AgenteCognitivo
eventLocated
ServiceProcess
and
Oggetto
Oggetto
è un'
istanza
di
SuperficieAcquatica
AgenteCognitivo
è
localizzato
in
NorthAmerica
(=>
(
and
(
attribute
?X
DutyFree
)
(
instance
?X
Product
))
(
not
(
exists
(?DUTY)
(
and
(
instance
?DUTY
DutyTax
)
(
patient
?DUTY ?X)))))
Hotel.kif 1466-1474
attribute
Oggetto
and
DutyFree
Oggetto
è un'
istanza
di
Prodotto
Processo
Processo
è un'
istanza
di
DutyTax
Oggetto
è un
paziente
di
Processo
(=>
(
and
(
attribute
?X
DutyFree
)
(
instance
?X
Store
))
(
exists
(?AREA ?OBJ ?O ?SELL)
(
and
(
instance
?AREA
GeopoliticalArea
)
(
located
?X ?AREA)
(
subclass
?O
Object
)
(
importCommodityType
?AREA ?O)
(
instance
?OBJ ?O)
(
instance
?SELL
Selling
)
(
patient
?SELL ?OBJ)
(
located
?SELL ?X))))
Hotel.kif 1478-1491
attribute
Oggetto
and
DutyFree
Oggetto
è un'
istanza
di
Store
AreaGeopolitica
Entit�
,
Oggetto
and
Processo
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
Oggetto
è
localizzato
in
AreaGeopolitica
Oggetto
è una
sottoclasse
di
Oggetto
importCommodityType
AreaGeopolitica
and
Oggetto
Entit�
è un'
istanza
di
Oggetto
Processo
è un'
istanza
di
Vendere
Entit�
è un
paziente
di
Processo
Processo
è
localizzato
in
Oggetto
(=>
(
and
(
attribute
?X
Historical
)
(
instance
?X
City
))
(
exists
(?EV)
(
and
(
instance
?EV
Physical
)
(
attribute
?EV
Historical
)
(
eventLocated
?EV ?X))))
Mid-level-ontology.kif 26582-26590
attribute
Oggetto
and
Historical
Oggetto
è un'
istanza
di
Citt�
Oggetto
Oggetto
è un'
istanza
di
Entit�Concreta
attribute
Oggetto
and
Historical
eventLocated
Oggetto
and
Oggetto
(=>
(
and
(
attribute
?X
Multilingual
)
(
instance
?SPEAK
Speaking
)
(
agent
?SPEAK ?X))
(
modalAttribute
(
exists
(?LANG1 ?LANG2)
(
and
(
instance
?LANG1
SpokenHumanLanguage
)
(
instance
?LANG2
SpokenHumanLanguage
)
(
not
(
equal
?LANG1 ?LANG2))
(
or
(
patient
?SPEAK ?LANG1)
(
patient
?SPEAK ?LANG2))))
Possibility
))
Mid-level-ontology.kif 25736-25749
attribute
AutonomousAgent
and
Multilingual
Processo
è un'
istanza
di
Speaking
Processo
è un
agente
di
AutonomousAgent
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
SpokenHumanLanguage
Entit�
è un'
istanza
di
SpokenHumanLanguage
Entit�
is
uguale
a
Entit�
Entit�
è un
paziente
di
Processo
Entit�
è un
paziente
di
Processo
ha il modello di forza di
Possibility
(=>
(
and
(
attribute
?X
Produce
)
(
instance
?X
FruitOrVegetable
))
(
hasPurpose
?X
(
exists
(?H)
(
and
(
instance
?H
Harvesting
)
(
result
?H ?X)
(
instance
?X
(
FoodForFn
Human
))))))
Economy.kif 4195-4204
attribute
Oggetto
and
Produce
Oggetto
è un'
istanza
di
FruttaOVerdura
Oggetto
ha
scopo
Entit�
Entit�
è un'
istanza
di
Harvesting
Oggetto
è un
risultato
di
Entit�
Oggetto
è un'
istanza
di
FoodForFn
Umano
(=>
(
and
(
attribute
?X
Suite
)
(
instance
?X
HotelUnit
))
(
exists
(?R1 ?R2)
(
and
(
instance
?R1
HotelRoom
)
(
instance
?R2
HotelRoom
)
(
orientation
?R1 ?X
Inside
)
(
orientation
?R2 ?X
Inside
)
(
not
(
equal
?R1 ?R2)))))
Hotel.kif 1003-1014
attribute
Oggetto
and
Suite
Oggetto
è un'
istanza
di
HotelUnit
Oggetto
Oggetto
Oggetto
è un'
istanza
di
HotelRoom
Oggetto
è un'
istanza
di
HotelRoom
Oggetto
è
Inside
a
Oggetto
Oggetto
è
Inside
a
Oggetto
Oggetto
is
uguale
a
Oggetto
(=>
(
and
(
attribute
?X
TravelerAccommodation
)
(
capability
RoomCleaningService
agent
?X))
(
exists
(?MAID ?HOTELROOM)
(
and
(
employs
?X ?MAID)
(
attribute
?MAID
Maid
)
(
instance
?HOTELROOM
HotelUnit
)
(
part
?HOTELROOM
(
PropertyFn
?X))
(
capability
RoomCleaningService
patient
?HOTELROOM)
(
capability
RoomCleaningService
serviceProvider
?MAID))))
Hotel.kif 1935-1946
attribute
AutonomousAgent
and
TravelerAccommodation
AutonomousAgent
è
capace
di fare
RoomCleaningService
nel ruolo
agent
AgenteCognitivo
Oggetto
AutonomousAgent
impiega
s
AgenteCognitivo
attribute
AgenteCognitivo
and
Maid
Oggetto
è un'
istanza
di
HotelUnit
Oggetto
è una
parte
di
appartenenze
di
AutonomousAgent
Oggetto
è
capace
di fare
RoomCleaningService
nel ruolo
patient
AgenteCognitivo
è
capace
di fare
RoomCleaningService
nel ruolo
serviceProvider
(=>
(
and
(
attribute
?X
Waiter
)
(
instance
?X
Human
)
(
employs
?REST ?X)
(
instance
?REST
Restaurant
)
(
customer
?CUST ?REST)
(
located
?CUST ?TABLE)
(
instance
?TABLE
Table
))
(
exists
(?DINING ?C ?FOOD ?KITCHEN)
(
and
(
possesses
?REST ?KITCHEN)
(
instance
?KITCHEN
KitchenArea
)
(
instance
?DINING
DiningArea
)
(
located
?TABLE ?DINING)
(
hasPurpose
?X
(
and
(
instance
?C
Carrying
)
(
agent
?C ?X)
(
origin
?C ?KITCHEN)
(
destination
?C ?TABLE)
(
patient
?C ?FOOD)
(
instance
?FOOD
(
FoodForFn
Human
)))))))
Mid-level-ontology.kif 20600-20622
attribute
AgenteCognitivo
and
Waiter
AgenteCognitivo
è un'
istanza
di
Umano
AutonomousAgent
impiega
s
AgenteCognitivo
AutonomousAgent
è un'
istanza
di
Restaurant
customer
AgenteCognitivo
and
AutonomousAgent
AgenteCognitivo
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
Table
Oggetto
Entit�
,
Entit�
and
Oggetto
AutonomousAgent
possiede
es
Oggetto
Oggetto
è un'
istanza
di
KitchenArea
Oggetto
è un'
istanza
di
DiningArea
Oggetto
è
localizzato
in
Oggetto
AgenteCognitivo
ha
scopo
Entit�
è un'
istanza
di
Carrying
Entit�
è un
agente
di
AgenteCognitivo
Entit�
si
originas in
Oggetto
Entit�
fine
s in
Oggetto
Entit�
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
FoodForFn
Umano
(=>
(
and
(
attribute
?X
WheelchairAccessible
)
(
or
(
instance
?X
Building
)
(
instance
?X
Room
)))
(
modalAttribute
(
exists
(?MOTION ?WHEELCHAIR)
(
and
(
instance
?MOTION
Motion
)
(
instrument
?MOTION ?WHEELCHAIR)
(
instance
?WHEELCHAIR
Wheelchair
)
(
eventLocated
?MOTION ?X)))
Possibility
))
Mid-level-ontology.kif 26147-26159
attribute
Oggetto
and
WheelchairAccessible
Oggetto
è un'
istanza
di
Costruzione
Oggetto
è un'
istanza
di
Stanza
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Movimento
Entit�
è uno
strumento
per
Entit�
Entit�
è un'
istanza
di
Wheelchair
eventLocated
Entit�
and
Oggetto
ha il modello di forza di
Possibility
(=>
(
and
(
birthdate
?A ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?CLASS ?FUTURE)
(
and
(
birthday
?A ?CLASS)
(
subclass
?CLASS
Day
)
(
instance
?FUTURE
Integer
)
(
equal
?CLASS
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?FUTURE))))
(
greaterThan
?FUTURE ?Y))))
Mid-level-ontology.kif 24235-24245
birthdate
Umano
and
Giorno
Giorno
è un'
istanza
di il
giorno
NumeroInteroPositivo
Giorno
NumeroIntero
birthday
Umano
and
Giorno
Giorno
è una
sottoclasse
di
Giorno
NumeroIntero
è un'
istanza
di
NumeroIntero
Giorno
is
uguale
a il
giorno
NumeroInteroPositivo
NumeroIntero
è
pi
ù grande di
NumeroIntero
(=>
(
and
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
instance
?SUBSTANCE ?TYPE)
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
)
(
greaterThanOrEqualTo
?TEMP2 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Gas
))
(
exists
(?BOIL)
(
and
(
overlapsTemporally
(
WhenFn
?BOIL) ?TIME)
(
instance
?BOIL
Boiling
)
(
patient
?BOIL ?SUBSTANCE)))))
Merge.kif 13863-13876
boilingPoint
SostanzaPura
and
NumeroReale
Unit�DiMisura
(s
Entit�
è un'
istanza
di
SostanzaPura
la
misura
Entit�
è
NumeroReale
Unit�DiMisura
(s vales
durante
IntervalloTemporale
Unit�DiMisura
è un'
istanza
di
UnitOfTemperature
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
attribute
Entit�
and
Gas
vales
durante
IntervalloTemporale
Processo
IntervalloTemporale
sovrappone
s il
tempo
di esistenza di
Processo
Processo
è un'
istanza
di
Bollire
Entit�
è un
paziente
di
Processo
(=>
(
and
(
borrower
?Loan ?Borrower)
(
lender
?Loan ?Lender)
(
agreementPeriod
?Loan ?Period)
(
interestEarned
?Loan ?Interest ?Period))
(
exists
(?Payment)
(
and
(
origin
?Payment ?Borrower)
(
transactionAmount
?Payment ?Interest)
(
destination
?Payment ?Lender))))
FinancialOntology.kif 1261-1271
borrower
Loan
and
AgenteCognitivo
lender
Loan
and
AgenteCognitivo
agreementPeriod
Loan
and
IntervalloTemporale
interestEarned
Loan
,
Interest
and
IntervalloTemporale
ScambioFinanziario
ScambioFinanziario
si
originas in
AgenteCognitivo
transactionAmount
ScambioFinanziario
and
Interest
ScambioFinanziario
fine
s in
AgenteCognitivo
(=>
(
and
(
buys
?CUST ?AGENT ?ITEM)
(
instance
?ITEM
Physical
))
(
exists
(?TRANS)
(
and
(
instance
?TRANS
Buying
)
(
patient
?TRANS ?ITEM)
(
agent
?TRANS ?CUST)
(
origin
?TRANS ?AGENT))))
Mid-level-ontology.kif 29951-29960
buys
AgenteCognitivo
,
AutonomousAgent
and
Entit�
Entit�
è un'
istanza
di
Entit�Concreta
Processo
Processo
è un'
istanza
di
Acquistare
Entit�
è un
paziente
di
Processo
Processo
è un
agente
di
AgenteCognitivo
Processo
si
originas in
AutonomousAgent
(=>
(
and
(
buys
?CUST ?AGENT ?ITEM)
(
instance
?ITEM
Proposition
))
(
exists
(?TRANS ?PROC)
(
and
(
agent
?TRANS ?CUST)
(
realization
?PROC ?ITEM)
(
instance
?TRANS
Buying
)
(
patient
?TRANS ?PROC)
(
origin
?TRANS ?AGENT))))
Mid-level-ontology.kif 29962-29972
buys
AgenteCognitivo
,
AutonomousAgent
and
Proposizione
Proposizione
è un'
istanza
di
Proposizione
Processo
Processo
Processo
è un
agente
di
AgenteCognitivo
Processo
esprime
il contenuto di
Proposizione
Processo
è un'
istanza
di
Acquistare
Processo
è un
paziente
di
Processo
Processo
si
originas in
AutonomousAgent
(=>
(
and
(
capability
?PC ?ROLE ?MV)
(
subclass
?PC
Shooting
))
(
exists
(?WEAPON)
(
and
(
instance
?WEAPON
Weapon
)
(
part
?WEAPON ?MV)
(
capability
?PC ?ROLE ?WEAPON))))
MilitaryDevices.kif 48-56
Oggetto
è
capace
di fare
Processo
nel ruolo
RuoloSemantico
Processo
è una
sottoclasse
di
Sparare
Oggetto
Oggetto
è un'
istanza
di
Arma
Oggetto
è una
parte
di
Oggetto
Oggetto
è
capace
di fare
Processo
nel ruolo
RuoloSemantico
(=>
(
and
(
capability
ValetParking
agent
?AGENT)
(
customer
?CUST ?AGENT)
(
located
?AGENT ?LOC)
(
instance
?D
Arriving
)
(
agent
?D ?CUST)
(
patient
?D ?VEHICLE)
(
destination
?D ?LOC))
(
exists
(?VALET)
(
and
(
occupiesPosition
?VALET
Valet
?AGENT)
(
modalAttribute
(
exists
(?VP ?PARK)
(
and
(
instance
?VP
ValetParking
)
(
agent
?VP ?VALET)
(
patient
?VP ?VEHICLE)
(
destination
?VP ?PARK)
(
instance
?PARK
ParkingRegion
)))
Possibility
))))
TransportDetail.kif 153-172
Organizzazione
è
capace
di fare
ValetParking
nel ruolo
agent
customer
AgenteCognitivo
and
Organizzazione
Organizzazione
è
localizzato
in
Oggetto
Processo
è un'
istanza
di
Arriving
Processo
è un
agente
di
AgenteCognitivo
Entit�
è un
paziente
di
Processo
Processo
fine
s in
Oggetto
Umano
Umano
occupa la
posizione
di
Valet
in
Organizzazione
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
ValetParking
Entit�
è un
agente
di
Umano
Entit�
è un
paziente
di
Entit�
Entit�
fine
s in
Entit�
Entit�
è un'
istanza
di
ParkingRegion
ha il modello di forza di
Possibility
(=>
(
and
(
cardCode
?Code ?Card)
(
cardAccount
?Card ?Account))
(
exists
(?Encoding)
(
and
(
instance
?Encoding
Encoding
)
(
patient
?Encoding ?Account))))
FinancialOntology.kif 3504-3511
cardCode
OggettoSemiotico
and
BankCard
cardAccount
BankCard
and
FinancialAccount
Processo
Processo
è un'
istanza
di
Codificare
FinancialAccount
è un
paziente
di
Processo
(=>
(
and
(
checkOutTime
?HOTEL ?TIME)
(
guest
?GUEST ?HOTEL))
(
expects
?HOTEL
(
exists
(?T ?C)
(
and
(
instance
?T ?TIME)
(
patient
?C ?GUEST)
(
instance
?C
CheckOutService
)
(
agent
?C ?HOTEL)
(
before
(
BeginFn
(
WhenFn
?C)) ?T)))))
Hotel.kif 684-695
checkOutTime
AgenteCognitivo
and
PuntoTemporale
guest
AgenteCognitivo
and
AgenteCognitivo
expects
AgenteCognitivo
and
Entit�
Entit�
Entit�
è un'
istanza
di
PuntoTemporale
AgenteCognitivo
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
CheckOutService
Entit�
è un
agente
di
AgenteCognitivo
l'
inizio
di il
tempo
di esistenza di
Entit�
succede%{s}
prima
di
Entit�
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
subProposition
UniversalSuffrageLaw
(
RegionalLawFn
?POLITY)))
(
confersRight
(
forall
(?VOTINGAGE ?AGE ?ELECTION)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?AGENT)))))
(
RegionalLawFn
?POLITY) ?AGENT))
Government.kif 1132-1152
Umano
è un
cittadino
di
Nazione
UniversalSuffrageLaw
è una
sottoproposizione
RegionalLawFn
Nazione
RegionalLawFn
Nazione
permette
a
Umano
di compiere il compito di tipo
Entit�
Entit�
and
Entit�
Umano
è un
cittadino
di
Nazione
suffrageAgeMinimum
Nazione
and
Entit�
YearDuration
(s il
et
à di
Umano
è
Entit�
YearDuration
(s
Entit�
è
pi
ù grande di o uguale a
Entit�
Entit�
è un'
istanza
di
ElectionFn
Nazione
Entit�
Entit�
è un'
istanza
di
VotingFn
Entit�
Entit�
è un
agente
di
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