| 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 22153-22159 | |
| (domain subString 1 SymbolicString) | Mid-level-ontology.kif 22151-22151 | |
| (domain subString 2 SymbolicString) | Mid-level-ontology.kif 22152-22152 | |
| (instance subString AntisymmetricRelation) | Mid-level-ontology.kif 22147-22147 | |
| (instance subString BinaryPredicate) | Mid-level-ontology.kif 22149-22149 | |
| (instance subString ReflexiveRelation) | Mid-level-ontology.kif 22148-22148 | |
| (instance subString TotalValuedRelation) | Mid-level-ontology.kif 22150-22150 | |
| (subrelation subString part) | Mid-level-ontology.kif 22160-22160 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage subString "%1 是 %2 的 sub-string ") | domainEnglishFormat.kif 4707-4707 | |
| (format ChineseTraditionalLanguage subString "%1 是 %2 的 sub-string ") | domainEnglishFormat.kif 4706-4706 | |
| (format EnglishLanguage subString "%1 is a sub-string of %2") | domainEnglishFormat.kif 4705-4705 | |
| (subrelation keyName subString) | Media.kif 3249-3249 | |
| (subrelation telecomAreaCode subString) | Mid-level-ontology.kif 22842-22842 | |
| (subrelation telecomCode2 subString) | Mid-level-ontology.kif 22853-22853 | |
| (subrelation telecomCoreNumber subString) | Mid-level-ontology.kif 22809-22809 | |
| (subrelation telecomCountryCode subString) | Mid-level-ontology.kif 22827-22827 |
| antecedent |
|
|
| (=> (and (humanName ?NAMESTRING ?HUMAN) (familyName ?STRING ?HUMAN) (subString ?STRING ?NAMESTRING)) (keyName ?STRING ?NAMESTRING)) |
Media.kif 3420-3425 | |
| (=> (and (humanName ?NAMESTRING ?HUMAN) (givenName ?STRING ?HUMAN) (subString ?STRING ?NAMESTRING)) (not (keyName ?STRING ?NAMESTRING))) |
Media.kif 3429-3434 | |
| (=> (and (subString ?S1 ?S2) (equal ?L1 (StringLengthFn ?S1)) (equal ?L2 (StringLengthFn ?S2))) (lessThanOrEqualTo ?L1 ?L2)) |
Mid-level-ontology.kif 22162-22167 | |
| (=> (and (subString ?S1 ?S2) (inString ?CH ?S1)) (inString ?CH ?S2)) |
Mid-level-ontology.kif 22169-22173 |
| consequent |
|
|
| (=> (precedesInString ?S1 ?S2 ?S3) (and (subString ?S1 ?S3) (subString ?S2 ?S3))) |
Mid-level-ontology.kif 22279-22283 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners