No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3227-3227 |
範圍 ABPFn and CurrencyMeasure |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3272-3272 |
範圍 ASPFn and CurrencyMeasure |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2413-2413 |
範圍 中止 and Process |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2478-2478 |
範圍 中止發射 and 起飛 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2432-2432 |
範圍 任務中止 and 軍事行動 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4763-4763 |
範圍 絕對值 and NonnegativeRealNumber |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1280-1280 |
範圍 AccelerationFn and FunctionQuantity |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2317-2317 |
範圍 帳戶 and 金融賬戶 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4714-4714 |
範圍 加成 and RealNumber |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 224-224 |
範圍 地址 and 實際地址 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8835-8835 |
範圍 AfternoonFn and 下午 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3057-3057 |
範圍 協議組織 and Organization |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7580-7580 |
範圍 AmountsFn and List |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5260-5260 |
範圍 ArcCosineFn and RealNumber |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5270-5270 |
範圍 ArcSineFn and RealNumber |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5250-5250 |
範圍 ArcTangentFn and RealNumber |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 788-788 |
範圍 任務 and Entity |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3195-3195 |
範圍 AuctionGMBFn and CurrencyMeasure |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 866-866 |
範圍 可用於兵役男性 and Integer |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3272-3272 |
範圍 AverageFn and RealNumber |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 899-899 |
範圍 背部 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7983-7983 |
範圍 開始 and TimePoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5943-5943 |
範圍 開始節點 and GraphNode |
No TPTP formula. May not be expressible in strict first order. |
People.kif 674-674 |
範圍 BeliefGroupMemberFn and InternalAttribute |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2914-2914 |
範圍 BidCountFn and NonnegativeInteger |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |