| 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 23744-23750 | |
| (domain subString 1 SymbolicString) | Mid-level-ontology.kif 23742-23742 | |
| (domain subString 2 SymbolicString) | Mid-level-ontology.kif 23743-23743 | |
| (instance subString AntisymmetricRelation) | Mid-level-ontology.kif 23738-23738 | |
| (instance subString BinaryPredicate) | Mid-level-ontology.kif 23740-23740 | |
| (instance subString ReflexiveRelation) | Mid-level-ontology.kif 23739-23739 | |
| (instance subString TotalValuedRelation) | Mid-level-ontology.kif 23741-23741 | |
| (subrelation subString part) | Mid-level-ontology.kif 23751-23751 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage subString "%1 是 %2 的 sub-string ") | domainEnglishFormat.kif 4711-4711 | |
| (format ChineseTraditionalLanguage subString "%1 是 %2 的 sub-string ") | domainEnglishFormat.kif 4710-4710 | |
| (format EnglishLanguage subString "%1 is a sub-string of %2") | domainEnglishFormat.kif 4709-4709 | |
| (subrelation keyName subString) | Media.kif 3269-3269 | |
| (subrelation telecomAreaCode subString) | Mid-level-ontology.kif 24273-24273 | |
| (subrelation telecomCode2 subString) | Mid-level-ontology.kif 24284-24284 | |
| (subrelation telecomCoreNumber subString) | Mid-level-ontology.kif 24240-24240 | |
| (subrelation telecomCountryCode subString) | Mid-level-ontology.kif 24258-24258 |
| antecedent |
|
|
| (=> (and (humanName ?NAMESTRING ?HUMAN) (familyName ?STRING ?HUMAN) (subString ?STRING ?NAMESTRING)) (keyName ?STRING ?NAMESTRING)) |
Media.kif 3440-3445 | |
| (=> (and (humanName ?NAMESTRING ?HUMAN) (givenName ?STRING ?HUMAN) (subString ?STRING ?NAMESTRING)) (not (keyName ?STRING ?NAMESTRING))) |
Media.kif 3449-3454 | |
| (=> (and (subString ?S1 ?S2) (equal ?L1 (StringLengthFn ?S1)) (equal ?L2 (StringLengthFn ?S2))) (lessThanOrEqualTo ?L1 ?L2)) |
Mid-level-ontology.kif 23753-23758 | |
| (=> (and (subString ?S1 ?S2) (inString ?CH ?S1)) (inString ?CH ?S2)) |
Mid-level-ontology.kif 23760-23764 |
| consequent |
|
|
| (=> (precedesInString ?S1 ?S2 ?S3) (and (subString ?S1 ?S3) (subString ?S2 ?S3))) |
Mid-level-ontology.kif 23867-23871 |
|
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