TreeView Knowledge Base Browser - SpeedFn

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	O argumento numero 1 de SpeedFn e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6658-6658	O argumento numero 2 de SpeedFn e' uma instancia de Duracao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6656-6656	SpeedFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6655-6655	SpeedFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6659-6659	O contra-dominio de SpeedFn e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6654-6654	SpeedFn e' uma sub-relacao 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 2884-2902	governorSpeed SpeedGovernor and Funcao de Quantidade Numero Real MilesPerHour(s) e' igual a Medida de Comprimento por Duracao Temporal Numero Real MilesPerHour(s) e' igual a Medida de Comprimento por Duracao Temporal Numero Real e' maior que Numero Real Numero RealPROB e' igual a a probabilidade de a medida de SpeedGovernor e' Numero Real MilesPerHour(s) Numero RealPROB e' igual a a probabilidade de a medida de SpeedGovernor e' Numero Real MilesPerHour(s) Numero RealPROB e' maior que Numero RealPROB
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11158-11166	Processo e' uma instancia de Andar Processo e' uma instancia de Running Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent a medida de AutonomousAgent e' Numero Real por Entidade vale durante tempo de existencia de Processo a medida de AutonomousAgent e' Numero Real por Entidade vale durante tempo de existencia de Processo Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Weather.kif 148-157	Objeto e' uma instancia de WindFlow Objeto e' uma instancia de Objeto Objeto e' parcialmente localizado em Objeto elevation Objeto and Numero Real FootLength(s) Numero Real e' menor ou igual a 500.0 a medida de Objeto e' Medida de Comprimento por Duracao Temporal surfaceWindSpeed Objeto and Medida de Comprimento por Duracao Temporal
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4899-4903	A medida de FlowFn Substancia e' Medida de Comprimento por Duracao Temporal Substancia e' uma peca de Substancia Substancia e' uma peca de Medida de Comprimento por Duracao Temporal
No TPTP formula. May not be expressible in strict first order.	Weather.kif 115-123	surfaceWindVelocity Regiao, Medida de Comprimento por Duracao Temporal and Atributo Directional Regiao e' uma instancia de WindFlow Processo Processo e' uma instancia de Wind eventPartlyLocated Processo and Regiao a medida de Processo e' Medida de Comprimento por Duracao Temporal Regiao na direcao Atributo Directional
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1718-1736	topSpeed Vehicle and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de CompositeUnitOfMeasure Entidade e' uma instancia de UnitOfLength Entidade e' uma instancia de UnitOfDuration Numero Real e' igual a a probabilidade de a medida de Vehicle e' Medida de Comprimento Entidade(s) por Duracao Temporal Entidade(s) Numero Real e' igual a a probabilidade de a medida de Vehicle e' Medida de Comprimento Entidade(s) por Duracao Temporal Entidade(s) Medida de Comprimento por Duracao Temporal e' maior que Numero Real Numero Real e' maior que Medida de Comprimento por Duracao Temporal Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3929-3937	Funcao de Quantidade e' igual a Numero Real NauticalMile(s) por Numero Real HourDuration(s) Funcao de Quantidade e' igual a Numero Real + Numero Real KnotUnitOfSpeed(s)

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1702-1708	Funcao de Quantidade e' igual a Numero Real MilesPerHour(s) Funcao de Quantidade e' igual a Numero Real Mile(s) por 1 HourDuration(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17143-17164	Processo e' uma instancia de Accelerating Processo e' um agente de AutonomousAgent Numero Real Numero Real, Numero Real, Numero Real, Entidade and Entidade a medida de AutonomousAgent e' Numero Real Entidade(s) por Numero Real Entidade(s) vale durante o comeco de tempo de existencia de Processo a medida de AutonomousAgent e' Numero Real Entidade(s) por Numero Real Entidade(s) vale durante o fim de tempo de existencia de Processo Numero Real e' maior que Numero Real Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17171-17191	Processo e' uma instancia de Decelerating Processo e' um agente de AutonomousAgent Numero Real Numero Real, Numero Real, Numero Real, Entidade and Entidade a medida de AutonomousAgent e' Numero Real Entidade(s) por Numero Real Entidade(s) vale durante o comeco de tempo de existencia de Processo a medida de AutonomousAgent e' Numero Real Entidade(s) por Numero Real Entidade(s) vale durante o fim de tempo de existencia de Processo Numero Real e' maior que Numero Real Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Weather.kif 125-130	Regiao e' uma instancia de Objeto Fisico e' uma instancia de Wind a medida de Fisico e' Medida de Comprimento por Duracao Temporal Regiao na direcao Atributo Directional surfaceWindVelocity Regiao, Medida de Comprimento por Duracao Temporal and Atributo Directional
No TPTP formula. May not be expressible in strict first order.	Weather.kif 148-157	Objeto e' uma instancia de WindFlow Objeto e' uma instancia de Objeto Objeto e' parcialmente localizado em Objeto elevation Objeto and Numero Real FootLength(s) Numero Real e' menor ou igual a 500.0 a medida de Objeto e' Medida de Comprimento por Duracao Temporal surfaceWindSpeed Objeto and Medida de Comprimento por Duracao Temporal
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4899-4903	A medida de FlowFn Substancia e' Medida de Comprimento por Duracao Temporal Substancia e' uma peca de Substancia Substancia e' uma peca de Medida de Comprimento por Duracao Temporal
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3939-3945	Funcao de Quantidade e' igual a Numero Real KnotUnitOfSpeed(s) Funcao de Quantidade e' igual a Numero Real NauticalMile(s) por 1.0 HourDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6679-6681	A medida de Fisico e' Medida de Comprimento por Duracao Temporal Regiao na direcao Atributo Directional a medida de Fisico e' Medida de Comprimento por Duracao Temporal

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