Attribute(属性) 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 | 属性 详尽无遗地 partition 成 内在属性 和 关联属性 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1700-1700 | 属性 是 抽象体 的 subclass |
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 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 299-299 | 侧风 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 305-305 | 逆风 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4705-4705 | 公海 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15059-15059 | 铺砌 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 492-492 | RepresentativeSample 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2678-2678 | 标准状况 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 312-312 | 尾风 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15060-15060 | 未铺砌 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3531-3531 | Vegan 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3522-3522 | Vegetarian 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 643-643 | AccountAttribute 是 属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3100-3100 | AirQualityAQIAttribute 是 属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1269-1269 | 气候区 是 属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4400-4400 | ExperimentAttribute 是 属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1804-1804 | 内在属性 是 属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 293-293 | ListingAttribute 是 属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1815-1815 | 关联属性 是 属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1630-1630 | TransactionAttribute 是 属性 的 subclass |
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 | 抽象体 分拆成不相交的 数量, 属性, 关系, 命题, 和 串列 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1778-1778 | Attr 的 2 数量 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1761-1761 | 延伸函数 的 1 数量 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1721-1721 | 属于 的 2 数量 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 457-457 | 相反属性 的 1 数量 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 17-17 | contraryAttributeWRT 的 1 数量 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 18-18 | contraryAttributeWRT 的 2 数量 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 489-489 | 详尽的属性 的 2 数量 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 751-751 | greaterThanByQuality 的 3 数量 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1405-1405 | 按职业划分的劳动力比例 的 2 数量 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1387-1387 | 按职业期间划分的劳动力比例 的 2 数量 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1733-1733 | 形式 的 2 数量 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1709-1709 | 特性 的 2 数量 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 682-682 | 子属性 的 1 数量 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 683-683 | 子属性 的 2 数量 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 314-314 | subjectiveAttribute 的 2 数量 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 704-704 | 后续属性 的 1 数量 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 705-705 | 后续属性 的 2 数量 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 730-730 | 后续属性闭包 的 1 数量 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 731-731 | 后续属性闭包 的 2 数量 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6219-6219 | 植被类型模式 的 3 数量 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 292-292 | 风的相对位置 的 2 数量 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 488-488 | 详尽的属性 的 1 数量 是 属性 的 subclass |
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 |