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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MusicGenre

 Sigma KEE - MaritimeContiguousZone
MaritimeContiguousZone

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1033-1040
No TPTP formula. May not be expressible in strict first order. Geography.kif 1030-1030 MaritimeContiguousZone est une sous-classe de MaritimeClaimArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 1031-1031 MaritimeContiguousZone est une sous-classe de plan d'eau sal�

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1044-1044 Le domaine de MaritimeContiguousZoneFn est une instance de MaritimeContiguousZone
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36209-36209
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36208-36208
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36207-36207

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 1050-1054
No TPTP formula. May not be expressible in strict first order. Geography.kif 1206-1212


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 is open source software produced by Articulate Software and its partners