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


KB Term:  Term intersection
English Word: 

  SpanishMorocco

 Sigma KEE - SpanishMorocco
SpanishMorocco(Spanish Morocco)

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


(dependentGeopoliticalArea SpanishMorocco Spain) WorldAirports.kif 19186-19186 Spanish Morocco is a dependent of spain
(instance SpanishMorocco GeographicArea) WorldAirports.kif 19190-19190 Spanish Morocco is an instance of geographic area
(located SpanishMorocco Africa) WorldAirports.kif 19191-19191 Spanish Morocco is located at africa

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


(termFormat EnglishLanguage SpanishMorocco "Melila") WorldAirports.kif 19187-19187
(termFormat EnglishLanguage SpanishMorocco "Spanish Morocco") WorldAirports.kif 19188-19188
(located MelillaAirport SpanishMorocco) WorldAirports.kif 19195-19195 Melilla Airport is located at Spanish Morocco


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