located |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2111-2112 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4078-4080 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 763-764 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4075-4075 | Le nombre 1 argument de located est une instance de physique |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4076-4076 | Le nombre 2 argument de located est une instance de objet |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4070-4070 | located est une instance de relation antisym�trique |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4072-4072 | located est une instance de relation total |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4071-4071 | located est une instance de relation transitive |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4073-4073 | located est une sous-relation de partlyLocated |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 145-145 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 146-146 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 94-94 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 170-170 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1921-1921 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 46-46 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 128-128 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 176-176 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 208-208 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 113-113 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 93-93 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 339-339 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3868-3868 | time est reli� � l'int�rieur de SUMO � located |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4134-4134 | exactlyLocated est une sous-relation de located |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14068-14068 | geographicSubregion est une sous-relation de located |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7575-7575 | headquartersOfOrganization est une sous-relation de located |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17403-17403 | onboard est une sous-relation de located |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9996-9996 | partiallyFills est une sous-relation de located |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24757-24757 | postCity est une sous-relation de located |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24700-24700 | postCountry est une sous-relation de located |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24741-24741 | postDistrict est une sous-relation de located |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24669-24669 | postNeighborhood est une sous-relation de located |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24783-24783 | postPostcodeArea est une sous-relation de located |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 146-146 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
consequent |
statement |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18201-18218 | ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X est une instance de PaperShredder ?CUT est une instance de couper ?X est un instrument pour ?CUT ?PAPER est une instance de Paper ?PAPER est un patient de ?CUT ?CBO est situ� � ?PAPER ?CBO est une instance de VisualContentBearingObject ?CBO contient information ?INFO diminue la probabilit� de ?READ ?READ est une instance de Interpreting ?INFO est un patient de ?READ temps d'existence de ?CUT arrive plus t�t que temps d'existence de ?READ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31730-31735 | OrganismPopulationFn organisme and secteur g�ographique est instances dans la classe d�crite par organismeI |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1920-1920 | JesusOfNazareth est situ� � Palestine pendant temps d'existence de JesusOfNazareth |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2563-2563 | AalandIslands est situ� � BalticSea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4695-4695 | AntarcticCircumpolarCurrent est situ� � SouthernOcean |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 588-588 | FrenchSouthernAndAntarcticLands est situ� � DirectionalSubregionFn South and IndianOcean |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 586-586 | FrenchSouthernAndAntarcticLands est situ� � IndianOcean |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 231-231 | SaintHelena est situ� � SouthAtlanticOcean |