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


KB Term:  Term intersection
English Word: 

  NowShahrAirport

 Sigma KEE - NowShahrAirport
NowShahrAirport(Now Shahr Airport)

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


(instance NowShahrAirport Airport) WorldAirports.kif 12625-12625 Now Shahr Airport is an instance of airport
(located NowShahrAirport Iran) WorldAirports.kif 12627-12627 Now Shahr Airport is located at iran

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


(abbreviation "IEN" NowShahrAirport) WorldAirports.kif 12626-12626 "IEN" is an abbreviation of Now Shahr Airport
(termFormat EnglishLanguage NowShahrAirport "Now Shahr Airport") WorldAirports.kif 41936-41936 "IEN" is an abbreviation of Now Shahr Airport


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners