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 telecomCode2, 1 and SymbolicString
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24928-24928 telecomCode2, 2 and TelecomNumber
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24926-24926 telecomCode2 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24925-24925 telecomCode2 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24934-24934 子關係 telecomCode2 and subString

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


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