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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PostalAddressText
PostalAddressText

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24846-24846 子類 PostalAddressText and LinguisticExpression
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24844-24844 子類 PostalAddressText and LocalizablePlaceID
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24843-24843 子類 PostalAddressText and PlaceAddress
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24845-24845 子類 PostalAddressText and SymbolicString

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24847-24847

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24850-24850 postAddressText, 1 and PostalAddressText


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