TreeView Knowledge Base Browser - inString

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 24693-24695
(domain inString 1 Character)	Mid-level-ontology.kif 24691-24691	Die Zahl 1 Argument von inString ist ein fall von Character %n{nicht}
(domain inString 2 SymbolicString)	Mid-level-ontology.kif 24692-24692	Die Zahl 2 Argument von inString ist ein fall von SymbolicString %n{nicht}
(instance inString BinaryPredicate)	Mid-level-ontology.kif 24690-24690	inString ist ein fall von BinaryPredicate %n{nicht}
(subrelation inString part)	Mid-level-ontology.kif 24696-24696	inString ist eine teilrelation von teil

appearance as argument number 2

(format ChineseLanguage inString "%1 是 %2 的 part ")	domainEnglishFormat.kif 3704-3704
(format ChineseTraditionalLanguage inString "%1 是 %2 的 part ")	domainEnglishFormat.kif 3703-3703
(format EnglishLanguage inString "%1 is part of %2")	domainEnglishFormat.kif 3702-3702
(termFormat EnglishLanguage inString "in string")	domainEnglishFormat.kif 65896-65896

antecedent

(=> (and (acronym ?STRING ?THING) (inString ?CHAR ?STRING)) (instance ?CHAR AlphabeticCharacter))	Mid-level-ontology.kif 27549-27553	Wenn acronym SymbolicString and Entity und inString Character and SymbolicString, dann Character ist ein fall von AlphabeticCharacter %n{nicht}
(=> (and (subString ?S1 ?S2) (inString ?CH ?S1)) (inString ?CH ?S2))	Mid-level-ontology.kif 24727-24731	Wenn subString SymbolicString and SymbolicString und inString Character and SymbolicString, dann inString Character and ** SymbolicString

consequent

(=> (and (instance ?STRING SymbolicString) (part ?CHAR ?STRING) (instance ?CHAR Character)) (inString ?CHAR ?STRING))	Mid-level-ontology.kif 24698-24703	Wenn SymbolicString ist ein fall von SymbolicString %n{nicht} und Character ist ein teil von SymbolicString %n{nicht} und Character ist ein fall von Character %n{nicht}, dann inString Character and SymbolicString
(=> (and (subString ?S1 ?S2) (inString ?CH ?S1)) (inString ?CH ?S2))	Mid-level-ontology.kif 24727-24731	Wenn subString SymbolicString and SymbolicString und inString Character and SymbolicString, dann inString Character and ** SymbolicString
(=> (instance ?ANS AlphaNumericString) (exists (?A ?N) (and (instance ?A AlphabeticCharacter) (inString ?A ?ANS) (instance ?N DigitCharacter) (inString ?N ?ANS))))	Media.kif 2941-2948	Wenn SymbolicString ist ein fall von AlphaNumericString %n{nicht}, dann es gibt Character und Character um Character ist ein fall von AlphabeticCharacter %n{nicht} und inString Character and SymbolicString und Character ist ein fall von DigitCharacter %n{nicht} und inString Character and ** SymbolicString

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

Show without tree

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