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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LongitudeFn

 Sigma KEE - LongitudeFn
LongitudeFn

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 451-459
No TPTP formula. May not be expressible in strict first order. Geography.kif 444-444 O argumento numero 1 de LongitudeFn e' uma instancia de Atributo Directional
No TPTP formula. May not be expressible in strict first order. Geography.kif 445-445 O argumento numero 2 de LongitudeFn e' uma instancia de Medida de Angulo
No TPTP formula. May not be expressible in strict first order. Geography.kif 446-446 O argumento numero 3 de LongitudeFn e' uma instancia de Medida de Angulo
No TPTP formula. May not be expressible in strict first order. Geography.kif 447-447 O argumento numero 4 de LongitudeFn e' uma instancia de Medida de Angulo
No TPTP formula. May not be expressible in strict first order. Geography.kif 442-442 LongitudeFn e' uma instancia de Funcao
No TPTP formula. May not be expressible in strict first order. Geography.kif 443-443 LongitudeFn e' uma instancia de Relacao de aridade variavel
No TPTP formula. May not be expressible in strict first order. Geography.kif 448-448 O contra-dominio de LongitudeFn e' uma instancia de Area Geografica

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3790-3790
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3789-3789
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3788-3788
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34997-34997
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34996-34996
No TPTP formula. May not be expressible in strict first order. Geography.kif 449-449
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34995-34995

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 467-474
No TPTP formula. May not be expressible in strict first order. Geography.kif 461-465

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 4662-4669 objectGeographicCoordinates GeographicCenterFn SouthernOcean, LatitudeFn South, 65.0 AngularDegree(s) and 0.0 ArcMinute(s) and LongitudeFn East, 0.0 AngularDegree(s) and 0.0 ArcMinute(s)


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