No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 280-280 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 279-279 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 278-278 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2410-2410 |
中止 是 二元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2476-2476 |
中止发射 是 二元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2430-2430 |
任务中止 是 二元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4707-4707 |
加法函数 是 二元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 924-924 |
AlbumCopiesFn 是 二元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7573-7573 |
AmountsFn 是 二元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1774-1774 |
Attr 是 二元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 68-68 |
每千人分娩 是 二元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14970-14970 |
BodySideFn 是 二元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 686-686 |
边界 是 二元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1167-1167 |
细胞部分 是 二元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 440-440 |
每个女人出生的孩子 是 二元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3319-3319 |
ClickThroughRateFn 是 二元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1042-1042 |
ContestFn 是 二元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8586-8586 |
日函数 是 二元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 101-101 |
每千人死亡 是 二元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 227-227 |
每千名活产婴儿死亡人数 是 二元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6644-6644 |
密度函数 是 二元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18322-18322 |
DepartmentOfFn 是 二元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18390-18390 |
DepartmentOfPreventingFn 是 二元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 476-476 |
定向分区域 是 二元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4739-4739 |
除法函数 是 二元函数 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |