TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Script Collection)	Mid-level-ontology.kif 652-652	Script is a subclass of collection
(documentation Script EnglishLanguage "The collection of Characters in a particular written language. Every WrittenCommunication consists of Characters written in a particular script. Scripts include different typefaces, as well as entirely different characters. 'Times Roman' is a very specific script. While the 'latin' character set is a general one, that has specific subclasses like Times Roman. Other scripts include Devanagri (which may be expressed in many different more specific typefaces), or Simplified Chinese.")	Mid-level-ontology.kif 653-660	Script is a subclass of collection
(externalImage Script "http://upload.wikimedia.org/wikipedia/commons/2/21/ Japanese_katakana_typeface_having_upper_line.png")	pictureList.kif 1499-1499	Script is a subclass of collection
(externalImage Script "http://upload.wikimedia.org/wikipedia/commons/f/fe/ Caslon_schriftmusterblatt.jpeg")	pictureList.kif 1971-1971	Script is a subclass of collection
(externalImage Script "http://upload.wikimedia.org/wikipedia/commons/a/a2/ Serif_and_sans_serif_02.svg")	pictureList.kif 2345-2345	Script is a subclass of collection
(externalImage Script "http://upload.wikimedia.org/wikipedia/en/a/a4/Font_types.svg")	pictureList.kif 2346-2346	Script is a subclass of collection

appearance as argument number 2

(termFormat EnglishLanguage Script "script")	domainEnglishFormat.kif 51622-51622
(termFormat ChineseTraditionalLanguage Script "腳本")	domainEnglishFormat.kif 51623-51623
(termFormat ChineseLanguage Script "脚本")	domainEnglishFormat.kif 51624-51624

consequent

(=>
    (instance ?W WrittenCommunication)
    (exists (?T ?C ?S)
        (and
            (result ?W ?T)
            (instance ?T Text)
            (part ?C ?T)
            (instance ?C Character)
            (instance ?S Script)
            (member ?C ?S))))

If X is an instance of written communication, then All of the following hold: (1) there exist Y, Z (2) W such that Y is a result of X (3) Y is an instance of text (4) Z is a part of Y (5) Z is an instance of character (6) W is an instance of script (7) Z is a member of W