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 14992-14992 |
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 1166-1166 |
细胞部分 是 二元函数 的 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 8608-8608 |
日函数 是 二元函数 的 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 18321-18321 |
DepartmentOfFn 是 二元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18389-18389 |
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 |