Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
| appearance as argument number 1 |
|
|
| (subclass Abstract Entity) | Merge.kif 1762-1762 | Abstract is a subclass of entity |
| (disjointDecomposition Abstract Quantity Attribute Relation Proposition List) | Merge.kif 1763-1763 | Abstract is disjointly decomposed into quantity, attribute, relation, proposition, and list |
| (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 1765-1769 | Abstract is disjointly decomposed into quantity, attribute, relation, proposition, and list |
| (externalImage Abstract "http://upload.wikimedia.org/wikipedia/commons/0/ 01/ Black_Square.jpg") | pictureList.kif 9868-9868 | Abstract is disjointly decomposed into quantity, attribute, relation, proposition, and list |
| (externalImage Abstract "http://upload.wikimedia.org/wikipedia/commons/e/ e0/ Theo_van_Doesburg_Counter_CompositionV_%281924%29.jpg") | pictureList.kif 10350-10350 | Abstract is disjointly decomposed into quantity, attribute, relation, proposition, and list |
| (externalImage Abstract "http://upload.wikimedia.org/wikipedia/en/3/39/Kandinsky_white.jpg") | pictureList.kif 10351-10351 | Abstract is disjointly decomposed into quantity, attribute, relation, proposition, and list |
| (externalImage Abstract "http://upload.wikimedia.org/wikipedia/en/9/9c/Mondrian_Comp10.jpg") | pictureList.kif 10352-10352 | Abstract is disjointly decomposed into quantity, attribute, relation, proposition, and list |
| appearance as argument number 2 |
|
|
| (subclass Quantity Abstract) | Merge.kif 1787-1787 | Quantity is a subclass of abstract |
| (subclass Attribute Abstract) | Merge.kif 1793-1793 | Attribute is a subclass of abstract |
| (subclass SetOrClass Abstract) | Merge.kif 2238-2238 | Set or class is a subclass of abstract |
| (subclass Relation Abstract) | Merge.kif 2269-2269 | Relation is a subclass of abstract |
| (subclass List Abstract) | Merge.kif 2986-2986 | List is a subclass of abstract |
| (subclass Proposition Abstract) | Merge.kif 3668-3668 | Proposition is a subclass of abstract |
| (subclass ProcessTask Abstract) | QoSontology.kif 2066-2066 | Process task is a subclass of abstract |
| (termFormat EnglishLanguage Abstract "abstract") | english_format.kif 912-912 | Process task is a subclass of abstract |
| appearance as argument number 3 |
|
|
| (partition Entity Physical Abstract) | Merge.kif 808-808 | Entity is exhaustively partitioned into physical and abstract |
| (domain abstractCounterpart 1 Abstract) | Merge.kif 6230-6230 | The number 1 argument of abstract counterpart is an instance of abstract |
| (domain abstractPart 1 Abstract) | Mid-level-ontology.kif 25073-25073 | The number 1 argument of part is an instance of abstract |
| (domain abstractPart 2 Abstract) | Mid-level-ontology.kif 25074-25074 | The number 2 argument of part is an instance of abstract |
| (domain offers 2 Abstract) | Catalog.kif 83-83 | The number 2 argument of offers 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 1692-1692 | The number 1 argument of benchmark is an instance of abstract |
|
