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 e' uma sub-classe de Regiao

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 782-782 O contra-dominio de MaritimeClaimsTerritorialSeaFn e' uma instancia de PerimeterArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 770-770 Os valores retornados por PerimeterAreaFn sao as sub-classes de PerimeterArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 820-820 UniformPerimeterArea e' uma sub-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