| 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 26594-26598 | |
| (domain telecomCode2 1 SymbolicString) | Mid-level-ontology.kif 26592-26592 | |
| (domain telecomCode2 2 TelecomNumber) | Mid-level-ontology.kif 26593-26593 | |
| (instance telecomCode2 AsymmetricRelation) | Mid-level-ontology.kif 26591-26591 | |
| (instance telecomCode2 BinaryPredicate) | Mid-level-ontology.kif 26590-26590 | |
| (subrelation telecomCode2 subString) | Mid-level-ontology.kif 26599-26599 |
| 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 65979-65979 |
| antecedent |
|
|
| (=> (and (telecomCode2 ?C2 ?WHOLE) (telecomAreaCode ?AC ?WHOLE)) (precedesInString ?AC ?C2 ?WHOLE)) |
Mid-level-ontology.kif 26636-26640 | |
| (=> (and (telecomCode2 ?C2 ?WHOLE) (telecomCountryCode ?CC ?WHOLE)) (precedesInString ?CC ?C2 ?WHOLE)) |
Mid-level-ontology.kif 26642-26646 |
|
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