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


KB Term:  Term intersection
English Word: 

  OrapaAirport

 Sigma KEE - OrapaAirport
OrapaAirport(Orapa Airport)

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


(instance OrapaAirport Airport) WorldAirports.kif 22723-22723 Orapa Airport is an instance of airport
(located OrapaAirport Botswana) WorldAirports.kif 22725-22725 Orapa Airport is located at botswana

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


(abbreviation "ORP" OrapaAirport) WorldAirports.kif 22724-22724 "ORP" is an abbreviation of Orapa Airport
(termFormat EnglishLanguage OrapaAirport "Orapa Airport") WorldAirports.kif 42309-42309 "ORP" is an abbreviation of Orapa 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