more pictures...
| Attribute(attribut)
more pictures... | |
| 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 | Attribut est compl�tement d�compos� en attribut interne + attribut relationnel |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1700-1700 | Attribut est une sous-classe de abstrait |
| 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 est une instance de attribut |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 299-299 | Crosswind est une instance de attribut |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 305-305 | Headwind est une instance de attribut |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4705-4705 | OpenSea est une instance de attribut |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15059-15059 | Paved est une instance de attribut |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 492-492 | RepresentativeSample est une instance de attribut |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2678-2678 | StandardAmbientTemperaturePressure est une instance de attribut |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 312-312 | Tailwind est une instance de attribut |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15060-15060 | Unpaved est une instance de attribut |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3531-3531 | Vegan est une instance de attribut |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3522-3522 | Vegetarian est une instance de attribut |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 643-643 | AccountAttribute est une sous-classe de attribut |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 3100-3100 | AirQualityAQIAttribute est une sous-classe de attribut |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1269-1269 | ClimateZone est une sous-classe de attribut |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4400-4400 | ExperimentAttribute est une sous-classe de attribut |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1804-1804 | Attribut interne est une sous-classe de attribut |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 293-293 | ListingAttribute est une sous-classe de attribut |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1815-1815 | Attribut relationnel est une sous-classe de attribut |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1630-1630 | TransactionAttribute est une sous-classe de attribut |
| 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 | Abstrait est disjointement decompos� en quantit�, attribut, relation, proposition , + liste |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1778-1778 | Le nombre 2 argument de AttrFn est une instance de attribut |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1761-1761 | Le nombre 1 argument de ExtensionFn est une instance de attribut |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1721-1721 | Le nombre 2 argument de attribute est une instance de attribut |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 457-457 | Le nombre 1 argument de contraryAttribute est une instance de attribut |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 17-17 | Le nombre 1 argument de contraryAttributeWRT est une instance de attribut |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 18-18 | Le nombre 2 argument de contraryAttributeWRT est une instance de attribut |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 489-489 | Le nombre 2 argument de exhaustiveAttribute est une instance de attribut |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 751-751 | Le nombre 3 argument de greaterThanByQuality est une instance de attribut |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1405-1405 | Le nombre 2 argument de laborForceFractionByOccupation est une instance de attribut |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1387-1387 | Le nombre 2 argument de laborForceFractionByOccupationInPeriod est une instance de attribut |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1733-1733 | Le nombre 2 argument de manner est une instance de attribut |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1709-1709 | Le nombre 2 argument de property est une instance de attribut |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 682-682 | Le nombre 1 argument de subAttribute est une instance de attribut |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 683-683 | Le nombre 2 argument de subAttribute est une instance de attribut |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 314-314 | Le nombre 2 argument de subjectiveAttribute est une instance de attribut |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 704-704 | Le nombre 1 argument de successorAttribute est une instance de attribut |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 705-705 | Le nombre 2 argument de successorAttribute est une instance de attribut |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 730-730 | Le nombre 1 argument de successorAttributeClosure est une instance de attribut |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 731-731 | Le nombre 2 argument de successorAttributeClosure est une instance de attribut |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6219-6219 | Le nombre 3 argument de vegetationTypePattern est une instance de attribut |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 292-292 | Le nombre 2 argument de windRelativePosition est une instance de attribut |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 488-488 | Le nombre 1 argument de exhaustiveAttribute est une sous-classe de attribut |
| 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 |
|
|
|