distance - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2655-2657
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7706-7711
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1372-1375
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7702-7702	Le nombre 1 argument de distance est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7703-7703	Le nombre 2 argument de distance est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7704-7704	Le nombre 3 argument de distance est une instance de mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7698-7698	distance est une instance de relation simple
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7699-7699	distance est une instance de relation spatial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7700-7700	distance est une instance de pr�dicat ternaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7701-7701	distance est une instance de relation total

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 621-621
No TPTP formula. May not be expressible in strict first order.	english_format.kif 624-624
No TPTP formula. May not be expressible in strict first order.	french_format.kif 375-375
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 78-78
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2109-2109
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 327-327
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 112-112
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 815-815
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 118-118
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 397-397
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 417-417
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 171-171
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7747-7747	depth est une sous-relation de distance
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 622-622
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19937-19937
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19936-19936
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 172-172

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 874-880	Objet est une instance de MaritimeClaimsTerritorialSeaFn r�gion la largeur de objet est nombre r�el unit� de mesure(s) la distance entre physique et r�gion est nombre r�el unit� de mesure(s) nombre r�el est plus petit ou �gal � nombre r�el physique est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1417-1436	Appareil est une instance de Gun unit� de mesure est une instance de UnitOfLength effectiveRange appareil and nombre r�el unit� de mesure(s) la distance entre appareil et objet est nombre r�el1 unit� de mesure(s) objet est une instance de organisme objet2 objet2 est entre objet et appareil nombre r�el1 est plus petit ou �gal � nombre r�el cha�ne sympbolique appareil est capable de faire la classe d�crite par cha�ne sympbolique dans le r�le instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1395-1413	Appareil est une instance de Gun unit� de mesure est une instance de UnitOfLength effectiveRange appareil and nombre r�el unit� de mesure(s) la distance entre appareil et objet est nombre r�el1 unit� de mesure(s) objet2 objet2 est entre objet et appareil nombre r�el1 est plus petit ou �gal � nombre r�el cha�ne sympbolique appareil est capable de faire la classe d�crite par cha�ne sympbolique dans le r�le instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1332-1355	Objet est une instance de Lever processus est une instance de Pushing physique est une instance de d�palcement unit� de mesure est une instance de UnitOfLength processus aboutit � objet physicalEnd objet and objet physicalEnd objet and objet objet est objet objet est situ� � processus1 pendant immediatement avant temps d'existence de physique objet est situ� � processus2 pendant immediatement apr�s temps d'existence de physique objet est situ� � processus3 pendant immediatement avant temps d'existence de physique objet est situ� � processus4 pendant immediatement apr�s temps d'existence de physique la distance entre processus1 et processus2 est nombre r�el unit� de mesure(s) la distance entre processus3 et processus4 est nombre r�el unit� de mesure(s) nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Geography.kif 837-850	R�gion est une instance de UniformPerimeterArea objet est une partie de InnerBoundaryFn r�gion objet est une partie de OuterBoundaryFn r�gion la distance entre objet et objet est mesure de longueur objet est une partie de InnerBoundaryFn r�gion objet est une partie de OuterBoundaryFn r�gion la distance entre objet et objet est mesure de longueur mesure de longueur est mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Geography.kif 863-872	Objet est Outside � r�gion objet est une instance de PerimeterAreaFn r�gion objet est une instance de UniformPerimeterArea la largeur de objet est nombre r�el unit� de mesure(s) la distance entre objet et r�gion est nombre r�el unit� de mesure(s) unit� de mesure est une instance de unit� de mesure ( nombre r�el + nombre r�el) est plus grand que 0.0 objet est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 852-861	Objet est Outside � r�gion objet est une instance de PerimeterAreaFn r�gion objet est une instance de UniformPerimeterArea la largeur de objet est nombre r�el unit� de mesure(s) la distance entre objet et r�gion est nombre r�el unit� de mesure(s) unit� de mesure est une instance de unit� de mesure ( nombre r�el + nombre r�el) est plus petit ou �gal � 0.0 objet est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11104-11114	Objet est le chemin le long duquel d�palcement se produit d�palcement a pour origine objet d�palcement aboutit � objet le longueur de objet est nombre r�el unit� de mesure(s) la distance entre objet et objet est nombre r�el unit� de mesure(s) nombre r�el est plus grand que nombre r�el objet est une partie de objet objet est entre objet et objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1295-1315	physicalEnd objet and objet physicalEnd objet and objet objet est une partie de objet objet est une partie de objet unit� de mesure est une instance de UnitOfLength la distance entre objet et objet est nombre r�el unit� de mesure(s) objet est objet objetP1 objetP2 and nombre r�el objetP1 est une partie de objet objetP2 est une partie de objet la distance entre objetP1 et objetP2 est nombre r�el unit� de mesure(s) nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17969-17984	physicalEnd objet and objet physicalEnd objet and objet objet est objet la distance entre objet et objet est nombre r�el unit� de mesure(s) objetP1 objetP2 and nombre r�el physicalEnd objetP1 and objet physicalEnd objetP2 and objet objetP1 est objetP2 la distance entre objetP1 et objetP2 est nombre r�el unit� de mesure(s) nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17928-17953	relativeAngle objet, objet and nombre r�el physicalEnd objet and objet physicalEnd objet and objet objet est objet le longueur de objet est nombre r�el1 unit� de mesure(s) le longueur de objet est nombre r�el2 unit� de mesure(s) la distance entre objet et objet est nombre r�el3 unit� de mesure(s) physicalEnd objet and objet physicalEnd objet and objet objet est objet objet ne rencontre %n{pas} objet nombre r�el est ArcCosineFn (( nombre r�el3 + nombre r�el3 + nombre r�el1 + nombre r�el1) + nombre r�el2 + nombre r�el2) + 2.0 + nombre r�el1 + nombre r�el2
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7713-7715	La distance entre physique et physique est mesure de longueur la distance entre physique et physique est mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9790-9796	Objet en une partie objet en une partie le cot� de objet en une partie est objet en une partie le cot� de objet en une partie est objet en une partie la distance entre objet en une partie et objet en une partie est mesure de longueur la largeur de objet en une partie est mesure de longueur

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4711-4720	OpenSea est un attribut de objet physique nombre r�el objet est une instance de plan d'eau sal� objet est une instance de LandlockedWater la distance entre physique et objet est nombre r�el NauticalMile(s) nombre r�el est plus grand que 5.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7740-7745	Le altitude de objet en une partie est physique objet en une partie le dessus de objet en une partie est objet en une partie la distance entre objet en une partie et physique est mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7717-7719	Le altitude de physique est physique la distance entre physique et physique est mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1922-1930	elevation objet en une partie and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfLength objet en une partie est une instance de LandForm objet en une partie le dessus de objet en une partie est objet en une partie la distance entre objet en une partie et SeaLevel est nombre r�el unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9798-9803	La hauteur de objet en une partie est mesure de longueur le dessus de objet en une partie est objet en une partie l' arri�re de objet en une partie est objet en une partie la distance entre objet en une partie et objet en une partie est mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1949-1971	Processus est une instance de EngineCycle Engine est une instance de InternalCombustionEngine objet est une instance de Piston unit� de mesure est une instance de UnitOfLength objet est une partie de Engine objet est un patient de processus eventLocated processus and Engine pistonStroke Engine and nombre r�el unit� de mesure(s) interval temporel interval temporel, physique, physique and nombre r�el interval temporel prend place pendant temps d'existence de processus interval temporel prend place pendant temps d'existence de processus objet est situ� � physique pendant interval temporel objet est situ� � physique pendant interval temporel la distance entre physique et physique est nombre r�el unit� de mesure(s) nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1393-1411	Processus est une instance de MovingAwayFromPeople processus est un agent de AutonomousAgent entit� entit�, nombre r�el and nombre r�el entit� est une instance de humain entit� est une instance de UnitOfLength la distance entre processus et AutonomousAgent est nombre r�el entit�(s) pendant immediatement avant temps d'existence de processus la distance entre processus et AutonomousAgent est nombre r�el entit�(s) pendant immediatement apr�s temps d'existence de processus nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1427-1445	Processus est une instance de MovingTowardsPeople processus est un agent de AutonomousAgent entit� entit�, nombre r�el and nombre r�el entit� est une instance de humain entit� est une instance de UnitOfLength la distance entre processus et AutonomousAgent est nombre r�el entit�(s) pendant immediatement avant temps d'existence de processus la distance entre processus et AutonomousAgent est nombre r�el entit�(s) pendant immediatement apr�s temps d'existence de processus nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Military.kif 759-769	Processus est une instance de Pulling processus est un agent de AutonomousAgent processusULLED est un patient de processus processus aboutit � entit� la distance entre AutonomousAgent et entit� est entit� la distance entre processusULLED et entit� est entit� entit� est plus grand que entit� pendant processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17637-17655	Interval temporel est une instance de Pulling interval temporel a pour origine objet interval temporel est un agent de AutonomousAgent AutonomousAgent est situ� � AutonomousAgentLOC pendant le d�but de interval temporel interval temporel aboutit � entit� entit� entit� and entit� la distance entre AutonomousAgentLOC et entit� est entit� entit�(s) la distance entre AutonomousAgentLOC et objet est entit� entit�(s) entit� est plus grand que entit� pendant immediatement apr�s le d�but de interval temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17615-17633	Interval temporel est une instance de Pushing interval temporel a pour origine objet interval temporel est un agent de AutonomousAgent AutonomousAgent est situ� � AutonomousAgentLOC pendant le d�but de interval temporel interval temporel aboutit � entit� entit� entit� and entit� la distance entre AutonomousAgentLOC et entit� est entit� entit�(s) la distance entre AutonomousAgentLOC et objet est entit� entit�(s) entit� est plus grand que entit� pendant immediatement apr�s le d�but de interval temporel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 689-702	Processus est une instance de TropicalCyclone processus aboutit � physique physique est une instance de secteur g�ographique objet physique and nombre r�el objet est une instance de zone de terre physique est une instance de Shoreline physique est situ� � objet la distance entre objet et physique est nombre r�el Mile(s) nombre r�el est plus grand que 200.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4697-4703	AntarcticCircumpolarCurrent a pour origine objet AntarcticCircumpolarCurrent aboutit � physique la distance entre objet et physique est 21000.0 1 millier Meters(s)
No TPTP formula. May not be expressible in strict first order.	Cars.kif 751-768	physicalAmplitude Tremor and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfLength entit� est un patient de Tremor physique physique, Tremor1, Tremor2 and nombre r�el2 Tremor1 prend place pendant temps d'existence de Tremor Tremor2 prend place pendant temps d'existence de Tremor entit� est situ� � physique pendant Tremor1 entit� est situ� � physique pendant Tremor2 la distance entre physique et physique est nombre r�el2 unit� de mesure(s) nombre r�el2 est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Cars.kif 737-749	physicalAmplitude Tremor and mesure de longueur entit� est un patient de Tremor physique physique, Tremor1 and Tremor2 Tremor1 prend place pendant temps d'existence de Tremor Tremor2 prend place pendant temps d'existence de Tremor entit� est situ� � physique pendant Tremor1 entit� est situ� � physique pendant Tremor2 la distance entre physique et physique est mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1295-1315	physicalEnd objet and objet physicalEnd objet and objet objet est une partie de objet objet est une partie de objet unit� de mesure est une instance de UnitOfLength la distance entre objet et objet est nombre r�el unit� de mesure(s) objet est objet objetP1 objetP2 and nombre r�el objetP1 est une partie de objet objetP2 est une partie de objet la distance entre objetP1 et objetP2 est nombre r�el unit� de mesure(s) nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17969-17984	physicalEnd objet and objet physicalEnd objet and objet objet est objet la distance entre objet et objet est nombre r�el unit� de mesure(s) objetP1 objetP2 and nombre r�el physicalEnd objetP1 and objet physicalEnd objetP2 and objet objetP1 est objetP2 la distance entre objetP1 et objetP2 est nombre r�el unit� de mesure(s) nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2724-2744	visibilityInMeteorology r�gion, interval temporel and nombre r�el unit� de mesure(s) unit� de mesure est une instance de unit� de mesure interval temporel est une instance de DayTime processus est une instance de Looking objet est une instance de objet color objet and Black processus est un agent de AutonomousAgent objet est un patient de processus AutonomousAgent est Horizontal � objet eventLocated processus and r�gion temps d'existence de processus prend place pendant interval temporel objet est une instance de objet nombre r�el la distance entre AutonomousAgent et objet est nombre r�el unit� de mesure(s) nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2746-2767	visibilityInMeteorology r�gion, interval temporel and nombre r�el unit� de mesure(s) unit� de mesure est une instance de unit� de mesure interval temporel est une instance de NightTime processus est une instance de Looking objet est une instance de r�gion Illuminated est un attribut de objet la mesure de objet est 1000.0 Candela(s) processus est un agent de AutonomousAgent objet est un patient de processus AutonomousAgent est Horizontal � objet eventLocated processus and r�gion temps d'existence de processus prend place pendant interval temporel objet est une instance de objet nombre r�el la distance entre AutonomousAgent et objet est nombre r�el unit� de mesure(s) nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2705-2722	visibilityInMeteorology r�gion, interval temporel and nombre r�el unit� de mesure(s) unit� de mesure est une instance de unit� de mesure processus AutonomousAgent, objet and nombre r�el processus est une instance de Looking processus est un agent de AutonomousAgent objet est un patient de processus AutonomousAgent est Horizontal � objet temps d'existence de processus prend place pendant interval temporel eventLocated processus and r�gion la distance entre AutonomousAgent et objet est nombre r�el unit� de mesure(s) nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7762-7767	depth objet en une partie, physique and mesure de longueur objet en une partie l' arri�re de objet en une partie est objet en une partie la distance entre objet en une partie et physique est mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7713-7715	La distance entre physique et physique est mesure de longueur la distance entre physique et physique est mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1914-1920	elevation objet and mesure de longueur objet objet est une partie de SeaLevel objet est Vertical � objet la distance entre objet et objet est mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Geography.kif 825-828	R�gion est une instance de UniformPerimeterArea mesure de longueur la distance entre InnerBoundaryFn r�gion et OuterBoundaryFn r�gion est mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1416-1436	waveHeight WaterWave and mesure de longueur objet objet, objet and unit� de mesure objet est une instance de BodyOfWater eventLocated WaterWave and objet objet est une partie de objet objet est une partie de objet la distance entre objet et objet est mesure de longueur objet objetH objet est une partie de objet le altitude de objet est objet objetH est plus grand que 0.0 objet objetH objet est une partie de objet le altitude de objet est objet objetH est plus grand que 0.0

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: