destination
(=>
(
and
(
instance
?BORROW
Borrowing
)
(
agent
?BORROW ?AGENT1)
(
origin
?BORROW ?AGENT2)
(
patient
?BORROW ?OBJECT))
(
exists
(?LEND)
(
and
(
instance
?LEND
Lending
)
(
agent
?LEND ?AGENT2)
(
destination
?LEND ?AGENT1)
(
patient
?LEND ?OBJECT))))
Merge.kif 11731-11742
如果
过程
是
借入
的
instance
和
施事体
是
那个 过程
的
agent
和
另一个 施事体
是
那个 过程
的源头 和
实体
是
那个 过程
的
patient
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
借出
的
instance
和
那个 另外 施事体
是
那个 另外 过程
的
agent
和
那个 另外 过程
在
那个 施事体
结束 和
那个 实体
是
那个 另外 过程
的
patient
(=>
(
and
(
instance
?BUY
Buying
)
(
agent
?BUY ?AGENT))
(
destination
?BUY ?AGENT))
Merge.kif 11895-11899
如果
过程
是
购买
的
instance
和
施事体
是
那个 过程
的
agent
,
然后
那个 过程
在
那个 施事体
结束
(=>
(
and
(
instance
?BUY
Buying
)
(
agent
?BUY ?AGENT1)
(
origin
?BUY ?AGENT2)
(
patient
?BUY ?OBJECT))
(
exists
(?SELL)
(
and
(
instance
?SELL
Selling
)
(
agent
?SELL ?AGENT2)
(
destination
?SELL ?AGENT1)
(
patient
?SELL ?OBJECT))))
Merge.kif 11905-11916
如果
过程
是
购买
的
instance
和
施事体
是
那个 过程
的
agent
和
另一个 施事体
是
那个 过程
的源头 和
实体
是
那个 过程
的
patient
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
出售
的
instance
和
那个 另外 施事体
是
那个 另外 过程
的
agent
和
那个 另外 过程
在
那个 施事体
结束 和
那个 实体
是
那个 另外 过程
的
patient
(=>
(
and
(
instance
?Bond
Bond
)
(
couponInterest
?Bond ?Interest)
(
possesses
?BondHolder ?Bond))
(
exists
(?Period ?Payment)
(
and
(
periodicPayment
(
AccountFn
?Bond) ?Interest ?Period)
(
destination
?Payment ?BondHolder))))
FinancialOntology.kif 2270-2278
如果
键
是
键
的
instance
和
利益
是
那个 键
的
coupon
利息 和
那个 键
Holder
possesses
那个 键
,
然后 有存在
持续时间
和
过程
这样
那个 键
的帐号 是 对于
那个 持续时间
的
periodic
费用
那个 利益
和
那个 过程
在
那个 键
Holder 结束
(=>
(
and
(
instance
?Bond
ZeroCouponBond
)
(
maturityDate
(
AccountFn
?Bond) ?Date)
(
possesses
?BondHolder ?Bond)
(
principalAmount
(
AccountFn
?Bond)
(
MeasureFn
?Principal ?CUNIT))
(
agreementPeriod
(
AccountFn
?Bond) ?Period)
(
interestEarned
(
AccountFn
?Bond)
(
MeasureFn
?Interest ?CUNIT) ?Period)
(
equal
?Total
(
AdditionFn
?Principal ?Interest)))
(
exists
(?Payment)
(
and
(
instance
?Payment
Payment
)
(
destination
?Payment ?BondHolder)
(
origin
?Payment
(
AccountFn
?Bond))
(
transactionAmount
?Payment
(
MeasureFn
?Total ?CUNIT)))))
FinancialOntology.kif 2333-2355
如果
金融资产
是
零息债券
的
instance
和
日
是
那个 金融资产
的帐号 的
maturity
日期 和
那个 金融资产
Holder
possesses
那个 金融资产
和
实数
测量单位
是
那个 金融资产
的帐号 的
principal
总额 和
时距
是
那个 金融资产
的帐号 的
agreement
週期 和
那个 金融资产
的帐号 是 对于 %3 的赚取
interest
和
另一个 实数
equal
(
那个 实数
和
第三 实数
),
然后 有存在
金融交易
这样
那个 金融交易
是
付款
的
instance
和
那个 金融交易
在
那个 金融资产
Holder 结束 和
那个 金融资产
的帐号 是
那个 金融交易
的源头 和
那个 另外 实数
那个 测量单位
是
那个 金融交易
的
transaction
总额
(=>
(
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
如果
群体
是
护航
的
instance
和
施事体
是
那个 群体
的
member
和
另一个 施事体
是
那个 群体
的
member
和
那个 施事体
不
equal
那个 另外 施事体
,
然后 有存在
过程
,
另一个 过程
, and 和
实体
这样
那个 过程
是
运输
的
instance
和
那个 另外 过程
是
运输
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 另外 施事体
是
那个 另外 过程
的
agent
和
那个 过程
在
那个 实体
结束 和
那个 另外 过程
在
那个 实体
结束
(=>
(
and
(
instance
?CD
CertificateOfDeposit
)
(
maturityDate
?CD ?MaturityDate)
(
instance
?Withdrawal
Withdrawal
)
(
origin
?Withdrawal
(
CurrencyFn
?CD))
(
date
?Withdrawal ?DateOfWithdrawal)
(
before
(
EndFn
?DateOfWithdrawal)
(
BeginFn
?MaturityDate)))
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?CD))
(
causes
?Withdrawal ?Penalty))))
FinancialOntology.kif 1087-1099
如果
金融账户
是
存款证
的
instance
和
日
是
那个 金融账户
的
maturity
日期 和
过程
是
退出
的
instance
和
那个 金融账户
的
currency
是
那个 过程
的源头 和
那个 过程
的
date
是
另一个 日
和
那个 另外 日
的结束%n在
那个 日
的开始
before
发生,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
罚款
的
instance
和
那个 另外 过程
在
那个 金融账户
的
currency
结束 和
那个 过程
causes
那个 另外 过程
(=>
(
and
(
instance
?DRIVING
Driving
)
(
subProcess
?TRANSPORT ?DRIVING)
(
instance
?TRANSPORT
Transportation
)
(
destination
?DRIVING ?DEST))
(
destination
?TRANSPORT ?DEST))
Mid-level-ontology.kif 23583-23589
如果
过程
是
驾驶
的
instance
和
另一个 过程
%n是
那个 过程
的
subProcess
和
那个 另外 过程
是
运输
的
instance
和
那个 过程
在
另一个 实体
结束,
然后
那个 另外 过程
在
那个 另外 实体
结束
(=>
(
and
(
instance
?DUSTSTORM
DustStorm
)
(
instance
?WIND
Wind
)
(
subProcess
?DUSTSTORM ?WIND))
(
exists
(?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG)
(
and
(
instance
?A1
LandArea
)
(
eventLocated
?WIND ?A1)
(
surfaceWindSpeed
?A1
(
MeasureFn
?STRONG
KnotUnitOfSpeed
))
(
greaterThan
?STRONG 30.0)
(
instance
?TRANSLOCATE
Translocation
)
(
subProcess
?TRANSLOCATE ?DUSTSTORM)
(
objectTransferred
?TRANSLOCATE ?PM)
(
objectTransferred
?TRANSLOCATE ?SAND)
(
instance
?PM
ParticulateMatter
)
(
instance
?SAND
Sand
)
(
instance
?A2
LandArea
)
(
destination
?TRANSLOCATE ?A2)
(
not
(
overlapsSpatially
?A1 ?A2)))))
Weather.kif 1275-1296
如果
过程
是
尘暴
的
instance
和
另一个 过程
是
风
的
instance
和
那个 过程
%n是
那个 另外 过程
的
subProcess
,
然后 有存在
转移
,
客体
,, ,
另一个 客体
,, ,
第三 客体
,, ,
第四 客体
, and 和
实数
这样
那个 第三 客体
是
土地面积
的
instance
和
那个 另外 过程
是
located
在
那个 第三 客体
和
那个 实数
结速度单位
是
那个 第三 客体
的
surface
风速 和
那个 实数
是
greaterThan
30.0 和
那个 转移
是
易位
的
instance
和
那个 转移
%n是
那个 过程
的
subProcess
和
objectTransferred
那个 转移
and
那个 客体
和
objectTransferred
那个 转移
and
那个 另外 客体
和
那个 客体
是
悬浮颗粒
的
instance
和
那个 另外 客体
是
砂
的
instance
和
那个 第四 客体
是
土地面积
的
instance
和
那个 转移
在
那个 第四 客体
结束 和
那个 第三 客体
和
那个 第四 客体
不 重叠
(=>
(
and
(
instance
?Depositing
DepositingACheck
)
(
patient
?Depositing ?Check)
(
instance
?Check
Check
)
(
checkAccount
?Check ?Account)
(
monetaryValue
?Check ?Amount))
(
exists
(?Deposit)
(
and
(
instance
?Deposit
Deposit
)
(
destination
?Deposit
(
CurrencyFn
?Account))
(
transactionAmount
?Deposit ?Amount))))
FinancialOntology.kif 340-351
如果
过程
是
存款支票
的
instance
和
校验
是
那个 过程
的
patient
和
那个 校验
是
校验
的
instance
和
金融账户
是
那个 校验
的
check
帐户 和
那个 校验
的价值 是
货币测量
,
然后 有存在
金融交易
这样
那个 金融交易
是
存款
的
instance
和
那个 金融交易
在
那个 金融账户
的
currency
结束 和
那个 货币测量
是
那个 金融交易
的
transaction
总额
(=>
(
and
(
instance
?E
Edema
)
(
experiencer
?E ?A))
(
exists
(?T ?P ?L)
(
and
(
instance
?T
Transfer
)
(
instance
?L
Liquid
)
(
instance
?P
BodyPart
)
(
part
?P ?A)
(
destination
?T ?P)
(
moves
?T ?L)
(
subProcess
?T ?E))))
Mid-level-ontology.kif 9964-9976
如果
过程
是
Edema
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
运动
,
客体
, and 和
另一个 客体
这样
那个 运动
是
转移
的
instance
和
那个 另外 客体
是
液体
的
instance
和
那个 客体
是
身体部位
的
instance
和
那个 客体
是
那个 施事体
的
part
和
那个 运动
在
那个 客体
结束 和
移动
那个 运动
and
那个 另外 客体
和
那个 运动
%n是
那个 过程
的
subProcess
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?O)
(
agent
?EV ?A))
(
exists
(?T ?TA)
(
and
(
instance
?T
Transportation
)
(
destination
?T ?O)
(
or
(
subOrganization
?TA ?A)
(
member
?TA ?A)
(
equal
?TA ?A))
(
or
(
agent
?T ?TA)
(
patient
?T ?TA)))))
MilitaryProcesses.kif 2554-2569
如果
过程
是
疏散
的
instance
和
客体
是
那个 过程
的源头 和
机构
是
那个 过程
的
agent
,
然后 有存在
另一个 过程
和
那个 另外 过程
A 这样
那个 另外 过程
是
运输
的
instance
和
那个 另外 过程
在
那个 客体
结束 和
那个 另外 过程
A 是
那个 机构
Organization
的一部分 或
那个 另外 过程
A 是
那个 机构
的
member
或
那个 另外 过程
A
equal
那个 机构
和
那个 另外 过程
A 是
那个 另外 过程
的
agent
或
那个 另外 过程
A 是
那个 另外 过程
的
patient
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?OR)
(
destination
?EV ?D))
(
exists
(?L)
(
and
(
instance
?L
Translocation
)
(
subProcess
?L ?EV)
(
destination
?L ?D)
(
origin
?L ?OR))))
MilitaryProcesses.kif 2501-2511
如果
过程
是
疏散
的
instance
和
客体
是
那个 过程
的源头 和
那个 过程
在
实体
结束,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
易位
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 另外 过程
在
那个 实体
结束 和
那个 客体
是
那个 另外 过程
的源头
(=>
(
and
(
instance
?F
Food
)
(
attribute
?F
DecafAttribute
)
(
piece
?C ?F)
(
instance
?C
Caffeine
))
(
exists
(?R)
(
and
(
instance
?R
Removing
)
(
destination
?R ?F)
(
patient
?R ?C))))
Food.kif 425-435
如果
物质
是
Food
的
instance
和
DecafAttribute
是
那个 物质
的
attribute
和
另一个 物质
是
那个 物质
的
piece
和
那个 另外 物质
是
Caffeine
的
instance
,
然后 有存在
过程
这样
那个 过程
是
移除
的
instance
和
那个 过程
在
那个 物质
结束 和
那个 另外 物质
是
那个 过程
的
patient
(=>
(
and
(
instance
?F
FourStrokeIntake
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?F ?C))
(
exists
(?FV ?M)
(
and
(
instance
?M
GasMotion
)
(
instance
?FV
FuelVapor
)
(
subProcess
?M ?F)
(
destination
?M ?I)
(
patient
?M ?FV))))
Cars.kif 171-184
如果
过程
是
FourStrokeIntake
的
instance
和
客体
是
EngineCylinder
的
instance
和
洞
是
InternalCombustionChamber
的
instance
和
那个 客体
equal
洞
那个 洞
的主体 和
那个 过程
是
located
在
那个 客体
,
然后 有存在
那个 过程
V 和
另一个 过程
这样
那个 另外 过程
是
气体运动
的
instance
和
那个 过程
V 是
FuelVapor
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 另外 过程
在
那个 洞
结束 和
那个 过程
V 是
那个 另外 过程
的
patient
(=>
(
and
(
instance
?FP
FuelPump
)
(
instance
?A
Automobile
)
(
part
?FP ?A)
(
instance
?T
Transportation
)
(
instance
?F
Fuel
)
(
patient
?T ?F)
(
instrument
?F ?FP))
(
hasPurpose
?FP
(
exists
(?GT ?EC)
(
and
(
instance
?GT
GasTank
)
(
part
?GT ?A)
(
instance
?EC
EngineCylinder
)
(
part
?EC ?A)
(
origin
?T ?GT)
(
destination
?T ?EC)))))
Cars.kif 1051-1068
如果
客体
是
FuelPump
的
instance
和
另一个 客体
是
汽车
的
instance
和
那个 客体
是
那个 另外 客体
的
part
和
过程
是
运输
的
instance
和
另一个 过程
是
汽油
的
instance
和
那个 另外 过程
是
那个 过程
的
patient
和
那个 客体
是导致
那个 另外 过程
的
instrument
,
然后
那个 客体
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 实体
是
GasTank
的
instance
和
那个 实体
是
那个 另外 客体
的
part
和
那个 另外 实体
是
EngineCylinder
的
instance
和
那个 另外 实体
是
那个 另外 客体
的
part
和
那个 实体
是
那个 过程
的源头 和
那个 过程
在
那个 另外 实体
结束
(=>
(
and
(
instance
?GERD
GERefluxDisease
)
(
experiencer
?GERD ?H))
(
exists
(?T ?S ?E)
(
and
(
instance
?T
Transfer
)
(
origin
?T ?S)
(
instance
?S
Stomach
)
(
instance
?E
Esophagus
)
(
destination
?T ?E)
(
part
?S ?H)
(
part
?E ?H)
(
subProcess
?T ?GERD))))
Medicine.kif 1916-1929
如果
过程
是
GERefluxDisease
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
另一个 过程
,
客体
, and 和
另一个 客体
这样
那个 另外 过程
是
转移
的
instance
和
那个 客体
是
那个 另外 过程
的源头 和
那个 客体
是
胃
的
instance
和
那个 另外 客体
是
Esophagus
的
instance
和
那个 另外 过程
在
那个 另外 客体
结束 和
那个 客体
是
那个 施事体
的
part
和
那个 另外 客体
是
那个 施事体
的
part
和
那个 另外 过程
%n是
那个 过程
的
subProcess
(=>
(
and
(
instance
?GET
Getting
)
(
agent
?GET ?AGENT))
(
destination
?GET ?AGENT))
Merge.kif 11781-11785
如果
过程
是
获得
的
instance
和
施事体
是
那个 过程
的
agent
,
然后
那个 过程
在
那个 施事体
结束
(=>
(
and
(
instance
?H
Hotline
)
(
telephoneNumber
?H ?O)
(
instance
?O
Organization
))
(
hasPurpose
?H
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?O)
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
Communication
)
(
instrument
?C ?H)
(
equal
(
BeginFn
(
WhenFn
?C))
(
BeginFn
(
ImmediateFutureFn
(
WhenFn
?T))))))
Likely
)))))
Mid-level-ontology.kif 25093-25114
如果
TelecomNumber
是
Hotline
的
instance
和
那个 TelecomNumber
是
施事体
的
telephone
number
和
那个 施事体
是
机构
的
instance
,
然后
那个 TelecomNumber
的 目的 是 有存在
实体
这样
那个 实体
是
致电
的
instance
和
那个 实体
在
那个 施事体
结束 和 有存在
另一个 实体
这样
那个 另外 实体
是
沟通
的
instance
和
那个 TelecomNumber
是导致
那个 另外 实体
的
instrument
和
那个 另外 实体
出现 的
time
的开始
equal
紧接
那个 实体
出现 的
time
after
的开始 的声明 has
容易
的语气
(=>
(
and
(
instance
?HA
HeartAttack
)
(
instance
?H
Heart
)
(
located
?HA ?H))
(
exists
(?M)
(
and
(
instance
?M
Muscle
)
(
part
?M ?H)
(
not
(
exists
(?BF ?B)
(
and
(
instance
?BF
LiquidMotion
)
(
objectTransferred
?BF ?B)
(
instance
?B
Blood
)
(
during
?BF
(
WhenFn
?HA))
(
destination
?BF ?M)))))))
Mid-level-ontology.kif 11368-11385
如果
物理
是
HeartAttack
的
instance
和
客体
是
心
的
instance
和
那个 物理
是
located
在
那个 客体
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
肌肉
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和 不存在
时距
和
第三 客体
这样
那个 时距
是
液体运动
的
instance
和
objectTransferred
那个 时距
and
那个 第三 客体
和
那个 第三 客体
是
血液
的
instance
和
那个 时距
在
那个 物理
出现 的
time
时段内发生 和
那个 时距
在
那个 另外 客体
结束
(=>
(
and
(
instance
?HA
Stroke
)
(
instance
?H
Brain
)
(
located
?HA ?H))
(
exists
(?M)
(
and
(
instance
?M
NerveCell
)
(
part
?M ?H)
(
not
(
exists
(?BF ?B)
(
and
(
instance
?BF
LiquidMotion
)
(
objectTransferred
?BF ?B)
(
instance
?B
Blood
)
(
during
?BF
(
WhenFn
?HA))
(
destination
?BF ?M)))))))
Mid-level-ontology.kif 11915-11932
如果
物理
是
Stroke
的
instance
和
客体
是
脑
的
instance
和
那个 物理
是
located
在
那个 客体
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
神经细胞
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和 不存在
时距
和
第三 客体
这样
那个 时距
是
液体运动
的
instance
和
objectTransferred
那个 时距
and
那个 第三 客体
和
那个 第三 客体
是
血液
的
instance
和
那个 时距
在
那个 物理
出现 的
time
时段内发生 和
那个 时距
在
那个 另外 客体
结束
(=>
(
and
(
instance
?I
Immigrating
)
(
agent
?I ?A))
(
exists
(?N1 ?N2)
(
and
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
origin
?I ?N1)
(
destination
?I ?N2)
(
not
(
equal
?N1 ?N2))
(
member
?A
(
CitizenryFn
?N1))
(
not
(
member
?A
(
CitizenryFn
?N2)))
(
hasPurpose
?I
(
inhabits
?A ?N2)))))
Mid-level-ontology.kif 17352-17368
如果
过程
是
移民
的
instance
和
施事体
是
那个 过程
的
agent
,
然后 有存在
地缘政治区域
和
另一个 地缘政治区域
这样
那个 地缘政治区域
是
国家
的
instance
和
那个 另外 地缘政治区域
是
国家
的
instance
和
那个 地缘政治区域
是
那个 过程
的源头 和
那个 过程
在
那个 另外 地缘政治区域
结束 和
那个 地缘政治区域
不
equal
那个 另外 地缘政治区域
和
那个 施事体
是
那个 地缘政治区域
的
citizenry
的
member
和
那个 施事体
不 是
那个 另外 地缘政治区域
的
citizenry
的
member
和
那个 过程
的 目的 是
那个 施事体
住在
那个 另外 地缘政治区域
(=>
(
and
(
instance
?I
Intubation
)
(
instance
?T
Tube
)
(
objectTransferred
?I ?T)
(
experiencer
?I ?H))
(
exists
(?TH)
(
and
(
instance
?TH
Trachea
)
(
part
?TH ?H)
(
destination
?I ?TH))))
Medicine.kif 4135-4145
如果
转移
是
Intubation
的
instance
和
客体
是
管
的
instance
和
objectTransferred
那个 转移
and
那个 客体
和
施事体
经历了
那个 转移
,
然后 有存在
那个 客体
H 这样
那个 客体
H 是
Trachea
的
instance
和
那个 客体
H 是
那个 施事体
的
part
和
那个 转移
在
那个 客体
H 结束
(=>
(
and
(
instance
?II
IntraosseousInfusion
)
(
patient
?II ?H))
(
exists
(?B)
(
and
(
instance
?B
BoneMarrow
)
(
destination
?II ?B)
(
part
?B ?H))))
Medicine.kif 1179-1187
如果
过程
是
IntraosseousInfusion
的
instance
和
客体
是
那个 过程
的
patient
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
BoneMarrow
的
instance
和
那个 过程
在
那个 另外 客体
结束 和
那个 另外 客体
是
那个 客体
的
part
(=>
(
and
(
instance
?IV
InvasiveVentilator
)
(
instance
?B
Breathing
)
(
experiencer
?B ?H)
(
instrument
?B ?IV))
(
exists
(?IN)
(
and
(
instance
?IN
Intubation
)
(
destination
?IN ?H)
(
earlier
(
WhenFn
?IN)
(
WhenFn
?B)))))
Medicine.kif 4105-4117
如果
客体
是
InvasiveVentilator
的
instance
和
过程
是
呼吸
的
instance
和
施事体
经历了
那个 过程
和
那个 客体
是导致
那个 过程
的
instrument
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
Intubation
的
instance
和
那个 另外 过程
在
那个 施事体
结束 和
那个 另外 过程
出现 的
time
比
那个 过程
出现 的
time
发生的
earlier
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