partlyLocated |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2107-2110 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4048-4053 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 758-762 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4045-4045 | 有一部分位于 的 1 数量 是 物理 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4046-4046 | 有一部分位于 的 2 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4043-4043 | 有一部分位于 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4042-4042 | 有一部分位于 是 空间关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4044-4044 | 有一部分位于 是 总值关系 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 165-165 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 166-166 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 102-102 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 214-214 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1931-1931 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 54-54 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 129-129 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 203-203 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 252-252 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 121-121 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 103-103 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 406-406 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2237-2237 | 代理人在区域内经营 是 有一部分位于 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4073-4073 | 位于 是 有一部分位于 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 166-166 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44580-44580 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44579-44579 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44578-44578 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 63-63 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1727-1733 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2003-2012 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4061-4068 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4055-4059 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 148-157 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 159-165 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 507-512 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9119-9122 | 客体 在 另一个 客体 的 外 若且唯若 那个 客体 不 是 partlyLocated 在 那个 另外 客体 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 656-663 | 长度测量 是 地理区域 的 total 水路长路 若且唯若 符号串 所描述的类别 的 length 是 那个 长度测量 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3496-3501 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 507-512 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 987-989 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4092-4094 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 70-78 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 92-99 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1250-1257 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1719-1725 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4640-4640 | 北冰洋 是 partlyLocated 在 东半球 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4641-4641 | 北冰洋 是 partlyLocated 在 西半球 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4578-4578 | 北太平洋 是 partlyLocated 在 东半球 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4579-4579 | 北太平洋 是 partlyLocated 在 西半球 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4592-4592 | NortheasternPacificOcean 是 partlyLocated 在 东半球 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4591-4591 | NortheasternPacificOcean 是 partlyLocated 在 北半球 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4604-4604 | NorthwesternPacificOcean 是 partlyLocated 在 北半球 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4605-4605 | NorthwesternPacificOcean 是 partlyLocated 在 西半球 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4560-4560 | 南大西洋 是 partlyLocated 在 东半球 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4559-4559 | 南大西洋 是 partlyLocated 在 西半球 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4618-4618 | 南太平洋 是 partlyLocated 在 东半球 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4619-4619 | 南太平洋 是 partlyLocated 在 西半球 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4656-4656 | 南部海洋 是 partlyLocated 在 东半球 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4657-4657 | 南部海洋 是 partlyLocated 在 西半球 |