| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2559-2559 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2558-2558 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2557-2557 |
|
| No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3220-3220 |
例 ABPFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3265-3265 |
例 ASPFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4760-4760 |
例 絕對值 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2315-2315 |
例 帳戶 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 222-222 |
例 地址 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8832-8832 |
例 AfternoonFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 86-86 |
例 AgentOfOrganismFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3055-3055 |
例 協議組織 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5257-5257 |
例 ArcCosineFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5267-5267 |
例 ArcSineFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5247-5247 |
例 ArcTangentFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3191-3191 |
例 AuctionGMBFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 864-864 |
例 可用於兵役男性 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3270-3270 |
例 AverageFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 897-897 |
例 背部 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7980-7980 |
例 開始 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5940-5940 |
例 開始節點 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
People.kif 670-670 |
例 BeliefGroupMemberFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2910-2910 |
例 BidCountFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6230-6230 |
例 BodyAreaFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2876-2876 |
例 BoughtItemsFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1318-1318 |
例 CPU利用率 and UnaryFunction |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
UnaryFunction