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


KB Term:  Term intersection
English Word: 

  Entity

 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 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