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 | O argumento numero 1 de located e' uma instancia de Fisico |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4076-4076 | O argumento numero 2 de located e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4070-4070 | located e' uma instancia de Relacao Anti-simetrica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4072-4072 | located e' uma instancia de Relacao Total |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4071-4071 | located e' uma instancia de Relacao Transitiva |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4073-4073 | located e' uma sub-relacao 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 e' relacionado internamente por SUMO a located |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4134-4134 | exactlyLocated e' uma sub-relacao de located |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14046-14046 | geographicSubregion e' uma sub-relacao de located |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7576-7576 | headquartersOfOrganization e' uma sub-relacao de located |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17404-17404 | onboard e' uma sub-relacao de located |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9974-9974 | partiallyFills e' uma sub-relacao de located |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24758-24758 | postCity e' uma sub-relacao de located |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24701-24701 | postCountry e' uma sub-relacao de located |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24742-24742 | postDistrict e' uma sub-relacao de located |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24670-24670 | postNeighborhood e' uma sub-relacao de located |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24784-24784 | postPostcodeArea e' uma sub-relacao 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 18202-18219 | ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X e' uma instancia de PaperShredder ?CUT e' uma instancia de Cortar ?X e' um instrumento para ?CUT ?PAPER e' uma instancia de Paper ?PAPER e' um patient de ?CUT ?CBO e' situado em ?PAPER ?CBO e' uma instancia de VisualContentBearingObject ?CBO contem informacao ?INFO diminui a probabilidade de ?READ ?READ e' uma instancia de Interpreting ?INFO e' um patient de ?READ tempo de existencia de ?CUT acontence antes de tempo de existencia de ?READ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31734-31739 | OrganismPopulationFn Organismo and Area Geografica e' igual a o numero de instancias dentro de a classe descrita por OrganismoI |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1920-1920 | JesusOfNazareth e' situado em Palestine vale durante tempo de existencia de JesusOfNazareth |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2563-2563 | AalandIslands e' situado em BalticSea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4695-4695 | AntarcticCircumpolarCurrent e' situado em SouthernOcean |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 588-588 | FrenchSouthernAndAntarcticLands e' situado em DirectionalSubregionFn South and IndianOcean |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 586-586 | FrenchSouthernAndAntarcticLands e' situado em IndianOcean |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 231-231 | SaintHelena e' situado em SouthAtlanticOcean |