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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Character
Character

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


(documentation Character ChineseLanguage "字母表中的一个元素、一组数字等。注: Character 可能是 也可能不是 Language 的一部分。 CharacterSymbolicString 的子类别,因为 Character 的每 一个实例都是一个含又单一元素的文数字序列。") chinese_format.kif 1645-1647
(documentation Character EnglishLanguage "An element of an alphabet, a set of numerals, etc. Note that a Character may or may not be part of a Language. Character is a subclass of SymbolicString, because every instance of Character is an alphanumeric sequence consisting of a single element.") Merge.kif 1236-1239
(subclass Character SymbolicString) Merge.kif 1234-1234

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


(subclass AlphabeticCharacter Character) Mid-level-ontology.kif 17299-17299
(subclass DigitCharacter Character) Mid-level-ontology.kif 17303-17303
(termFormat ChineseLanguage Character "字符") chinese_format.kif 835-835
(termFormat EnglishLanguage Character "character") english_format.kif 877-877

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


(domain inString 1 Character) Mid-level-ontology.kif 22171-22171

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


(=>
    (and
        (instance ?STR AlphabeticString)
        (part ?CHAR ?STR)
        (instance ?CHAR Character))
    (instance ?CHAR AlphabeticCharacter))
Media.kif 2874-2879
(=>
    (and
        (instance ?STR DecimalDigitString)
        (part ?CHAR ?STR)
        (instance ?CHAR Character))
    (instance ?CHAR DigitCharacter))
Media.kif 2882-2887
(=>
    (and
        (instance ?STRING SymbolicString)
        (part ?CHAR ?STRING)
        (instance ?CHAR Character))
    (inString ?CHAR ?STRING))
Mid-level-ontology.kif 22179-22184

consequent
-------------------------


(=>
    (instance ?STRING SymbolicString)
    (exists (?PART)
        (and
            (part ?PART ?STRING)
            (instance ?PART Character))))
Merge.kif 1241-1246
(=>
    (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))))
Mid-level-ontology.kif 836-845


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