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

Formal Language: 



KB Term:  Term intersection
English Word: 

  postStreetNumber

 Sigma KEE - postStreetNumber
postStreetNumber

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24827-24832
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24825-24825 The number 1 argument of post street number is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24826-24826 The number 2 argument of post street number is an instance of postal place
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24823-24823 post street number is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24824-24824 post street number is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4182-4182
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4181-4181
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4180-4180
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65911-65911


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