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 SetOrClass Relation Proposition) Merge.kif 1710-1710
(documentation Abstract ChineseLanguage "这些特质或质量,和任何以物理媒介化身的特质/质量不同。抽象 的实例在意义上,可以说是像数学物体如集合和关系般存在,但是它们不能没有任何物理编码或化身便存在于特定的时间 和地点。") Merge.kif 1716-1718
(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 1711-1715
(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 1709-1709

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


(subclass Attribute Abstract) Merge.kif 1742-1742
(subclass Graph Abstract) Merge.kif 5729-5729
(subclass GraphElement Abstract) Merge.kif 5910-5910
(subclass Model Abstract) engineering.kif 68-68
(subclass ProcessTask Abstract) QoSontology.kif 1914-1914
(subclass Proposition Abstract) Merge.kif 3649-3649
(subclass Quantity Abstract) Merge.kif 1735-1735
(subclass Relation Abstract) Merge.kif 2265-2265
(subclass SetOrClass Abstract) Merge.kif 2225-2225
(termFormat ChineseLanguage Abstract "抽象体") chinese_format.kif 853-853
(termFormat EnglishLanguage Abstract "abstract") english_format.kif 540-540
(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 61-61
(termFormat PortugueseLanguage Abstract "Abstrato") portuguese_format.kif 481-481
(termFormat ar Abstract "مُجَرَّد") arabic_format.kif 265-265
(termFormat cb Abstract "hubo") terms-cb.txt 65-65
(termFormat cz Abstract "abstract") terms-cz.txt 96-96
(termFormat tg Abstract "buod") terms-tg.txt 64-64

appearance as argument number 3
-------------------------


(domain abstractCounterpart 1 Abstract) Merge.kif 6229-6229
(domain abstractPart 1 Abstract) Mid-level-ontology.kif 20638-20638
(domain abstractPart 2 Abstract) Mid-level-ontology.kif 20639-20639
(domain benchmark 1 Abstract) FinancialOntology.kif 1591-1591
(domain offers 2 Abstract) Catalog.kif 82-82
(partition Entity Physical Abstract) Merge.kif 842-842

antecedent
-------------------------


(=>
    (instance ?ABS Abstract)
    (not
        (exists (?POINT)
            (located ?ABS ?POINT))))
Merge.kif 1723-1727
(=>
    (instance ?ABS Abstract)
    (not
        (exists (?POINT)
            (time ?ABS ?POINT))))
Merge.kif 1729-1733


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners