UnitOfDuration - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2431-2433
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6342-6345
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1122-1124
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6340-6340	UnitOfDuration e' uma sub-classe de NonCompositeUnitOfMeasure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19088-19088	CenturyDuration e' uma instancia de UnitOfDuration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7084-7084	DayDuration e' uma instancia de UnitOfDuration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8791-8791	DecadeDuration e' uma instancia de UnitOfDuration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7092-7092	HourDuration e' uma instancia de UnitOfDuration
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13707-13707	MillenniumDuration e' uma instancia de UnitOfDuration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7100-7100	MinuteDuration e' uma instancia de UnitOfDuration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7117-7117	MonthDuration e' uma instancia de UnitOfDuration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6709-6709	SecondDuration e' uma instancia de UnitOfDuration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7108-7108	WeekDuration e' uma instancia de UnitOfDuration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7135-7135	YearDuration e' uma instancia de UnitOfDuration
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65657-65657

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6401-6405	Numero Real Unidade de Medida(s) e' igual a Quantidade Fisica Unidade de Medida e' uma instancia de UnitOfDuration Quantidade Fisica e' uma instancia de Duracao Temporal
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2016-2029	Processo e' uma instancia de SpeakingAtAFasterRate Processo e' uma instancia de SpeakingAtASlowerRate Unidade de Medida e' uma instancia de UnitOfDuration Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent Processo contem informacao Proposicao Processo contem informacao Proposicao a duracao de tempo de existencia de Processo e' Numero Real Unidade de Medida(s) a duracao de tempo de existencia de Processo e' Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2102-2111	Fisico e' uma instancia de SpeakingAShortUtterance Fisico e' uma instancia de SpeakingALongUtterance Unidade de Medida e' uma instancia de UnitOfDuration a duracao de tempo de existencia de Fisico e' Numero Real Unidade de Medida(s) a duracao de tempo de existencia de Fisico e' Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 467-492	rentalPrice Fisico, Funcao de Quantidade, Agente Cognitivo and PricingScheme Funcao de Quantidade e' igual a PerFn Medida de Divisa and a medida de Numero Real e' Unidade de Medida Unidade de Medida e' uma instancia de UnitOfDuration Entidade e' uma instancia imediata de Fisico Processo e' uma instancia de Renting Entidade e' um patient de Processo Processo e' um agente de AutonomousAgent Processo existe durante Numero RealINT Intervalo Temporal Numero Real Numero RealINT acontece durante Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal a duracao de Intervalo Temporal e' Numero Real Unidade de Medida(s) Numero Real e' menor ou igual a Numero Real Transacao Financeira Transacao Financeira e' uma instancia de Payment Transacao Financeira termina em Agente Cognitivo Transacao Financeira e' um agente de AutonomousAgent transactionAmount Transacao Financeira and Medida de Divisa
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

consequent

No TPTP formula. May not be expressible in strict first order.

Dining.kif 1044-1059

subjectiveAttribute AutonomousAgent, Quick and AutonomousAgent subjectiveAttribute AutonomousAgent, Slow and AutonomousAgent Processo e' uma instancia de Classe Processo e' uma instancia de Classe Classe e' uma sub-classe de Processo Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent
Unidade de Medida e' uma instancia de UnitOfDuration a duracao de tempo de existencia de Processo e' Numero Real Unidade de Medida(s) a duracao de tempo de existencia de Processo e' Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real

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: