| 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 |
例 中止 and BinaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2476-2476 |
例 中止發射 and BinaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2430-2430 |
例 任務中止 and BinaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4707-4707 |
例 加成 and BinaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
Music.kif 924-924 |
例 AlbumCopiesFn and BinaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7573-7573 |
例 AmountsFn and BinaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1774-1774 |
例 attr and BinaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
People.kif 68-68 |
例 每千人分娩 and BinaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14970-14970 |
例 BodySideFn and BinaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 686-686 |
例 邊界 and BinaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1167-1167 |
例 細胞部分 and BinaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
People.kif 440-440 |
例 每個女人出生的孩子 and BinaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3319-3319 |
例 ClickThroughRateFn and BinaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
Music.kif 1042-1042 |
例 ContestFn and BinaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8586-8586 |
例 天 and BinaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
People.kif 101-101 |
例 每千人死亡 and BinaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
People.kif 227-227 |
例 每千名活產嬰兒死亡人數 and BinaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6644-6644 |
例 密度 and BinaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18322-18322 |
例 DepartmentOfFn and BinaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18390-18390 |
例 DepartmentOfPreventingFn and BinaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 476-476 |
例 定向分區域 and BinaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4739-4739 |
例 部 and BinaryFunction |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
