| 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 26611-26615 | |
| (domain telecomCode2 1 SymbolicString) | Mid-level-ontology.kif 26609-26609 | The number 1 argument of telecom code2 is an instance of symbolic string |
| (domain telecomCode2 2 TelecomNumber) | Mid-level-ontology.kif 26610-26610 | The number 2 argument of telecom code2 is an instance of telecom number |
| (instance telecomCode2 AsymmetricRelation) | Mid-level-ontology.kif 26608-26608 | telecom code2 is an instance of asymmetric relation |
| (instance telecomCode2 BinaryPredicate) | Mid-level-ontology.kif 26607-26607 | telecom code2 is an instance of binary predicate |
| (subrelation telecomCode2 subString) | Mid-level-ontology.kif 26616-26616 | 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 66010-66010 |
| antecedent |
|
|
| (=> (and (telecomCode2 ?C2 ?WHOLE) (telecomAreaCode ?AC ?WHOLE)) (precedesInString ?AC ?C2 ?WHOLE)) |
Mid-level-ontology.kif 26653-26657 |
|
| (=> (and (telecomCode2 ?C2 ?WHOLE) (telecomCountryCode ?CC ?WHOLE)) (precedesInString ?CC ?C2 ?WHOLE)) |
Mid-level-ontology.kif 26659-26663 |
|
|
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