|
|
   Attribute
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1710-1711 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1704-1705 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 313-314 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10458-10458 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10451-10451 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9895-9895 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10453-10453 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10454-10454 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10452-10452 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10455-10455 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10456-10456 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10459-10459 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10460-10460 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10450-10450 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1702-1702 | O conceito Atributo e' completamente decomposto em Atributo Interno + Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1700-1700 | Atributo e' uma sub-classe de Abstrato |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 29-29 | |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2801-2801 | BasicPH e' uma instancia de Atributo |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 299-299 | Crosswind e' uma instancia de Atributo |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 305-305 | Headwind e' uma instancia de Atributo |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4705-4705 | OpenSea e' uma instancia de Atributo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15059-15059 | Paved e' uma instancia de Atributo |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 492-492 | RepresentativeSample e' uma instancia de Atributo |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2678-2678 | StandardAmbientTemperaturePressure e' uma instancia de Atributo |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 312-312 | Tailwind e' uma instancia de Atributo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15060-15060 | Unpaved e' uma instancia de Atributo |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3531-3531 | Vegan e' uma instancia de Atributo |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3522-3522 | Vegetarian e' uma instancia de Atributo |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 643-643 | AccountAttribute e' uma sub-classe de Atributo |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 3100-3100 | AirQualityAQIAttribute e' uma sub-classe de Atributo |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1269-1269 | ClimateZone e' uma sub-classe de Atributo |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4400-4400 | ExperimentAttribute e' uma sub-classe de Atributo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1804-1804 | Atributo Interno e' uma sub-classe de Atributo |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 293-293 | ListingAttribute e' uma sub-classe de Atributo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1815-1815 | Atributo Relacional e' uma sub-classe de Atributo |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1630-1630 | TransactionAttribute e' uma sub-classe de Atributo |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 855-855 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 912-912 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 531-531 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 62-62 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1670-1670 | Abstrato e' disjuntamente decomponivel em Quantidade, Atributo, Relacao, Proposicao, + Lista |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1778-1778 | O argumento numero 2 de AttrFn e' uma instancia de Atributo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1761-1761 | O argumento numero 1 de ExtensionFn e' uma instancia de Atributo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1721-1721 | O argumento numero 2 de attribute e' uma instancia de Atributo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 457-457 | O argumento numero 1 de contraryAttribute e' uma instancia de Atributo |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 17-17 | O argumento numero 1 de contraryAttributeWRT e' uma instancia de Atributo |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 18-18 | O argumento numero 2 de contraryAttributeWRT e' uma instancia de Atributo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 489-489 | O argumento numero 2 de exhaustiveAttribute e' uma instancia de Atributo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 751-751 | O argumento numero 3 de greaterThanByQuality e' uma instancia de Atributo |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1405-1405 | O argumento numero 2 de laborForceFractionByOccupation e' uma instancia de Atributo |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1387-1387 | O argumento numero 2 de laborForceFractionByOccupationInPeriod e' uma instancia de Atributo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1733-1733 | O argumento numero 2 de manner e' uma instancia de Atributo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1709-1709 | O argumento numero 2 de property e' uma instancia de Atributo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 682-682 | O argumento numero 1 de subAttribute e' uma instancia de Atributo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 683-683 | O argumento numero 2 de subAttribute e' uma instancia de Atributo |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 314-314 | O argumento numero 2 de subjectiveAttribute e' uma instancia de Atributo |
| 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 730-730 | O argumento numero 1 de successorAttributeClosure e' uma instancia de Atributo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 731-731 | O argumento numero 2 de successorAttributeClosure e' uma instancia de Atributo |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6219-6219 | O argumento numero 3 de vegetationTypePattern e' uma instancia de Atributo |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 292-292 | O argumento numero 2 de windRelativePosition e' uma instancia de Atributo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 488-488 | O argumento numero 1 de exhaustiveAttribute e' uma sub-classe de Atributo |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 43-52 |
|
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 109-119 | |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 152-157 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 497-501 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 501-517 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 464-468 |
|
|
|
