| appearance as argument number 1 |
|
| (documentation telecomCountryCode EnglishLanguage "(telecomCountryCode ?SymbolicString TelecomNumber) means that ?SymbolicString is the part of ?TelecomNumber that identifies the Nation in which the device identified by ?TelecomNumber is located (or registered). ?SymbolicString will be standard code conforming to, and assigned by, ITU-T Recommendation E.164.") | Mid-level-ontology.kif 24959-24965 | |
| (domain telecomCountryCode 1 SymbolicString) | Mid-level-ontology.kif 24957-24957 | Die Zahl 1 Argument von telecomCountryCode ist ein fall von SymbolicString %n{nicht} |
| (domain telecomCountryCode 2 TelecomNumber) | Mid-level-ontology.kif 24958-24958 | Die Zahl 2 Argument von telecomCountryCode ist ein fall von TelecomNumber %n{nicht} |
| (instance telecomCountryCode AsymmetricRelation) | Mid-level-ontology.kif 24956-24956 | telecomCountryCode ist ein fall von AsymmetricRelation %n{nicht} |
| (instance telecomCountryCode BinaryPredicate) | Mid-level-ontology.kif 24955-24955 | telecomCountryCode ist ein fall von BinaryPredicate %n{nicht} |
| (subrelation telecomCountryCode subString) | Mid-level-ontology.kif 24966-24966 | telecomCountryCode ist eine teilrelation von subString |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage telecomCountryCode "%1 是 country code 在 %2 ") | domainEnglishFormat.kif 4758-4758 | |
| (format ChineseTraditionalLanguage telecomCountryCode "%1 是 country code 在 %2 ") | domainEnglishFormat.kif 4757-4757 | |
| (format EnglishLanguage telecomCountryCode "%1 is the country code in %2") | domainEnglishFormat.kif 4756-4756 | |
| (termFormat EnglishLanguage telecomCountryCode "telecom country code") | domainEnglishFormat.kif 65957-65957 |
| antecedent |
|
|
| (=> (and (telecomAreaCode ?AC ?WHOLE) (telecomCountryCode ?CC ?WHOLE)) (precedesInString ?CC ?AC ?WHOLE)) |
Mid-level-ontology.kif 25017-25021 | |
| (=> (and (telecomCode2 ?C2 ?WHOLE) (telecomCountryCode ?CC ?WHOLE)) (precedesInString ?CC ?C2 ?WHOLE)) |
Mid-level-ontology.kif 25035-25039 | |
| (=> (and (telecomCoreNumber ?CN ?WHOLE) (telecomCountryCode ?CC ?WHOLE)) (precedesInString ?CC ?CN ?WHOLE)) |
Mid-level-ontology.kif 25011-25015 |
|
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