Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  telecomAreaCode

 Sigma KEE - telecomAreaCode
telecomAreaCode

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24914-24922
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24912-24912 域 telecomAreaCode, 1 and SymbolicString
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24913-24913 域 telecomAreaCode, 2 and TelecomNumber
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24911-24911 例 telecomAreaCode and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24910-24910 例 telecomAreaCode and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24923-24923 子關係 telecomAreaCode and subString

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4742-4742
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4741-4741
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4740-4740
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65951-65951

antecedent
-------------------------


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

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