GeographicPartTypeFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6916-6919 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6914-6914 | GeographicPartTypeFn 的 2 数量 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6913-6913 | GeographicPartTypeFn 的 1 数量 是 地理区域 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6912-6912 | GeographicPartTypeFn 是 二元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6915-6915 | GeographicPartTypeFn 的所得值 是 地理区域 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3518-3518 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3517-3517 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3516-3516 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64932-64932 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6931-6936 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6938-6942 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6921-6923 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6927-6929 |
statement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6976-6976 | 美国国家 equal 州或省 所有的 instances 在 美国 |