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 4708-4708 |
例 加成 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 7574-7574 |
例 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 15016-15016 |
例 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 1168-1168 |
例 細胞部分 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 8622-8622 |
例 天 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 6645-6645 |
例 密度 and BinaryFunction |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18349-18349 |
例 DepartmentOfFn and BinaryFunction |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18417-18417 |
例 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 4740-4740 |
例 部 and BinaryFunction |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |