subString - Sigma Knowledge base Browser

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	Le nombre 1 argument de subString est une instance de cha�ne sympbolique
(domain subString 2 SymbolicString)	Mid-level-ontology.kif 24447-24447	Le nombre 2 argument de subString est une instance de cha�ne sympbolique
(instance subString AntisymmetricRelation)	Mid-level-ontology.kif 24442-24442	subString est une instance de relation antisym�trique
(instance subString BinaryPredicate)	Mid-level-ontology.kif 24444-24444	subString est une instance de pr�dicat binaire
(instance subString ReflexiveRelation)	Mid-level-ontology.kif 24443-24443	subString est une instance de relation r�flexive
(instance subString TotalValuedRelation)	Mid-level-ontology.kif 24445-24445	subString est une instance de relation total
(subrelation subString part)	Mid-level-ontology.kif 24455-24455	subString est une sous-relation 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 est une sous-relation de subString
(subrelation telecomAreaCode subString)	Mid-level-ontology.kif 24981-24981	telecomAreaCode est une sous-relation de subString
(subrelation telecomCode2 subString)	Mid-level-ontology.kif 24992-24992	telecomCode2 est une sous-relation de subString
(subrelation telecomCoreNumber subString)	Mid-level-ontology.kif 24948-24948	telecomCoreNumber est une sous-relation de subString
(subrelation telecomCountryCode subString)	Mid-level-ontology.kif 24966-24966	telecomCountryCode est une sous-relation 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 cha�ne sympbolique and humain familyName cha�ne sympbolique and humain subString cha�ne sympbolique and cha�ne sympbolique keyName cha�ne sympbolique and cha�ne sympbolique
(=> (and (humanName ?NAMESTRING ?HUMAN) (givenName ?STRING ?HUMAN) (subString ?STRING ?NAMESTRING)) (not (keyName ?STRING ?NAMESTRING)))	Media.kif 3443-3448	humanName cha�ne sympbolique and humain givenName cha�ne sympbolique and humain subString cha�ne sympbolique and cha�ne sympbolique keyName cha�ne sympbolique and cha�ne sympbolique
(=> (and (subString ?S1 ?S2) (equal ?L1 (StringLengthFn ?S1)) (equal ?L2 (StringLengthFn ?S2))) (lessThanOrEqualTo ?L1 ?L2))	Mid-level-ontology.kif 24457-24462	subString cha�ne sympbolique and cha�ne sympbolique nombre entier non n�gatif est StringLengthFn cha�ne sympbolique nombre entier non n�gatif est StringLengthFn cha�ne sympbolique nombre entier non n�gatif est plus petit ou �gal � nombre entier non n�gatif
(=> (and (subString ?S1 ?S2) (inString ?CH ?S1)) (inString ?CH ?S2))	Mid-level-ontology.kif 24464-24468	subString cha�ne sympbolique and cha�ne sympbolique inString character and cha�ne sympbolique inString character and cha�ne sympbolique

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 cha�ne sympbolique processus, AutonomousAgent and ComputerProcess cha�ne sympbolique est une instance de WebPage subString cha�ne sympbolique and WebSite processus est une instance de AccessingWebPage AutonomousAgent est une instance de AutonomousAgent processus est un agent de AutonomousAgent programRunning ComputerProcess and WebBrowser ComputerProcess cause processus processus aboutit � cha�ne sympbolique Identifier d�finie AutonomousAgent
(=> (hostedOn ?LISTING ?SITE) (exists (?PAGE) (and (instance ?PAGE WebPage) (subString ?LISTING ?PAGE) (subString ?PAGE ?SITE))))	UXExperimentalTerms.kif 125-131	hostedOn cha�ne sympbolique and WebSite cha�ne sympbolique cha�ne sympbolique est une instance de WebPage subString cha�ne sympbolique and cha�ne sympbolique subString cha�ne sympbolique and WebSite
(=> (precedesInString ?S1 ?S2 ?S3) (and (subString ?S1 ?S3) (subString ?S2 ?S3)))	Mid-level-ontology.kif 24571-24575	precedesInString cha�ne sympbolique, cha�ne sympbolique and cha�ne sympbolique subString cha�ne sympbolique and cha�ne sympbolique subString cha�ne sympbolique and cha�ne sympbolique

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