TreeView Knowledge Base Browser - DirectionalAttribute

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

DirectionalAttribute

Sigma KEE - DirectionalAttribute

DirectionalAttribute(attribut directionnel)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3802-3803
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17001-17002
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10864-10864
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9984-9984
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17000-17000	Attribut directionnel est une sous-classe de attribut positionnel

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17022-17022	East est une instance de attribut directionnel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17011-17011	North est une instance de attribut directionnel
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3648-3648	Northeast est une instance de attribut directionnel
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3682-3682	Northwest est une instance de attribut directionnel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17015-17015	South est une instance de attribut directionnel
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3659-3659	Southeast est une instance de attribut directionnel
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3670-3670	Southwest est une instance de attribut directionnel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17025-17025	West est une instance de attribut directionnel
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1237-1237
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1695-1695
No TPTP formula. May not be expressible in strict first order.	french_format.kif 915-915
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 448-448
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 451-451
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2599-2599
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 867-867
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 453-453
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 487-487
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 936-936
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 452-452

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1277-1277	Le nombre 4 argument de AccelerationFn est une instance de attribut directionnel
No TPTP formula. May not be expressible in strict first order.	Geography.kif 477-477	Le nombre 1 argument de DirectionalSubregionFn est une instance de attribut directionnel
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 444-444	Le nombre 1 argument de LongitudeFn est une instance de attribut directionnel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6671-6671	Le nombre 4 argument de VelocityFn est une instance de attribut directionnel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16955-16955	Le nombre 2 argument de faces est une instance de attribut directionnel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 253-253	Le nombre 3 argument de highAltitudeWindVelocity est une instance de attribut directionnel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 204-204	Le nombre 3 argument de lowAltitudeWindVelocity est une instance de attribut directionnel
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3770-3770	Le nombre 3 argument de magneticVariation est une instance de attribut directionnel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 230-230	Le nombre 3 argument de mediumAltitudeWindVelocity est une instance de attribut directionnel
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1688-1688	Le nombre 2 argument de slopeGradientTowardsOrientation est une instance de attribut directionnel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 169-169	Le nombre 2 argument de surfaceWindDirection est une instance de attribut directionnel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 106-106	Le nombre 3 argument de surfaceWindVelocity est une instance de attribut directionnel

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17004-17009	Attribut positionnel est une instance de attribut directionnel objet est attribut positionnel � objet objet est attribut positionnel � objet objet est entre objet et objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 493-498	Attribut directionnel est une instance de attribut directionnel secteur g�ographique est une instance de secteur g�ographique DirectionalSubregionFn attribut directionnel and secteur g�ographique est une instance de secteur g�ographique geographicSubregion DirectionalSubregionFn attribut directionnel and secteur g�ographique and secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 500-505	Attribut directionnel est une instance de attribut directionnel secteur g�ographique est une instance de secteur g�ographique DirectionalSubregionFn attribut directionnel and secteur g�ographique est une instance de secteur g�ographique DirectionalSubregionFn attribut directionnel and secteur g�ographique est attribut directionnel � GeographicCenterFn secteur g�ographique

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.	Mid-level-ontology.kif 18150-18184	Objet est une instance de Saw processus est une instance de couper objet est un instrument pour processus objet est une instance de objet objet est un patient de processus processus entit�, entit�, interval temporel, position temporel, position temporel and objet processus est une instance de d�palcement processus est un sous-processus de processus objet est une instance de CuttingDevice objet est une partie de objet objet rencontre objet objet est un patient de processus position temporel est une instance de interval temporel position temporel est une instance de interval temporel temps d'existence de processus est interval temporel interval temporel est une partie de position temporel interval temporel est une partie de position temporel entit� est une instance de attribut directionnel entit� est une instance de attribut directionnel les entit�es dans le processus processus bougent entit� pendant position temporel les entit�es dans le processus processus bougent entit� entit� est entit� oppositeDirection entit� and entit� ~{ entit� est entit� } ~{ oppositeDirection entit� and entit� } pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 627-646	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.	Mid-level-ontology.kif 2264-2269	Entit� est une instance de Compass entit� entit� est une instance de attribut directionnel entit� d�finie entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11279-11290	Physique est une instance de changement de direction entit� entit� est une instance de attribut directionnel physique est ex�cut� de la fa�on entit� pendant le d�but de temps d'existence de physique physique est ex�cut� de la fa�on entit� pendant la fin de temps d'existence de physique physique est ex�cut� de la fa�on entit� pendant la fin de temps d'existence de physique physique est ex�cut� de la fa�on entit� pendant le d�but de temps d'existence de physique

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