| appearance as argument number 1 |
|
| (documentation precedesInString EnglishLanguage "(precedesInString ?SymbolicString-1 ?SymbolicString-2 ?SymbolicString-3) means that ?SymbolicString-1 and ?SymbolicString-2 are subStrings of ?SymbolicString-3, and ?SymbolicString-1 occurs sequentially before ?SymbolicString-2 in ?SymbolicString-3. Example: (precedesInString "Johann" "Bach" "Johann Sebastian Bach").") | Mid-level-ontology.kif 24503-24510 | |
| (domain precedesInString 1 SymbolicString) | Mid-level-ontology.kif 24500-24500 | precedesInString の数値 1 引数は 記号文字列 の instance では %n |
| (domain precedesInString 2 SymbolicString) | Mid-level-ontology.kif 24501-24501 | precedesInString の数値 2 引数は 記号文字列 の instance では %n |
| (domain precedesInString 3 SymbolicString) | Mid-level-ontology.kif 24502-24502 | precedesInString の数値 3 引数は 記号文字列 の instance では %n |
| (instance precedesInString TernaryPredicate) | Mid-level-ontology.kif 24499-24499 | precedesInString は 3進述語 の instance では %n |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage precedesInString "%1 precedes %2 在 %3 ") | domainEnglishFormat.kif 4198-4198 | |
| (format ChineseTraditionalLanguage precedesInString "%1 precedes %2 在 %3 ") | domainEnglishFormat.kif 4197-4197 | |
| (format EnglishLanguage precedesInString "%1 precedes %2 in %3") | domainEnglishFormat.kif 4196-4196 | |
| (subrelation nameBeforeKeyName precedesInString) | Media.kif 3396-3396 | nameBeforeKeyName は precedesInString の subrelation では %n |
| (subrelation stringConcatenation precedesInString) | Mid-level-ontology.kif 24511-24511 | stringConcatenation は precedesInString の subrelation では %n |
| (termFormat EnglishLanguage precedesInString "precedes in string") | domainEnglishFormat.kif 65913-65913 |
| antecedent |
|
|
| (=> (and (keyName ?KEY ?NAMESTRING) (precedesInString ?KEY ?STRING ?NAMESTRING)) (nameAfterKeyName ?STRING ?KEY ?NAMESTRING)) |
Media.kif 3386-3390 | |
| (=> (and (keyName ?KEY ?NAMESTRING) (precedesInString ?STRING ?KEY ?NAMESTRING)) (nameBeforeKeyName ?STRING ?KEY ?NAMESTRING)) |
Media.kif 3413-3417 | |
| (=> (and (precedesInString ?S1 ?S2 ?S4) (precedesInString ?S2 ?S3 ?S4)) (precedesInString ?S1 ?S3 ?S4)) |
Mid-level-ontology.kif 24519-24523 |
|
| (=> (precedesInString ?S1 ?S2 ?S3) (and (subString ?S1 ?S3) (subString ?S2 ?S3))) |
Mid-level-ontology.kif 24513-24517 |
| consequent |
|
|
| (=> (and (precedesInString ?S1 ?S2 ?S4) (precedesInString ?S2 ?S3 ?S4)) (precedesInString ?S1 ?S3 ?S4)) |
Mid-level-ontology.kif 24519-24523 |
|
| (=> (and (telecomAreaCode ?AC ?WHOLE) (telecomCountryCode ?CC ?WHOLE)) (precedesInString ?CC ?AC ?WHOLE)) |
Mid-level-ontology.kif 24959-24963 | |
| (=> (and (telecomCode2 ?C2 ?WHOLE) (telecomAreaCode ?AC ?WHOLE)) (precedesInString ?AC ?C2 ?WHOLE)) |
Mid-level-ontology.kif 24971-24975 | |
| (=> (and (telecomCode2 ?C2 ?WHOLE) (telecomCountryCode ?CC ?WHOLE)) (precedesInString ?CC ?C2 ?WHOLE)) |
Mid-level-ontology.kif 24977-24981 | |
| (=> (and (telecomCoreNumber ?CN ?WHOLE) (telecomAreaCode ?AC ?WHOLE)) (precedesInString ?AC ?CN ?WHOLE)) |
Mid-level-ontology.kif 24947-24951 | |
| (=> (and (telecomCoreNumber ?CN ?WHOLE) (telecomCountryCode ?CC ?WHOLE)) (precedesInString ?CC ?CN ?WHOLE)) |
Mid-level-ontology.kif 24953-24957 | |
| (=> (and (telecomCoreNumber ?CN ?WHOLE) (telecomExtension ?EX ?WHOLE)) (precedesInString ?CN ?EX ?WHOLE)) |
Mid-level-ontology.kif 24965-24969 | |
| (=> (nameAfterKeyName ?STRING ?KEY ?NAMESTRING) (precedesInString ?KEY ?STRING ?NAMESTRING)) |
Media.kif 3382-3384 |
|
|
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