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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24929-24933
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24927-24927	The number 1 argument of telecom code2 is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24928-24928	The number 2 argument of telecom code2 is an instance of telecom number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24926-24926	telecom code2 is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24925-24925	telecom code2 is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24934-24934	telecom code2 is a subrelation of sub string

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4746-4746
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4745-4745
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4744-4744
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65952-65952

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24971-24975	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24977-24981	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