HoleHostFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2863-2865 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9930-9933 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1610-1612 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9927-9927 | 域 洞主持人, 1 and HoleRegion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9924-9924 | 例 洞主持人 and UnaryFunction |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9928-9928 | 範圍 洞主持人 and Object |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 401-401 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 407-407 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 231-231 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2033-2033 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 183-183 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 251-251 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 402-402 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28371-28371 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28370-28370 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28369-28369 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 871-885 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 509-521 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 463-475 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 207-217 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 191-200 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 225-238 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 171-184 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6219-6228 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 523-536 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 754-765 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6122-6140 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 275-283 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 291-299 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 307-315 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 323-331 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4417-4422 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10086-10093 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10076-10084 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5706-5716 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14124-14131 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1700-1705 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 828-844 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 328-333 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 317-322 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2843-2872 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6148-6154 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1606-1615 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6212-6217 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6089-6095 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12126-12132 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9424-9431 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4248-4255 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4307-4312 |
|