No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9946-9946 |
洞主体函数 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10087-10087 |
洞表面函数 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4906-4906 |
虚数函数 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16305-16305 |
直系亲属 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8548-8548 |
紧接未来函数 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8517-8517 |
紧接过去函数 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18239-18239 |
ImpairedBodyPartFn 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13488-13488 |
ImpairmentFn 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12407-12407 |
InflammationFn 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5920-5920 |
节点起点函数 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1311-1311 |
初步资料 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 396-396 |
InjuryCausedFn 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 795-795 |
内部边界 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4921-4921 |
整数平方根函数 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2137-2137 |
司法 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2598-2598 |
JuiceOfFn 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3205-3205 |
持续 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2035-2035 |
立法机关 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3012-3012 |
找出表列长度的函数 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3239-3239 |
ListSumFn 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 912-912 |
LyricalComponentFn 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18392-18392 |
MakingFn 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 191-191 |
男女比例 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 780-780 |
海上主张领海 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1042-1042 |
海上毗连区 是 一元函数 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |