located |
appearance as argument number 1 |
![]() |
(documentation located ChineseLanguage "(located ?OBJ1 ?OBJ2) 的意思是 ?OBJ1 partlyLocated 在 ?OBJ2,而且没有一处 ?OBJ1的 part 不是 located 在?OBJ2。") | chinese_format.kif 2111-2112 | |
(documentation located EnglishLanguage "(located ?OBJ1 ?OBJ2) means that ?OBJ1 is partlyLocated at ?OBJ2, and there is no part of ?OBJ1 that is not located at ?OBJ2.") | Merge.kif 3996-3998 | |
(domain located 1 Physical) | Merge.kif 3993-3993 | The number 1 argument of located is an instance of physical |
(domain located 2 Object) | Merge.kif 3994-3994 | The number 2 argument of located is an instance of object |
(instance located AntisymmetricRelation) | Merge.kif 3988-3988 | located is an instance of antisymmetric relation |
(instance located TotalValuedRelation) | Merge.kif 3990-3990 | located is an instance of total valued relation |
(instance located TransitiveRelation) | Merge.kif 3989-3989 | located is an instance of transitive relation |
(subrelation located partlyLocated) | Merge.kif 3991-3991 | located is a subrelation of partly located |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
consequent |
![]() |
statement |
![]() |
(holdsDuring (WhenFn JesusOfNazareth) (located JesusOfNazareth Palestine)) |
Media.kif 1906-1906 | JesusOfNazareth is located at palestine holds during the time of existence of JesusOfNazareth |
appearance as argument number 0 |
![]() |
(located AalandIslands BalticSea) | Media.kif 2549-2549 | AalandIslands is located at baltic sea |
(located AntarcticCircumpolarCurrent SouthernOcean) | Geography.kif 4594-4594 | Antarctic circumpolar current is located at southern ocean |
(located FrenchSouthernAndAntarcticLands (DirectionalSubregionFn South IndianOcean)) |
CountriesAndRegions.kif 588-588 | French southern and antarctic lands is located at the directional subregion of south and indian ocean |
(located FrenchSouthernAndAntarcticLands IndianOcean) | CountriesAndRegions.kif 586-586 | French southern and antarctic lands is located at indian ocean |
(located SaintHelena SouthAtlanticOcean) | CountriesAndRegions.kif 231-231 | Saint helena is located at south atlantic ocean |
![]() |
![]() |