No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3225-3225 |
域 ABPFn, 1 and Collection |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3270-3270 |
域 ASPFn, 1 and Collection |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2411-2411 |
域 中止, 1 and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2412-2412 |
域 中止, 2 and Process |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2477-2477 |
域 中止發射, 2 and 起飛 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2431-2431 |
域 任務中止, 2 and 軍事行動 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4762-4762 |
域 絕對值, 1 and RealNumber |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1274-1274 |
域 AccelerationFn, 1 and FunctionQuantity |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1275-1275 |
域 AccelerationFn, 2 and TimeDuration |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1276-1276 |
域 AccelerationFn, 3 and Object |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1277-1277 |
域 AccelerationFn, 4 and DirectionalAttribute |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2316-2316 |
域 帳戶, 1 and 金融資產 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4712-4712 |
域 加成, 1 and RealNumber |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4713-4713 |
域 加成, 2 and RealNumber |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 223-223 |
域 地址, 1 and 電腦文件 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8834-8834 |
域 AfternoonFn, 1 and Day |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3056-3056 |
域 協議組織, 1 and 協議 |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 930-930 |
域 AlbumCopiesFn, 1 and Album |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7578-7578 |
域 AmountsFn, 2 and CorpuscularObject |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7579-7579 |
域 AmountsFn, 3 and UnitOfMass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5259-5259 |
域 ArcCosineFn, 1 and RealNumber |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5269-5269 |
域 ArcSineFn, 1 and RealNumber |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5249-5249 |
域 ArcTangentFn, 1 and RealNumber |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 786-786 |
域 任務, 1 and Function |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 787-787 |
域 任務, 2 and Entity |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |