Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Abstract

appearance as argument number 1

(disjointDecomposition Abstract Quantity Attribute Relation Proposition List) Merge.kif 1670-1670 抽象体 分拆成不相交的 数量, 属性, 关系, 命题, 和 串列
(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 1672-1676
(documentation Abstract JapaneseLanguage "物理的媒体における任意の特性/資質の特定の実施形態と 区別されるプロパティまたは品質。 抽象のインスタンスは、セットや関係など、数学的なオブジェクトと同じ意味で存在すると言える。 しかし、 それらは、いくつかの物理的なエンコーディングや実施形態なしで特定の場所と時間に存在することはでき ない。") japanese_format.kif 306-310
(externalImage Abstract " 01/ Black_Square.jpg") pictureList.kif 9869-9869
(externalImage Abstract " e0/ Theo_van_Doesburg_Counter-CompositionV_%281924%29.jpg") pictureList.kif 10354-10354
(externalImage Abstract "") pictureList.kif 10355-10355
(externalImage Abstract "") pictureList.kif 10356-10356
(subclass Abstract Entity) Merge.kif 1669-1669 抽象体实体subclass

appearance as argument number 2

(subclass Attribute Abstract) Merge.kif 1700-1700 属性抽象体subclass
(subclass List Abstract) Merge.kif 2875-2875 串列抽象体subclass
(subclass ProcessTask Abstract) QoSontology.kif 1942-1942 流程任务抽象体subclass
(subclass Proposition Abstract) Merge.kif 3555-3555 命题抽象体subclass
(subclass Quantity Abstract) Merge.kif 1694-1694 数量抽象体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
(termFormat EnglishLanguage Abstract "abstract") english_format.kif 908-908
(termFormat FrenchLanguage Abstract "abstrait") french_format.kif 529-529
(termFormat Hindi Abstract "amUrta") terms-hindi.txt 60-60
(termFormat ItalianLanguage Abstract "Astratto") terms-it.txt 63-63
(termFormat JapaneseLanguage Abstract "抽象的な") japanese_format.kif 2214-2214
(termFormat PortugueseLanguage Abstract "Abstrato") portuguese_format.kif 481-481
(termFormat cb Abstract "hubo") terms-cb.txt 65-65
(termFormat cz Abstract "abstract") terms-cz.txt 96-96
(termFormat ro Abstract "abstract") relations-ro.kif 550-550
(termFormat tg Abstract "buod") terms-tg.txt 64-64

appearance as argument number 3

(domain abstractCounterpart 1 Abstract) Merge.kif 6111-6111 abstractCounterpart 的 1 数量 是 抽象体instance
(domain abstractPart 1 Abstract) Mid-level-ontology.kif 22744-22744 抽象的部分 的 1 数量 是 抽象体instance
(domain abstractPart 2 Abstract) Mid-level-ontology.kif 22745-22745 抽象的部分 的 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 816-816 实体 详尽无遗地 partition物理抽象体

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners