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 24448-24454
(domain subString 1 SymbolicString)	Mid-level-ontology.kif 24446-24446	O argumento numero 1 de subString e' uma instancia de Sequencia Simbolica
(domain subString 2 SymbolicString)	Mid-level-ontology.kif 24447-24447	O argumento numero 2 de subString e' uma instancia de Sequencia Simbolica
(instance subString AntisymmetricRelation)	Mid-level-ontology.kif 24442-24442	subString e' uma instancia de Relacao Anti-simetrica
(instance subString BinaryPredicate)	Mid-level-ontology.kif 24444-24444	subString e' uma instancia de Predicado Binario
(instance subString ReflexiveRelation)	Mid-level-ontology.kif 24443-24443	subString e' uma instancia de Relacao Reflexiva
(instance subString TotalValuedRelation)	Mid-level-ontology.kif 24445-24445	subString e' uma instancia de Relacao Total
(subrelation subString part)	Mid-level-ontology.kif 24455-24455	subString e' uma sub-relacao de part

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 3263-3263	keyName e' uma sub-relacao de subString
(subrelation telecomAreaCode subString)	Mid-level-ontology.kif 24981-24981	telecomAreaCode e' uma sub-relacao de subString
(subrelation telecomCode2 subString)	Mid-level-ontology.kif 24992-24992	telecomCode2 e' uma sub-relacao de subString
(subrelation telecomCoreNumber subString)	Mid-level-ontology.kif 24948-24948	telecomCoreNumber e' uma sub-relacao de subString
(subrelation telecomCountryCode subString)	Mid-level-ontology.kif 24966-24966	telecomCountryCode e' uma sub-relacao de subString
(termFormat EnglishLanguage subString "sub string")	domainEnglishFormat.kif 65948-65948

antecedent

(=> (and (humanName ?NAMESTRING ?HUMAN) (familyName ?STRING ?HUMAN) (subString ?STRING ?NAMESTRING)) (keyName ?STRING ?NAMESTRING))	Media.kif 3434-3439	humanName Sequencia Simbolica and Humano familyName Sequencia Simbolica and Humano subString Sequencia Simbolica and Sequencia Simbolica keyName Sequencia Simbolica and Sequencia Simbolica
(=> (and (humanName ?NAMESTRING ?HUMAN) (givenName ?STRING ?HUMAN) (subString ?STRING ?NAMESTRING)) (not (keyName ?STRING ?NAMESTRING)))	Media.kif 3443-3448	humanName Sequencia Simbolica and Humano givenName Sequencia Simbolica and Humano subString Sequencia Simbolica and Sequencia Simbolica keyName Sequencia Simbolica and Sequencia Simbolica
(=> (and (subString ?S1 ?S2) (equal ?L1 (StringLengthFn ?S1)) (equal ?L2 (StringLengthFn ?S2))) (lessThanOrEqualTo ?L1 ?L2))	Mid-level-ontology.kif 24457-24462	subString Sequencia Simbolica and Sequencia Simbolica Numero Inteiro nao-negativo e' igual a StringLengthFn Sequencia Simbolica Numero Inteiro nao-negativo e' igual a StringLengthFn Sequencia Simbolica Numero Inteiro nao-negativo e' menor ou igual a Numero Inteiro nao-negativo
(=> (and (subString ?S1 ?S2) (inString ?CH ?S1)) (inString ?CH ?S2))	Mid-level-ontology.kif 24464-24468	subString Sequencia Simbolica and Sequencia Simbolica inString Caracter and Sequencia Simbolica inString Caracter and Sequencia Simbolica

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	browserID Identifier, WebBrowser and WebSite Sequencia Simbolica Processo, AutonomousAgent and ComputerProcess Sequencia Simbolica e' uma instancia de WebPage subString Sequencia Simbolica and WebSite Processo e' uma instancia de AccessingWebPage AutonomousAgent e' uma instancia de AutonomousAgent Processo e' um agente de AutonomousAgent programRunning ComputerProcess and WebBrowser ComputerProcess causa Processo Processo termina em Sequencia Simbolica Identifier define AutonomousAgent
(=> (hostedOn ?LISTING ?SITE) (exists (?PAGE) (and (instance ?PAGE WebPage) (subString ?LISTING ?PAGE) (subString ?PAGE ?SITE))))	UXExperimentalTerms.kif 125-131	hostedOn Sequencia Simbolica and WebSite Sequencia Simbolica Sequencia Simbolica e' uma instancia de WebPage subString Sequencia Simbolica and Sequencia Simbolica subString Sequencia Simbolica and WebSite
(=> (precedesInString ?S1 ?S2 ?S3) (and (subString ?S1 ?S3) (subString ?S2 ?S3)))	Mid-level-ontology.kif 24571-24575	precedesInString Sequencia Simbolica, Sequencia Simbolica and Sequencia Simbolica subString Sequencia Simbolica and Sequencia Simbolica subString Sequencia Simbolica and Sequencia Simbolica

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