successorAttribute |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1536-1537 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 707-709 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 102-103 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 119-121 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 704-704 | O argumento numero 1 de successorAttribute e' uma instancia de Atributo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 705-705 | O argumento numero 2 de successorAttribute e' uma instancia de Atributo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 703-703 | successorAttribute e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 702-702 | successorAttribute e' uma instancia de Predicado Binario |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 684-684 | subAttribute e successorAttribute sao disjuntos |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 323-323 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 328-328 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 184-184 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 286-286 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2004-2004 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 136-136 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 195-195 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 425-425 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 323-323 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 204-204 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 194-194 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 478-478 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 732-732 | successorAttributeClosure e' relacionado internamente por SUMO a successorAttribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9022-9022 | successorClass e' relacionado internamente por SUMO a successorAttribute |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 324-324 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55885-55885 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55884-55884 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55883-55883 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 739-741 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 373-373 | BeaufortNumber0 e' um atributo sucessor immediato de BeaufortNumber1 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 382-382 | BeaufortNumber1 e' um atributo sucessor immediato de BeaufortNumber2 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 464-464 | BeaufortNumber10 e' um atributo sucessor immediato de BeaufortNumber11 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 473-473 | BeaufortNumber11 e' um atributo sucessor immediato de BeaufortNumber12 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 391-391 | BeaufortNumber2 e' um atributo sucessor immediato de BeaufortNumber3 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 401-401 | BeaufortNumber3 e' um atributo sucessor immediato de BeaufortNumber4 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 410-410 | BeaufortNumber4 e' um atributo sucessor immediato de BeaufortNumber5 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 419-419 | BeaufortNumber5 e' um atributo sucessor immediato de BeaufortNumber6 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 428-428 | BeaufortNumber6 e' um atributo sucessor immediato de BeaufortNumber7 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 437-437 | BeaufortNumber7 e' um atributo sucessor immediato de BeaufortNumber8 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 446-446 | BeaufortNumber8 e' um atributo sucessor immediato de BeaufortNumber9 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 455-455 | BeaufortNumber9 e' um atributo sucessor immediato de BeaufortNumber10 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25708-25708 | ColdTemperature e' um atributo sucessor immediato de CoolTemperature |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25714-25714 | CoolTemperature e' um atributo sucessor immediato de WarmTemperature |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 517-517 | CountryInTransition e' um atributo sucessor immediato de AdvancedEconomy |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1001-1001 | DeluxeRoom e' um atributo sucessor immediato de Suite |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 516-516 | DevelopingCountry e' um atributo sucessor immediato de CountryInTransition |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2150-2150 | EF0 e' um atributo sucessor immediato de EF1 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2158-2158 | EF1 e' um atributo sucessor immediato de EF2 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2166-2166 | EF2 e' um atributo sucessor immediato de EF3 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2174-2174 | EF3 e' um atributo sucessor immediato de EF4 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2182-2182 | EF4 e' um atributo sucessor immediato de EF5 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 187-187 | FormerSovietOrEasternEuropeanCountry e' um atributo sucessor immediato de DevelopedCountry |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 209-209 | LessDevelopedCountry e' um atributo sucessor immediato de FormerSovietOrEasternEuropeanCountry |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 426-426 | LowIncomeCountry e' um atributo sucessor immediato de LowerMiddleIncomeCountry |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |