| 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 2509-2509 |
例 中止發射 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 4720-4720 |
例 加成 and BinaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
Music.kif 926-926 |
例 AlbumCopiesFn and BinaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7608-7608 |
例 AmountsFn and BinaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1769-1769 |
例 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 15108-15108 |
例 BodySideFn and BinaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 681-681 |
例 邊界 and BinaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1175-1175 |
例 細胞部分 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 1044-1044 |
例 ContestFn and BinaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8684-8684 |
例 天 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 6654-6654 |
例 密度 and BinaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19910-19910 |
例 DepartmentOfFn and BinaryFunction |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19978-19978 |
例 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 4752-4752 |
例 部 and BinaryFunction |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
