| appearance as argument number 1 |
|
| (documentation telecomCode2 EnglishLanguage "(telecomCode2 ?SymbolicString ?TelecomNumber) means that ?SymbolicString is the second code (if there is one, such as a sub-area code) following the part of ?TelecomNumber denoted by telecomCountryCode.") | Mid-level-ontology.kif 26583-26587 | |
| (domain telecomCode2 1 SymbolicString) | Mid-level-ontology.kif 26581-26581 | The number 1 argument of telecom code2 is an instance of symbolic string |
| (domain telecomCode2 2 TelecomNumber) | Mid-level-ontology.kif 26582-26582 | The number 2 argument of telecom code2 is an instance of telecom number |
| (instance telecomCode2 AsymmetricRelation) | Mid-level-ontology.kif 26580-26580 | telecom code2 is an instance of asymmetric relation |
| (instance telecomCode2 BinaryPredicate) | Mid-level-ontology.kif 26579-26579 | telecom code2 is an instance of binary predicate |
| (subrelation telecomCode2 subString) | Mid-level-ontology.kif 26588-26588 | telecom code2 is a subrelation of sub string |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage telecomCode2 "secondary code 在 %2 是 %1 ") | domainEnglishFormat.kif 4750-4750 | |
| (format ChineseTraditionalLanguage telecomCode2 "secondary code 在 %2 是 %1 ") | domainEnglishFormat.kif 4749-4749 | |
| (format EnglishLanguage telecomCode2 "the secondary code in %2 is %1") | domainEnglishFormat.kif 4748-4748 | |
| (termFormat EnglishLanguage telecomCode2 "telecom code2") | domainEnglishFormat.kif 65978-65978 |
| antecedent |
|
|
| (=> (and (telecomCode2 ?C2 ?WHOLE) (telecomAreaCode ?AC ?WHOLE)) (precedesInString ?AC ?C2 ?WHOLE)) |
Mid-level-ontology.kif 26625-26629 |
|
| (=> (and (telecomCode2 ?C2 ?WHOLE) (telecomCountryCode ?CC ?WHOLE)) (precedesInString ?CC ?C2 ?WHOLE)) |
Mid-level-ontology.kif 26631-26635 |
|
|
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