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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PostalAddressText
PostalAddressText(postal address text)PO_Box_No, PO_box_number, address, box_number, business_address, destination, mailing_address, name_and_address, post-office_box_number, return_address, street_address

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24847-24847 Postal address text is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24845-24845 Postal address text is a subclass of localizable place ID
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24844-24844 Postal address text is a subclass of place address
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24846-24846 Postal address text is a subclass of symbolic string

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24851-24851 The number 1 argument of post address text is an instance of postal address text


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