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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PerimeterArea

 Sigma KEE - PerimeterArea
PerimeterArea

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 763-766
No TPTP formula. May not be expressible in strict first order. Geography.kif 762-762 PerimeterArea est une sous-classe de r�gion

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 782-782 Le domaine de MaritimeClaimsTerritorialSeaFn est une instance de PerimeterArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 770-770 Les valeurs retourn�es par PerimeterAreaFn sont des sous-classes de PerimeterArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 820-820 UniformPerimeterArea est une sous-classe de PerimeterArea
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45174-45174
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45173-45173
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45172-45172


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