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 24391-24397
(domain subString 1 SymbolicString)	Mid-level-ontology.kif 24389-24389	域 subString, 1 and SymbolicString
(domain subString 2 SymbolicString)	Mid-level-ontology.kif 24390-24390	域 subString, 2 and SymbolicString
(instance subString AntisymmetricRelation)	Mid-level-ontology.kif 24385-24385	例 subString and AntisymmetricRelation
(instance subString BinaryPredicate)	Mid-level-ontology.kif 24387-24387	例 subString and BinaryPredicate
(instance subString ReflexiveRelation)	Mid-level-ontology.kif 24386-24386	例 subString and ReflexiveRelation
(instance subString TotalValuedRelation)	Mid-level-ontology.kif 24388-24388	例 subString and TotalValuedRelation
(subrelation subString part)	Mid-level-ontology.kif 24398-24398	子關係 subString and 部分

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 and subString
(subrelation telecomAreaCode subString)	Mid-level-ontology.kif 24924-24924	子關係 telecomAreaCode and subString
(subrelation telecomCode2 subString)	Mid-level-ontology.kif 24935-24935	子關係 telecomCode2 and subString
(subrelation telecomCoreNumber subString)	Mid-level-ontology.kif 24891-24891	子關係 telecomCoreNumber and subString
(subrelation telecomCountryCode subString)	Mid-level-ontology.kif 24909-24909	子關係 telecomCountryCode and 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	Human 是 called SymbolicString SymbolicString 是 Human 的 family name SymbolicString 是 SymbolicString 的 sub-string SymbolicString 是在 SymbolicString 的 key
(=> (and (humanName ?NAMESTRING ?HUMAN) (givenName ?STRING ?HUMAN) (subString ?STRING ?NAMESTRING)) (not (keyName ?STRING ?NAMESTRING)))	Media.kif 3461-3466	Human 是 called SymbolicString SymbolicString 是 Human 的 given name SymbolicString 是 SymbolicString 的 sub-string SymbolicString 是在 SymbolicString 的 key
(=> (and (subString ?S1 ?S2) (equal ?L1 (StringLengthFn ?S1)) (equal ?L2 (StringLengthFn ?S2))) (lessThanOrEqualTo ?L1 ?L2))	Mid-level-ontology.kif 24400-24405	SymbolicString 是 SymbolicString 的 sub-string 等於 NonnegativeInteger and SymbolicString 的 length 等於 NonnegativeInteger and SymbolicString 的 length 小於或等於 NonnegativeInteger and NonnegativeInteger
(=> (and (subString ?S1 ?S2) (inString ?CH ?S1)) (inString ?CH ?S2))	Mid-level-ontology.kif 24407-24411	SymbolicString 是 SymbolicString 的 sub-string Character 是 SymbolicString 的 part Character 是 SymbolicString 的 part

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	Identifier 是 WebBrowser 的 ID 當取用 WebSite SymbolicString Process, AutonomousAgent and 電腦程序例 SymbolicString and WebPage SymbolicString 是 WebSite 的 sub-string 例 Process and AccessingWebPage 例 AutonomousAgent and AutonomousAgent agent Process and AutonomousAgent WebBrowser 是電腦程序的執行 program 原因電腦程序 and Process 目的地 Process and SymbolicString 代表 Identifier and AutonomousAgent
(=> (hostedOn ?LISTING ?SITE) (exists (?PAGE) (and (instance ?PAGE WebPage) (subString ?LISTING ?PAGE) (subString ?PAGE ?SITE))))	UXExperimentalTerms.kif 125-131	SymbolicString 是在 WebSite hosted SymbolicString 例 SymbolicString and WebPage SymbolicString 是 SymbolicString 的 sub-string SymbolicString 是 WebSite 的 sub-string
(=> (precedesInString ?S1 ?S2 ?S3) (and (subString ?S1 ?S3) (subString ?S2 ?S3)))	Mid-level-ontology.kif 24514-24518	SymbolicString precedes SymbolicString 在 SymbolicString SymbolicString 是 SymbolicString 的 sub-string SymbolicString 是 SymbolicString 的 sub-string

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