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 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3265-3265 |
ASPFn 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4760-4760 |
绝对值函数 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2315-2315 |
帐户 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 222-222 |
地址 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8854-8854 |
AfternoonFn 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 86-86 |
AgentOfOrganismFn 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3055-3055 |
协议组织 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5257-5257 |
ArcCosineFn 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5267-5267 |
ArcSineFn 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5247-5247 |
ArcTangentFn 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3191-3191 |
AuctionGMBFn 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 864-864 |
可用于兵役男性 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3270-3270 |
AverageFn 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 897-897 |
挪后函数 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8002-8002 |
开始函数 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5940-5940 |
节点开端函数 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 670-670 |
BeliefGroupMemberFn 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2910-2910 |
BidCountFn 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6230-6230 |
BodyAreaFn 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2876-2876 |
BoughtItemsFn 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1318-1318 |
CPU利用率 是 一元函数 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |