appearance as argument number 1 |
![]() |
(disjointDecomposition Abstract Quantity Attribute Relation Proposition List) | Merge.kif 1647-1647 | Abstract is disjointly decomposed into quantity, attribute, relation, proposition, and list |
(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 1649-1653 | |
(externalImage Abstract "http://upload.wikimedia.org/wikipedia/commons/0/ 01/ Black_Square.jpg") | pictureList.kif 9877-9877 | |
(externalImage Abstract "http://upload.wikimedia.org/wikipedia/commons/e/ e0/ Theo_van_Doesburg_Counter-CompositionV_%281924%29.jpg") | pictureList.kif 10362-10362 | |
(externalImage Abstract "http://upload.wikimedia.org/wikipedia/en/3/39/Kandinsky_white.jpg") | pictureList.kif 10363-10363 | |
(externalImage Abstract "http://upload.wikimedia.org/wikipedia/en/9/9c/Mondrian_Comp10.jpg") | pictureList.kif 10364-10364 | |
(subclass Abstract Entity) | Merge.kif 1646-1646 | Abstract is a subclass of entity |
appearance as argument number 2 |
![]() |
(subclass Attribute Abstract) | Merge.kif 1677-1677 | Attribute is a subclass of abstract |
(subclass List Abstract) | Merge.kif 2852-2852 | List is a subclass of abstract |
(subclass ProcessTask Abstract) | QoSontology.kif 1942-1942 | Process task is a subclass of abstract |
(subclass Proposition Abstract) | Merge.kif 3532-3532 | Proposition is a subclass of abstract |
(subclass Quantity Abstract) | Merge.kif 1671-1671 | Quantity is a subclass of abstract |
(subclass Relation Abstract) | Merge.kif 2136-2136 | Relation is a subclass of abstract |
(subclass SetOrClass Abstract) | Merge.kif 2105-2105 | Set or class is a subclass of abstract |
(termFormat ChineseLanguage Abstract "抽象体") | chinese_format.kif 853-853 | |
(termFormat EnglishLanguage Abstract "abstract") | english_format.kif 908-908 |
appearance as argument number 3 |
![]() |
(domain abstractCounterpart 1 Abstract) | Merge.kif 6078-6078 | The number 1 argument of abstract counterpart is an instance of abstract |
(domain abstractPart 1 Abstract) | Mid-level-ontology.kif 22744-22744 | The number 1 argument of abstract part is an instance of abstract |
(domain abstractPart 2 Abstract) | Mid-level-ontology.kif 22745-22745 | The number 2 argument of abstract part is an instance of abstract |
(domain achievement 3 Abstract) | ComputingBrands.kif 1661-1661 | The number 3 argument of achievement is an instance of abstract |
(domain benchmark 1 Abstract) | FinancialOntology.kif 1647-1647 | The number 1 argument of benchmark is an instance of abstract |
(domain offers 2 Abstract) | Catalog.kif 83-83 | The number 2 argument of offers is an instance of abstract |
(partition Entity Physical Abstract) | Merge.kif 805-805 | Entity is exhaustively partitioned into physical and abstract |
![]() |
![]() |