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

KB Term:  Term intersection
English Word: 

Sigma KEE - MohamedVCasablancaAirport
MohamedVCasablancaAirport(Mohamed V Casablanca Airport)

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


(instance MohamedVCasablancaAirport Airport) WorldAirports.kif 5526-5526 Mohamed V Casablanca Airport is an instance of airport
(located MohamedVCasablancaAirport Morocco) WorldAirports.kif 5528-5528 Mohamed V Casablanca Airport is located at morocco

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


(abbreviation "CMN" MohamedVCasablancaAirport) WorldAirports.kif 5527-5527 "CMN" is an abbreviation of Mohamed V Casablanca Airport
(termFormat EnglishLanguage MohamedVCasablancaAirport "Mohamed V Casablanca Airport") WorldAirports.kif 37340-37340 "CMN" is an abbreviation of Mohamed V Casablanca Airport


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