| Abstract(抽象体)
| |
| appearance as argument number 1 |
|
|
| (disjointDecomposition Abstract Quantity Attribute Relation Proposition List) | Merge.kif 1669-1669 | 抽象体 分拆成不相交的 数量, 属性, 关系, 命题, 和 串列 |
| (documentation Abstract ChineseLanguage "这些特质或质量，和任何以物理媒介化身的特质/质量不同。抽象 的实例在意义上，可以说是像数学物体如集合和关系般存在，但是它们不能没有任何物理编码或化身便存在于特定的时间 和地点。") | chinese_format.kif 1705-1707 | 抽象体 分拆成不相交的 数量, 属性, 关系, 命题, 和 串列 |
| (documentation Abstract EnglishLanguage "Properties or qualities as distinguished from any particular embodiment of the properties/ qualities in a physical medium. Instances of Abstract can be said to exist in the same sense as mathematical objects such as sets and relations, but they cannot exist at a particular place and time without some physical encoding or embodiment.") | Merge.kif 1671-1675 | 抽象体 分拆成不相交的 数量, 属性, 关系, 命题, 和 串列 |
| (documentation Abstract JapaneseLanguage "物理的媒体における任意の特性/資質の特定の実施形態と 区別されるプロパティまたは品質。 抽象のインスタンスは、セットや関係など、数学的なオブジェクトと同じ意味で存在すると言える。 しかし、 それらは、いくつかの物理的なエンコーディングや実施形態なしで特定の場所と時間に存在することはでき ない。") | japanese_format.kif 306-310 | 抽象体 分拆成不相交的 数量, 属性, 关系, 命题, 和 串列 |
| (externalImage Abstract "http://upload.wikimedia.org/wikipedia/commons/0/ 01/ Black_Square.jpg") | pictureList.kif 9868-9868 | 抽象体 分拆成不相交的 数量, 属性, 关系, 命题, 和 串列 |
| (externalImage Abstract "http://upload.wikimedia.org/wikipedia/commons/e/ e0/ Theo_van_Doesburg_Counter-CompositionV_%281924%29.jpg") | pictureList.kif 10351-10351 | 抽象体 分拆成不相交的 数量, 属性, 关系, 命题, 和 串列 |
| (externalImage Abstract "http://upload.wikimedia.org/wikipedia/en/3/39/Kandinsky_white.jpg") | pictureList.kif 10352-10352 | 抽象体 分拆成不相交的 数量, 属性, 关系, 命题, 和 串列 |
| (externalImage Abstract "http://upload.wikimedia.org/wikipedia/en/9/9c/Mondrian_Comp10.jpg") | pictureList.kif 10353-10353 | 抽象体 分拆成不相交的 数量, 属性, 关系, 命题, 和 串列 |
| (subclass Abstract Entity) | Merge.kif 1668-1668 | 抽象体 是 实体 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass Attribute Abstract) | Merge.kif 1699-1699 | 属性 是 抽象体 的 subclass |
| (subclass List Abstract) | Merge.kif 2876-2876 | 串列 是 抽象体 的 subclass |
| (subclass ProcessTask Abstract) | QoSontology.kif 2048-2048 | 流程任务 是 抽象体 的 subclass |
| (subclass Proposition Abstract) | Merge.kif 3556-3556 | 命题 是 抽象体 的 subclass |
| (subclass Quantity Abstract) | Merge.kif 1693-1693 | 数量 是 抽象体 的 subclass |
| (subclass Relation Abstract) | Merge.kif 2159-2159 | 关系 是 抽象体 的 subclass |
| (subclass SetOrClass Abstract) | Merge.kif 2128-2128 | 集或类 是 抽象体 的 subclass |
| (termFormat ChineseLanguage Abstract "抽象体") | chinese_format.kif 853-853 | 集或类 是 抽象体 的 subclass |
| (termFormat EnglishLanguage Abstract "abstract") | english_format.kif 908-908 | 集或类 是 抽象体 的 subclass |
| (termFormat FrenchLanguage Abstract "abstrait") | french_format.kif 529-529 | 集或类 是 抽象体 的 subclass |
| (termFormat Hindi Abstract "amUrta") | terms-hindi.txt 60-60 | 集或类 是 抽象体 的 subclass |
| (termFormat ItalianLanguage Abstract "Astratto") | terms-it.txt 63-63 | 集或类 是 抽象体 的 subclass |
| (termFormat JapaneseLanguage Abstract "抽象的な") | japanese_format.kif 2214-2214 | 集或类 是 抽象体 的 subclass |
| (termFormat PortugueseLanguage Abstract "Abstrato") | portuguese_format.kif 481-481 | 集或类 是 抽象体 的 subclass |
| (termFormat cb Abstract "hubo") | terms-cb.txt 65-65 | 集或类 是 抽象体 的 subclass |
| (termFormat cz Abstract "abstract") | terms-cz.txt 96-96 | 集或类 是 抽象体 的 subclass |
| (termFormat ro Abstract "abstract") | relations-ro.kif 550-550 | 集或类 是 抽象体 的 subclass |
| (termFormat tg Abstract "buod") | terms-tg.txt 64-64 | 集或类 是 抽象体 的 subclass |
| appearance as argument number 3 |
|
|
| (domain abstractCounterpart 1 Abstract) | Merge.kif 6106-6106 | abstractCounterpart 的 1 数量 是 抽象体 的 instance |
| (domain abstractPart 1 Abstract) | Mid-level-ontology.kif 23110-23110 | 抽象的部分 的 1 数量 是 抽象体 的 instance |
| (domain abstractPart 2 Abstract) | Mid-level-ontology.kif 23111-23111 | 抽象的部分 的 2 数量 是 抽象体 的 instance |
| (domain achievement 3 Abstract) | ComputingBrands.kif 1661-1661 | 成就 的 3 数量 是 抽象体 的 instance |
| (domain benchmark 1 Abstract) | FinancialOntology.kif 1647-1647 | 基准 的 1 数量 是 抽象体 的 instance |
| (domain offers 2 Abstract) | Catalog.kif 83-83 | offers 的 2 数量 是 抽象体 的 instance |
| (partition Entity Physical Abstract) | Merge.kif 815-815 | 实体 详尽无遗地 partition 成 物理 和 抽象体 |
|
|
|