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 24884-24889
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24882-24882 Le nombre 1 argument de postStreetNumber est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24883-24883 Le nombre 2 argument de postStreetNumber est une instance de PostalPlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24880-24880 postStreetNumber est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24881-24881 postStreetNumber est une instance de pr�dicat binaire

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 65913-65913


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