LatitudeFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - LatitudeFn

LatitudeFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 413-419
No TPTP formula. May not be expressible in strict first order.	Geography.kif 406-406	Le nombre 1 argument de LatitudeFn est une instance de attribut directionnel
No TPTP formula. May not be expressible in strict first order.	Geography.kif 407-407	Le nombre 2 argument de LatitudeFn est une instance de mesure d'angle
No TPTP formula. May not be expressible in strict first order.	Geography.kif 408-408	Le nombre 3 argument de LatitudeFn est une instance de mesure d'angle
No TPTP formula. May not be expressible in strict first order.	Geography.kif 409-409	Le nombre 4 argument de LatitudeFn est une instance de mesure d'angle
No TPTP formula. May not be expressible in strict first order.	Geography.kif 405-405	LatitudeFn est une instance de function
No TPTP formula. May not be expressible in strict first order.	Geography.kif 404-404	LatitudeFn est une instance de relation a arit� variable
No TPTP formula. May not be expressible in strict first order.	Geography.kif 410-410	Le domaine de LatitudeFn est une instance de r�gion

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3734-3734
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3733-3733
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3732-3732
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33479-33479
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33478-33478
No TPTP formula. May not be expressible in strict first order.	Geography.kif 411-411
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33477-33477

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 427-431	LatitudeFn attribut directionnel and @ROW est une instance de r�gion 1th nombre r�el AngularDegree(s) nombre r�el est plus petit ou �gal � 90.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 421-425	LatitudeFn attribut directionnel and @ROW est une instance de r�gion attribut directionnel est North attribut directionnel est South

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3595-3615	Objet est une instance de secteur g�ographique objet est situ� � objet objet est une instance de Tropics nombre r�el Longitude, attribut directionnel, nombre r�el and unit� de mesure objectGeographicCoordinates objet, nombre r�el unit� de mesure(s) and Longitude unit� de mesure est une instance de UnitOfAngularMeasure nombre r�el est moins que nombre r�el nombre r�el unit� de mesure(s) est LatitudeFn attribut directionnel, 23.0 AngularDegree(s), 26.0 ArcMinute(s) and 11.5 ArcSecond(s) attribut directionnel est une instance de attribut directionnel attribut directionnel est North attribut directionnel est South
No TPTP formula. May not be expressible in strict first order.	Weather.kif 623-642	Processus est une instance de TropicalCyclonicSystem processus a pour origine objet objet est une instance de NorthAtlanticOcean objet est une instance de PacificOcean objet est une instance de IndianOcean objet attribut directionnel, nombre r�el and Longitude objet est situ� � objet attribut directionnel est une instance de attribut directionnel objectGeographicCoordinates objet, LatitudeFn attribut directionnel and nombre r�el AngularDegree(s) and Longitude attribut directionnel est North attribut directionnel est South nombre r�el est moins que 5.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 433-440	Attribut directionnel est North attribut directionnel est South le longueur de LatitudeFn attribut directionnel, 0.0 AngularDegree(s), 1.0 ArcMinute(s) and 0.0 ArcSecond(s) est 1.0 NauticalMile(s)

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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