consequent

(=>     (and         (acronym ?STRING ?THING)         (inString ?CHAR ?STRING))     (instance ?CHAR AlphabeticCharacter))	Mid-level-ontology.kif 29135-29139	If a symbolic string is an acronym for an entity and a character is part of the symbolic string, then the character is an instance of alphabetic character
(=>     (and         (instance ?STR AlphabeticString)         (part ?CHAR ?STR)         (instance ?CHAR Character))     (instance ?CHAR AlphabeticCharacter))	Media.kif 2906-2911	If an object is an instance of alphabetic string and another object is a part of the object and the other object is an instance of character, then the other object is an instance of alphabetic character
(=>     (instance ?ANS AlphaNumericString)     (exists (?A ?N)         (and             (instance ?A AlphabeticCharacter)             (inString ?A ?ANS)             (instance ?N DigitCharacter)             (inString ?N ?ANS))))	Media.kif 2943-2950	If a symbolic string is an instance of alpha numeric string, then there exist a character and another character such that the character is an instance of alphabetic character and the character is part of the symbolic string and the other character is an instance of digit character and the other character is part of the symbolic string

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 3.0 is open source software produced by Articulate Software and its partners