| 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 24679-24685 | |
| (domain subString 1 SymbolicString) | Mid-level-ontology.kif 24677-24677 | |
| (domain subString 2 SymbolicString) | Mid-level-ontology.kif 24678-24678 | |
| (instance subString AntisymmetricRelation) | Mid-level-ontology.kif 24673-24673 | |
| (instance subString BinaryPredicate) | Mid-level-ontology.kif 24675-24675 | |
| (instance subString ReflexiveRelation) | Mid-level-ontology.kif 24674-24674 | |
| (instance subString TotalValuedRelation) | Mid-level-ontology.kif 24676-24676 | |
| (subrelation subString part) | Mid-level-ontology.kif 24686-24686 |
| 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 | |
| (subrelation telecomAreaCode subString) | Mid-level-ontology.kif 25212-25212 | |
| (subrelation telecomCode2 subString) | Mid-level-ontology.kif 25223-25223 | |
| (subrelation telecomCoreNumber subString) | Mid-level-ontology.kif 25179-25179 | |
| (subrelation telecomCountryCode subString) | Mid-level-ontology.kif 25197-25197 | |
| (termFormat EnglishLanguage subString "sub string") | domainEnglishFormat.kif 66006-66006 |
| 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 24688-24693 | |
| (=> (and (subString ?S1 ?S2) (inString ?CH ?S1)) (inString ?CH ?S2)) |
Mid-level-ontology.kif 24695-24699 |
| 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 24802-24806 |
|
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