TreeView Knowledge Base Browser - subString

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - subString

subString

appearance as argument number 1

(documentation subString EnglishLanguage "(subString ?SymbolicString-1 ?SymbolicString-2) means that ?SymbolicString-1 is part of ?SymbolicString-2. ?SymbolicString-2 includes all the same Characters as ?SymbolicString-1 and in the same order, but ?SymbolicString-2 may include more Characters than ?SymbolicString-1. See also inString.")	Mid-level-ontology.kif 24390-24396
(domain subString 1 SymbolicString)	Mid-level-ontology.kif 24388-24388	Die Zahl 1 Argument von subString ist ein fall von SymbolicString %n{nicht}
(domain subString 2 SymbolicString)	Mid-level-ontology.kif 24389-24389	Die Zahl 2 Argument von subString ist ein fall von SymbolicString %n{nicht}
(instance subString AntisymmetricRelation)	Mid-level-ontology.kif 24384-24384	subString ist ein fall von AntisymmetricRelation %n{nicht}
(instance subString BinaryPredicate)	Mid-level-ontology.kif 24386-24386	subString ist ein fall von BinaryPredicate %n{nicht}
(instance subString ReflexiveRelation)	Mid-level-ontology.kif 24385-24385	subString ist ein fall von ReflexiveRelation %n{nicht}
(instance subString TotalValuedRelation)	Mid-level-ontology.kif 24387-24387	subString ist ein fall von TotalValuedRelation %n{nicht}
(subrelation subString part)	Mid-level-ontology.kif 24397-24397	subString ist eine teilrelation von teil

appearance as argument number 2

(format ChineseLanguage subString "%1 是 %2 的 sub-string ")	domainEnglishFormat.kif 4702-4702
(format ChineseTraditionalLanguage subString "%1 是 %2 的 sub-string ")	domainEnglishFormat.kif 4701-4701
(format EnglishLanguage subString "%1 is a sub-string of %2")	domainEnglishFormat.kif 4700-4700
(subrelation keyName subString)	Media.kif 3281-3281	keyName ist eine teilrelation von subString
(subrelation telecomAreaCode subString)	Mid-level-ontology.kif 24923-24923	telecomAreaCode ist eine teilrelation von subString
(subrelation telecomCode2 subString)	Mid-level-ontology.kif 24934-24934	telecomCode2 ist eine teilrelation von subString
(subrelation telecomCoreNumber subString)	Mid-level-ontology.kif 24890-24890	telecomCoreNumber ist eine teilrelation von subString
(subrelation telecomCountryCode subString)	Mid-level-ontology.kif 24908-24908	telecomCountryCode ist eine teilrelation von subString
(termFormat EnglishLanguage subString "sub string")	domainEnglishFormat.kif 65946-65946

antecedent

(=> (and (humanName ?NAMESTRING ?HUMAN) (familyName ?STRING ?HUMAN) (subString ?STRING ?NAMESTRING)) (keyName ?STRING ?NAMESTRING))	Media.kif 3452-3457	Wenn humanName SymbolicString and Human und familyName SymbolicString and Human und subString SymbolicString and SymbolicString, dann keyName SymbolicString and SymbolicString
(=> (and (humanName ?NAMESTRING ?HUMAN) (givenName ?STRING ?HUMAN) (subString ?STRING ?NAMESTRING)) (not (keyName ?STRING ?NAMESTRING)))	Media.kif 3461-3466	Wenn humanName SymbolicString and Human und givenName SymbolicString and Human und subString SymbolicString and SymbolicString, dann keyName SymbolicString and SymbolicString
(=> (and (subString ?S1 ?S2) (equal ?L1 (StringLengthFn ?S1)) (equal ?L2 (StringLengthFn ?S2))) (lessThanOrEqualTo ?L1 ?L2))	Mid-level-ontology.kif 24399-24404	Wenn subString SymbolicString and SymbolicString und NonnegativeInteger ist gleich StringLengthFn SymbolicString %n{nicht} und NonnegativeInteger ist gleich StringLengthFn SymbolicString %n{nicht}, dann NonnegativeInteger ist kleinerAlsOderGleich NonnegativeInteger %n{nicht}
(=> (and (subString ?S1 ?S2) (inString ?CH ?S1)) (inString ?CH ?S2))	Mid-level-ontology.kif 24406-24410	Wenn subString SymbolicString and SymbolicString und inString Character and SymbolicString, dann inString Character and ** SymbolicString

consequent

(=> (browserID ?STRING ?BROWSER ?SITE) (exists (?WEBPAGE ?ACCESSING ?AGENT ?BPROC) (and (instance ?WEBPAGE WebPage) (subString ?WEBPAGE ?SITE) (instance ?ACCESSING AccessingWebPage) (instance ?AGENT AutonomousAgent) (agent ?ACCESSING ?AGENT) (programRunning ?BPROC ?BROWSER) (causes ?BPROC ?ACCESSING) (destination ?ACCESSING ?WEBPAGE) (represents ?STRING ?AGENT))))	UXExperimentalTerms.kif 736-748	Wenn browserID Identifier, WebBrowser and WebSite, dann es gibt SymbolicString, Process,, , AutonomousAgent, and und ComputerProcess um SymbolicString ist ein fall von WebPage %n{nicht} und subString SymbolicString and WebSite und Process ist ein fall von AccessingWebPage %n{nicht} und AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und programRunning ComputerProcess and WebBrowser und ComputerProcess verursacht Process %n{nicht} und Process endet an SymbolicString %n{nicht} und Identifier drueckt ** AutonomousAgent aus
(=> (hostedOn ?LISTING ?SITE) (exists (?PAGE) (and (instance ?PAGE WebPage) (subString ?LISTING ?PAGE) (subString ?PAGE ?SITE))))	UXExperimentalTerms.kif 125-131	Wenn hostedOn SymbolicString and WebSite, dann es gibt SymbolicString um SymbolicString ist ein fall von WebPage %n{nicht} und subString SymbolicString and SymbolicString und subString SymbolicString and ** WebSite
(=> (precedesInString ?S1 ?S2 ?S3) (and (subString ?S1 ?S3) (subString ?S2 ?S3)))	Mid-level-ontology.kif 24513-24517	Wenn precedesInString SymbolicString, SymbolicString and SymbolicString, dann subString SymbolicString and SymbolicString und subString SymbolicString 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