SpeedFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - SpeedFn

SpeedFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2483-2485
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6661-6664
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1178-1180
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6657-6657	Le nombre 1 argument de SpeedFn est une instance de mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6658-6658	Le nombre 2 argument de SpeedFn est une instance de dur�e temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6656-6656	SpeedFn est une instance de fonction binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6655-6655	SpeedFn est une instance de relation total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6659-6659	Le domaine de SpeedFn est une instance de function de quantit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6654-6654	SpeedFn est une sous-relation de PerFn

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 659-659
No TPTP formula. May not be expressible in strict first order.	english_format.kif 662-662
No TPTP formula. May not be expressible in strict first order.	french_format.kif 396-396
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 267-267
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2126-2126
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 348-348
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 862-862
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 304-304
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 418-418
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 439-439
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 459-459
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54606-54606
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 660-660
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54605-54605
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54604-54604

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2890-2908	governorSpeed SpeedGovernor and function de quantit� nombre r�el MilesPerHour(s) est mesure de longueur par dur�e temporel nombre r�el MilesPerHour(s) est mesure de longueur par dur�e temporel nombre r�el est plus grand que nombre r�el nombre r�elPROB est probabilit� de la mesure de SpeedGovernor est nombre r�el MilesPerHour(s) nombre r�elPROB est probabilit� de la mesure de SpeedGovernor est nombre r�el MilesPerHour(s) nombre r�elPROB est plus grand que nombre r�elPROB
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11180-11188	Processus est une instance de marcher processus est une instance de Running processus est un agent de AutonomousAgent processus est un agent de AutonomousAgent la mesure de AutonomousAgent est nombre r�el par entit� pendant temps d'existence de processus la mesure de AutonomousAgent est nombre r�el par entit� pendant 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.	Weather.kif 148-157	Objet est une instance de WindFlow objet est une instance de objet objet est partiellement localis� � objet elevation objet and nombre r�el FootLength(s) nombre r�el est plus petit ou �gal � 500.0 la mesure de objet est mesure de longueur par dur�e temporel surfaceWindSpeed objet and mesure de longueur par dur�e temporel
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4899-4903	La mesure de FlowFn substance est mesure de longueur par dur�e temporel substance est une pi�ce de substance substance est une pi�ce de mesure de longueur par dur�e temporel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 115-123	surfaceWindVelocity r�gion, mesure de longueur par dur�e temporel and attribut directionnel r�gion est une instance de WindFlow processus processus est une instance de Wind eventPartlyLocated processus and r�gion la mesure de processus est mesure de longueur par dur�e temporel en r�gion dans la direction attribut directionnel
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1718-1736	topSpeed Vehicle and nombre r�el unit� de mesure(s) unit� de mesure est une instance de CompositeUnitOfMeasure entit� est une instance de UnitOfLength entit� est une instance de UnitOfDuration nombre r�el est probabilit� de la mesure de Vehicle est mesure de longueur entit�(s) par dur�e temporel entit�(s) nombre r�el est probabilit� de la mesure de Vehicle est mesure de longueur entit�(s) par dur�e temporel entit�(s) mesure de longueur par dur�e temporel est plus grand que nombre r�el nombre r�el est plus grand que mesure de longueur par dur�e temporel nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3929-3937	Function de quantit� est nombre r�el NauticalMile(s) par nombre r�el HourDuration(s) function de quantit� est nombre r�el + nombre r�el KnotUnitOfSpeed(s)

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1698-1704	Function de quantit� est nombre r�el MilesPerHour(s) function de quantit� est nombre r�el Mile(s) par 1 HourDuration(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17142-17163	Processus est une instance de Accelerating processus est un agent de AutonomousAgent nombre r�el nombre r�el, nombre r�el, nombre r�el, entit� and entit� la mesure de AutonomousAgent est nombre r�el entit�(s) par nombre r�el entit�(s) pendant le d�but de temps d'existence de processus la mesure de AutonomousAgent est nombre r�el entit�(s) par nombre r�el entit�(s) pendant la fin de temps d'existence de processus nombre r�el est plus grand que nombre r�el nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17170-17190	Processus est une instance de Decelerating processus est un agent de AutonomousAgent nombre r�el nombre r�el, nombre r�el, nombre r�el, entit� and entit� la mesure de AutonomousAgent est nombre r�el entit�(s) par nombre r�el entit�(s) pendant le d�but de temps d'existence de processus la mesure de AutonomousAgent est nombre r�el entit�(s) par nombre r�el entit�(s) pendant la fin de temps d'existence de processus nombre r�el est plus grand que nombre r�el nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Weather.kif 125-130	R�gion est une instance de objet physique est une instance de Wind la mesure de physique est mesure de longueur par dur�e temporel en r�gion dans la direction attribut directionnel surfaceWindVelocity r�gion, mesure de longueur par dur�e temporel and attribut directionnel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 148-157	Objet est une instance de WindFlow objet est une instance de objet objet est partiellement localis� � objet elevation objet and nombre r�el FootLength(s) nombre r�el est plus petit ou �gal � 500.0 la mesure de objet est mesure de longueur par dur�e temporel surfaceWindSpeed objet and mesure de longueur par dur�e temporel
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4899-4903	La mesure de FlowFn substance est mesure de longueur par dur�e temporel substance est une pi�ce de substance substance est une pi�ce de mesure de longueur par dur�e temporel
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3939-3945	Function de quantit� est nombre r�el KnotUnitOfSpeed(s) function de quantit� est nombre r�el NauticalMile(s) par 1.0 HourDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6679-6681	La mesure de physique est mesure de longueur par dur�e temporel en r�gion dans la direction attribut directionnel la mesure de physique est mesure de longueur par dur�e temporel

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