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


KB Term:  Term intersection
English Word: 

  ListFn__7Fn__0En1En2In3Ra4Ra5Re6In7RaFn

 Sigma KEE - postStreet
postStreet

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


(instance postStreet AsymmetricRelation) Mid-level-ontology.kif 27093-27093 post street is an instance of asymmetric relation
(instance postStreet BinaryPredicate) Mid-level-ontology.kif 27094-27094 post street is an instance of binary predicate
(domain postStreet 1 PostalPlace) Mid-level-ontology.kif 27095-27095 The number 1 argument of post street is an instance of postal place
(domain postStreet 2 Roadway) Mid-level-ontology.kif 27096-27096 The number 2 argument of post street is an instance of roadway
(documentation postStreet EnglishLanguage "(postStreet ?PostalPlace ?Roadway) means that ?PostalPlace is Adjacent to ?Roadway.") Mid-level-ontology.kif 27097-27099 The number 2 argument of post street is an instance of roadway

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners