inString - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - inString

inString

appearance as argument number 1

(documentation inString EnglishLanguage "(inString ?Character ?SymbolicString) means that ?Character is part of ?SymbolicString. See also subString.")	Mid-level-ontology.kif 26037-26039
(domain inString 1 Character)	Mid-level-ontology.kif 26035-26035	The number 1 argument of in string is an instance of character
(domain inString 2 SymbolicString)	Mid-level-ontology.kif 26036-26036	The number 2 argument of in string is an instance of symbolic string
(instance inString BinaryPredicate)	Mid-level-ontology.kif 26034-26034	in string is an instance of binary predicate
(subrelation inString part)	Mid-level-ontology.kif 26040-26040	in string is a subrelation of part

appearance as argument number 2

(format ChineseLanguage inString "%1 是 %2 的 part ")	domainEnglishFormat.kif 3708-3708
(format ChineseTraditionalLanguage inString "%1 是 %2 的 part ")	domainEnglishFormat.kif 3707-3707
(format EnglishLanguage inString "%1 is part of %2")	domainEnglishFormat.kif 3706-3706
(termFormat EnglishLanguage inString "in string")	domainEnglishFormat.kif 65863-65863

antecedent

(=> (and (acronym ?STRING ?THING) (inString ?CHAR ?STRING)) (instance ?CHAR AlphabeticCharacter))	Mid-level-ontology.kif 29154-29158	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 (subString ?S1 ?S2) (inString ?CH ?S1)) (inString ?CH ?S2))	Mid-level-ontology.kif 26071-26075	If a symbolic string is a sub-string of another symbolic string and a character is part of the symbolic string, then the character is part of the other symbolic string

consequent

(=> (and (instance ?STRING SymbolicString) (part ?CHAR ?STRING) (instance ?CHAR Character)) (inString ?CHAR ?STRING))	Mid-level-ontology.kif 26042-26047	If a symbolic string is an instance of symbolic string and a character is a part of the symbolic string and the character is an instance of character, then the character is part of the symbolic string
(=> (and (subString ?S1 ?S2) (inString ?CH ?S1)) (inString ?CH ?S2))	Mid-level-ontology.kif 26071-26075	If a symbolic string is a sub-string of another symbolic string and a character is part of the symbolic string, then the character is part of the other symbolic string
(=> (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