TreeView Knowledge Base Browser - telecomCode2

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - telecomCode2

telecomCode2

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 24930-24934
(domain telecomCode2 1 SymbolicString)	Mid-level-ontology.kif 24928-24928	The number 1 argument of telecom code2 is an instance of symbolic string
(domain telecomCode2 2 TelecomNumber)	Mid-level-ontology.kif 24929-24929	The number 2 argument of telecom code2 is an instance of telecom number
(instance telecomCode2 AsymmetricRelation)	Mid-level-ontology.kif 24927-24927	telecom code2 is an instance of asymmetric relation
(instance telecomCode2 BinaryPredicate)	Mid-level-ontology.kif 24926-24926	telecom code2 is an instance of binary predicate
(subrelation telecomCode2 subString)	Mid-level-ontology.kif 24935-24935	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 65952-65952

antecedent

(=> (and (telecomCode2 ?C2 ?WHOLE) (telecomAreaCode ?AC ?WHOLE)) (precedesInString ?AC ?C2 ?WHOLE))	Mid-level-ontology.kif 24972-24976	If the secondary code in a telecom number is a symbolic string and the area code in the telecom number is another symbolic string, then the other symbolic string precedes the symbolic string in the telecom number
(=> (and (telecomCode2 ?C2 ?WHOLE) (telecomCountryCode ?CC ?WHOLE)) (precedesInString ?CC ?C2 ?WHOLE))	Mid-level-ontology.kif 24978-24982	If the secondary code in a telecom number is a symbolic string and another symbolic string is the country code in the telecom number, then the other symbolic string precedes the symbolic string in the telecom number

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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