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 24303-24307
(domain telecomCode2 1 SymbolicString)	Mid-level-ontology.kif 24301-24301	The number 1 argument of telecomCode2 is an instance of symbolic string
(domain telecomCode2 2 TelecomNumber)	Mid-level-ontology.kif 24302-24302	The number 2 argument of telecomCode2 is an instance of TelecomNumber
(instance telecomCode2 AsymmetricRelation)	Mid-level-ontology.kif 24300-24300	telecomCode2 is an instance of asymmetric relation
(instance telecomCode2 BinaryPredicate)	Mid-level-ontology.kif 24299-24299	telecomCode2 is an instance of binary predicate
(subrelation telecomCode2 subString)	Mid-level-ontology.kif 24308-24308	telecomCode2 is a subrelation of subString

appearance as argument number 2

(format ChineseLanguage telecomCode2 "secondary code 在 %2 是 %1 ")	domainEnglishFormat.kif 4755-4755
(format ChineseTraditionalLanguage telecomCode2 "secondary code 在 %2 是 %1 ")	domainEnglishFormat.kif 4754-4754
(format EnglishLanguage telecomCode2 "the secondary code in %2 is %1")	domainEnglishFormat.kif 4753-4753

antecedent

(=> (and (telecomCode2 ?C2 ?WHOLE) (telecomAreaCode ?AC ?WHOLE)) (precedesInString ?AC ?C2 ?WHOLE))	Mid-level-ontology.kif 24345-24349	If the secondary code in a TelecomNumber is a symbolic string and the area code in the TelecomNumber is another symbolic string, then the other symbolic string precedes the symbolic string in the TelecomNumber
(=> (and (telecomCode2 ?C2 ?WHOLE) (telecomCountryCode ?CC ?WHOLE)) (precedesInString ?CC ?C2 ?WHOLE))	Mid-level-ontology.kif 24351-24355	If the secondary code in a TelecomNumber is a symbolic string and another symbolic string is the country code in the TelecomNumber, then the other symbolic string precedes the symbolic string in the TelecomNumber

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