No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3225-3225 |
ABPFn 的 1 数量 是 群体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3270-3270 |
ASPFn 的 1 数量 是 群体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2411-2411 |
中止 的 1 数量 是 施事体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2412-2412 |
中止 的 2 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2477-2477 |
中止发射 的 2 数量 是 起飞 的 instance |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2431-2431 |
任务中止 的 2 数量 是 军事行动 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4763-4763 |
绝对值函数 的 1 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1274-1274 |
AccelerationFn 的 1 数量 是 函数量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1275-1275 |
AccelerationFn 的 2 数量 是 持续时间 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1276-1276 |
AccelerationFn 的 3 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1277-1277 |
AccelerationFn 的 4 数量 是 方向属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2316-2316 |
帐户 的 1 数量 是 金融资产 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4713-4713 |
加法函数 的 1 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4714-4714 |
加法函数 的 2 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 223-223 |
地址 的 1 数量 是 电脑文件 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8870-8870 |
AfternoonFn 的 1 数量 是 日 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3056-3056 |
协议组织 的 1 数量 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 930-930 |
AlbumCopiesFn 的 1 数量 是 Album 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7579-7579 |
AmountsFn 的 2 数量 是 躯体性物体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7580-7580 |
AmountsFn 的 3 数量 是 UnitOfMass 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5260-5260 |
ArcCosineFn 的 1 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5270-5270 |
ArcSineFn 的 1 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5250-5250 |
ArcTangentFn 的 1 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 786-786 |
分派函数 的 1 数量 是 函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 787-787 |
分派函数 的 2 数量 是 实体 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |