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 | The number 1 argument of partly located is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4046-4046 | The number 2 argument of partly located is an instance of object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4043-4043 | partly located is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4042-4042 | partly located is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4044-4044 | partly located is an instance of total valued relation |
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 | agent operates in area is a subrelation of partly located |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4073-4073 | located is a subrelation of partly located |
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 | An object is outside to another object if and only if the object is not partly located in the other object |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 656-663 | A length measure is a total length of waterways of a geographic area if and only if the length of the class described by a symbolic string is the length measure |
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 | Arctic ocean is partly located in eastern hemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4641-4641 | Arctic ocean is partly located in western hemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4578-4578 | North pacific ocean is partly located in eastern hemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4579-4579 | North pacific ocean is partly located in western hemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4592-4592 | Northeastern Pacific ocean is partly located in eastern hemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4591-4591 | Northeastern Pacific ocean is partly located in northern hemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4604-4604 | Northwestern Pacific Ocean is partly located in northern hemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4605-4605 | Northwestern Pacific Ocean is partly located in western hemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4560-4560 | South atlantic ocean is partly located in eastern hemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4559-4559 | South atlantic ocean is partly located in western hemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4618-4618 | South pacific ocean is partly located in eastern hemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4619-4619 | South pacific ocean is partly located in western hemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4656-4656 | Southern ocean is partly located in eastern hemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4657-4657 | Southern ocean is partly located in western hemisphere |