| 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 | subString の数値 1 引数は 記号文字列 の instance では %n |
| (domain subString 2 SymbolicString) | Mid-level-ontology.kif 24447-24447 | subString の数値 2 引数は 記号文字列 の instance では %n |
| (instance subString AntisymmetricRelation) | Mid-level-ontology.kif 24442-24442 | subString は 反対称関係 の instance では %n |
| (instance subString BinaryPredicate) | Mid-level-ontology.kif 24444-24444 | subString は 2進述語 の instance では %n |
| (instance subString ReflexiveRelation) | Mid-level-ontology.kif 24443-24443 | subString は 反射関係 の instance では %n |
| (instance subString TotalValuedRelation) | Mid-level-ontology.kif 24445-24445 | subString は 合計値関係 の instance では %n |
| (subrelation subString part) | Mid-level-ontology.kif 24455-24455 | subString は part の subrelation では %n |
| 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 は subString の subrelation では %n |
| (subrelation telecomAreaCode subString) | Mid-level-ontology.kif 24981-24981 | telecomAreaCode は subString の subrelation では %n |
| (subrelation telecomCode2 subString) | Mid-level-ontology.kif 24992-24992 | telecomCode2 は subString の subrelation では %n |
| (subrelation telecomCoreNumber subString) | Mid-level-ontology.kif 24948-24948 | telecomCoreNumber は subString の subrelation では %n |
| (subrelation telecomCountryCode subString) | Mid-level-ontology.kif 24966-24966 | telecomCountryCode は subString の subrelation では %n |
| (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 | |
| (=> (and (humanName ?NAMESTRING ?HUMAN) (givenName ?STRING ?HUMAN) (subString ?STRING ?NAMESTRING)) (not (keyName ?STRING ?NAMESTRING))) |
Media.kif 3443-3448 | |
| (=> (and (subString ?S1 ?S2) (equal ?L1 (StringLengthFn ?S1)) (equal ?L2 (StringLengthFn ?S2))) (lessThanOrEqualTo ?L1 ?L2)) |
Mid-level-ontology.kif 24457-24462 | |
| (=> (and (subString ?S1 ?S2) (inString ?CH ?S1)) (inString ?CH ?S2)) |
Mid-level-ontology.kif 24464-24468 |
| 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 |
|
| (=> (hostedOn ?LISTING ?SITE) (exists (?PAGE) (and (instance ?PAGE WebPage) (subString ?LISTING ?PAGE) (subString ?PAGE ?SITE)))) |
UXExperimentalTerms.kif 125-131 | |
| (=> (precedesInString ?S1 ?S2 ?S3) (and (subString ?S1 ?S3) (subString ?S2 ?S3))) |
Mid-level-ontology.kif 24571-24575 |
|
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