TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Solarium EnglishLanguage "Solarium is a type of Room part of which is made with Transparent material like glass to afford exposure to the sun.")	Mid-level-ontology.kif 26784-26785
(subclass Solarium Room)	Mid-level-ontology.kif 26783-26783	Solarium ist eine teilkategorie von Room

appearance as argument number 2

(termFormat EnglishLanguage Solarium "solarium")

Mid-level-ontology.kif 26786-26786

antecedent

(=>
    (instance ?X Solarium)
    (exists (?WALL)
        (and
            (instance ?WALL Wall)
            (part ?WALL ?X)
            (attribute ?WALL Transparent))))

Mid-level-ontology.kif 26788-26794

Wenn Object ist ein fall von Solarium %n{nicht},
dann es gibt ** Object um ** ** Object ist ein fall von Wall %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht} und Transparent ist ein attribut von ** ** Object %n{nicht}