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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Abstract
Abstract(抽象的な)

appearance as argument number 1
-------------------------


(disjointDecomposition Abstract Quantity Attribute Relation Proposition List) Merge.kif 1665-1665 抽象的な, 属性, 関係, 命題, + リストdisjointly decomposed
(documentation Abstract ChineseLanguage "这些特质或质量,和任何以物理媒介化身的特质/质量不同。抽象 的实例在意义上,可以说是像数学物体如集合和关系般存在,但是它们不能没有任何物理编码或化身便存在于特定的时间 和地点。") chinese_format.kif 1705-1707 抽象的な, 属性, 関係, 命題, + リストdisjointly decomposed
(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 1667-1671 抽象的な, 属性, 関係, 命題, + リストdisjointly decomposed
(documentation Abstract JapaneseLanguage "物理的媒体における任意の特性/資質の特定の実施形態と 区別されるプロパティまたは品質。 抽象のインスタンスは、セットや関係など、数学的なオブジェクトと同じ意味で存在すると言える。 しかし、 それらは、いくつかの物理的なエンコーディングや実施形態なしで特定の場所と時間に存在することはでき ない。") japanese_format.kif 306-310 抽象的な, 属性, 関係, 命題, + リストdisjointly decomposed
(externalImage Abstract "http://upload.wikimedia.org/wikipedia/commons/0/ 01/ Black_Square.jpg") pictureList.kif 9868-9868 抽象的な, 属性, 関係, 命題, + リストdisjointly decomposed
(externalImage Abstract "http://upload.wikimedia.org/wikipedia/commons/e/ e0/ Theo_van_Doesburg_Counter_CompositionV_%281924%29.jpg") pictureList.kif 10350-10350 抽象的な, 属性, 関係, 命題, + リストdisjointly decomposed
(externalImage Abstract "http://upload.wikimedia.org/wikipedia/en/3/39/Kandinsky_white.jpg") pictureList.kif 10351-10351 抽象的な, 属性, 関係, 命題, + リストdisjointly decomposed
(externalImage Abstract "http://upload.wikimedia.org/wikipedia/en/9/9c/Mondrian_Comp10.jpg") pictureList.kif 10352-10352 抽象的な, 属性, 関係, 命題, + リストdisjointly decomposed
(subclass Abstract Entity) Merge.kif 1664-1664 抽象的なエンティティーsubclass では

appearance as argument number 2
-------------------------


(subclass Attribute Abstract) Merge.kif 1695-1695 属性抽象的なsubclass では
(subclass List Abstract) Merge.kif 2873-2873 リスト抽象的なsubclass では
(subclass ProcessTask Abstract) QoSontology.kif 2073-2073 ProcessTask抽象的なsubclass では
(subclass Proposition Abstract) Merge.kif 3555-3555 命題抽象的なsubclass では
(subclass Quantity Abstract) Merge.kif 1689-1689 抽象的なsubclass では
(subclass Relation Abstract) Merge.kif 2155-2155 関係抽象的なsubclass では
(subclass SetOrClass Abstract) Merge.kif 2124-2124 同じセットまたはクラス抽象的な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 de Abstract "abstrakter Gegenstand") terms-de.txt 355-355 同じセットまたはクラス抽象的な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 6121-6121 abstractCounterpart の数値 1 引数は 抽象的なinstance では
(domain abstractPart 1 Abstract) Mid-level-ontology.kif 24438-24438 abstractPart の数値 1 引数は 抽象的なinstance では
(domain abstractPart 2 Abstract) Mid-level-ontology.kif 24439-24439 abstractPart の数値 2 引数は 抽象的なinstance では
(domain achievement 3 Abstract) ComputingBrands.kif 1661-1661 アチーブメント の数値 3 引数は 抽象的なinstance では
(domain benchmark 1 Abstract) FinancialOntology.kif 1663-1663 benchmark の数値 1 引数は 抽象的なinstance では
(domain offers 2 Abstract) Catalog.kif 83-83 offers の数値 2 引数は 抽象的なinstance では
(partition Entity Physical Abstract) Merge.kif 809-809 エンティティー物理 + 抽象的なexhaustively partitioned


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



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