| Abstract
| |
| appearance as argument number 1 |
|
|
| (disjointDecomposition Abstract Quantity Attribute SetOrClass Relation Proposition List) | Merge.kif 1579-1579 | |
| (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 1581-1585 | |
| (externalImage Abstract "http://upload.wikimedia.org/wikipedia/commons/0/ 01/ Black_Square.jpg") | pictureList.kif 9887-9887 | |
| (externalImage Abstract "http://upload.wikimedia.org/wikipedia/commons/e/ e0/ Theo_van_Doesburg_Counter-CompositionV_%281924%29.jpg") | pictureList.kif 10373-10373 | |
| (externalImage Abstract "http://upload.wikimedia.org/wikipedia/en/3/39/Kandinsky_white.jpg") | pictureList.kif 10374-10374 | |
| (externalImage Abstract "http://upload.wikimedia.org/wikipedia/en/9/9c/Mondrian_Comp10.jpg") | pictureList.kif 10375-10375 | |
| (subclass Abstract Entity) | Merge.kif 1578-1578 |
| appearance as argument number 2 |
|
|
| (subclass Attribute Abstract) | Merge.kif 1609-1609 | |
| (subclass List Abstract) | Merge.kif 2769-2769 | |
| (subclass Model Abstract) | engineering.kif 68-68 | |
| (subclass ProcessTask Abstract) | QoSontology.kif 1948-1948 | |
| (subclass Proposition Abstract) | Merge.kif 3436-3436 | |
| (subclass Quantity Abstract) | Merge.kif 1603-1603 | |
| (subclass Relation Abstract) | Merge.kif 2072-2072 | |
| (subclass SetOrClass Abstract) | Merge.kif 2041-2041 | |
| (termFormat ChineseLanguage Abstract "抽象体") | chinese_format.kif 853-853 | |
| (termFormat EnglishLanguage Abstract "abstract") | english_format.kif 913-913 |
| appearance as argument number 3 |
|
|
| (domain abstractCounterpart 1 Abstract) | Merge.kif 5807-5807 | |
| (domain abstractPart 1 Abstract) | Mid-level-ontology.kif 20713-20713 | |
| (domain abstractPart 2 Abstract) | Mid-level-ontology.kif 20714-20714 | |
| (domain achievement 3 Abstract) | ComputingBrands.kif 1636-1636 | |
| (domain benchmark 1 Abstract) | FinancialOntology.kif 1589-1589 | |
| (domain offers 2 Abstract) | Catalog.kif 82-82 | |
| (partition Entity Physical Abstract) | Merge.kif 782-782 |
|
|
|