| 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 22205-22211 | |
| (domain subString 1 SymbolicString) | Mid-level-ontology.kif 22203-22203 | |
| (domain subString 2 SymbolicString) | Mid-level-ontology.kif 22204-22204 | |
| (instance subString AntisymmetricRelation) | Mid-level-ontology.kif 22199-22199 | |
| (instance subString BinaryPredicate) | Mid-level-ontology.kif 22201-22201 | |
| (instance subString ReflexiveRelation) | Mid-level-ontology.kif 22200-22200 | |
| (instance subString TotalValuedRelation) | Mid-level-ontology.kif 22202-22202 | |
| (subrelation subString part) | Mid-level-ontology.kif 22212-22212 |
| 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 22894-22894 | |
| (subrelation telecomCode2 subString) | Mid-level-ontology.kif 22905-22905 | |
| (subrelation telecomCoreNumber subString) | Mid-level-ontology.kif 22861-22861 | |
| (subrelation telecomCountryCode subString) | Mid-level-ontology.kif 22879-22879 |
| 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 22214-22219 | |
| (=> (and (subString ?S1 ?S2) (inString ?CH ?S1)) (inString ?CH ?S2)) |
Mid-level-ontology.kif 22221-22225 |
| consequent |
|
|
| (=> (precedesInString ?S1 ?S2 ?S3) (and (subString ?S1 ?S3) (subString ?S2 ?S3))) |
Mid-level-ontology.kif 22331-22335 |
|
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