consequent

(=>     (and         (instance ?STRING SymbolicString)         (part ?CHAR ?STRING)         (instance ?CHAR Character))     (inString ?CHAR ?STRING))	Mid-level-ontology.kif 26677-26682	If X is an instance of symbolic string, Y is a part of X, and Y is an instance of character, then Y is part of X
(=>     (and         (subString ?S1 ?S2)         (inString ?CH ?S1))     (inString ?CH ?S2))	Mid-level-ontology.kif 26706-26710	If X is a sub-string of Y and Z is part of X, then Z is part of Y
(=>     (instance ?ANS AlphaNumericString)     (exists (?A ?N)         (and             (instance ?A AlphabeticCharacter)             (inString ?A ?ANS)             (instance ?N DigitCharacter)             (inString ?N ?ANS))))	Media.kif 2888-2895	If X is an instance of alpha numeric string, then there exist Y, Z such that Y is an instance of alphabetic character, Y is part of X, Z is an instance of digit character, and Z is part of X

Show simplified definition (without tree view)
Show simplified definition (with tree view)