| 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 25218-25222 | |
| (domain telecomCode2 1 SymbolicString) | Mid-level-ontology.kif 25216-25216 | The number 1 argument of telecom code2 is an instance of symbolic string |
| (domain telecomCode2 2 TelecomNumber) | Mid-level-ontology.kif 25217-25217 | The number 2 argument of telecom code2 is an instance of telecom number |
| (instance telecomCode2 AsymmetricRelation) | Mid-level-ontology.kif 25215-25215 | telecom code2 is an instance of asymmetric relation |
| (instance telecomCode2 BinaryPredicate) | Mid-level-ontology.kif 25214-25214 | telecom code2 is an instance of binary predicate |
| (subrelation telecomCode2 subString) | Mid-level-ontology.kif 25223-25223 | telecom code2 is a subrelation of sub string |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage telecomCode2 "secondary code 在 %2 是 %1 ") | domainEnglishFormat.kif 4746-4746 | |
| (format ChineseTraditionalLanguage telecomCode2 "secondary code 在 %2 是 %1 ") | domainEnglishFormat.kif 4745-4745 | |
| (format EnglishLanguage telecomCode2 "the secondary code in %2 is %1") | domainEnglishFormat.kif 4744-4744 | |
| (termFormat EnglishLanguage telecomCode2 "telecom code2") | domainEnglishFormat.kif 66011-66011 |
| antecedent |
|
|
| (=> (and (telecomCode2 ?C2 ?WHOLE) (telecomAreaCode ?AC ?WHOLE)) (precedesInString ?AC ?C2 ?WHOLE)) |
Mid-level-ontology.kif 25260-25264 |
|
| (=> (and (telecomCode2 ?C2 ?WHOLE) (telecomCountryCode ?CC ?WHOLE)) (precedesInString ?CC ?C2 ?WHOLE)) |
Mid-level-ontology.kif 25266-25270 |
|
|
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