No TPTP formula. May not be expressible in strict first order.	Media.kif 580-582	Intervalo Temporal e' uma instancia de Hanukkah a duracao de Intervalo Temporal e' 8 DayDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9368-9370	Intervalo Temporal e' uma instancia de Hora a duracao de Intervalo Temporal e' 1 HourDuration(s)
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6162-6168	Fisico e' uma instancia de IVBolusTherapy a duracao de tempo de existencia de Fisico e' Numero Real MinuteDuration(s) Numero Real e' menos que 5.0
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1579-1583	Agreement e' uma instancia de DayLoan agreementPeriod Agreement and Intervalo Temporal a duracao de Intervalo Temporal e' 1 DayDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9378-9380	Intervalo Temporal e' uma instancia de Minuto a duracao de Intervalo Temporal e' 1 MinuteDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9126-9128	Intervalo Temporal e' uma instancia de Abril a duracao de Intervalo Temporal e' 30 DayDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9182-9184	Intervalo Temporal e' uma instancia de Agosto a duracao de Intervalo Temporal e' 31 DayDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9239-9241	Intervalo Temporal e' uma instancia de Dezembro a duracao de Intervalo Temporal e' 31 DayDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9074-9076	Intervalo Temporal e' uma instancia de Janeiro a duracao de Intervalo Temporal e' 31 DayDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9168-9170	Intervalo Temporal e' uma instancia de Julho a duracao de Intervalo Temporal e' 31 DayDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9154-9156	Intervalo Temporal e' uma instancia de June a duracao de Intervalo Temporal e' 30 DayDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9112-9114	Intervalo Temporal e' uma instancia de Marco a duracao de Intervalo Temporal e' 31 DayDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9140-9142	Intervalo Temporal e' uma instancia de Maio a duracao de Intervalo Temporal e' 31 DayDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9225-9227	Intervalo Temporal e' uma instancia de Novembro a duracao de Intervalo Temporal e' 30 DayDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9211-9213	Intervalo Temporal e' uma instancia de Outubro a duracao de Intervalo Temporal e' 31 DayDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9197-9199	Intervalo Temporal e' uma instancia de Setembro a duracao de Intervalo Temporal e' 30 DayDuration(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2623-2636	Fisico e' uma instancia de Blizzard Entidade Entidade and Entidade Entidade e' uma instancia de Area Geografica eventLocated Fisico and Entidade surfaceWindSpeed Entidade and Entidade KnotUnitOfSpeed(s) Entidade e' maior que 35.0 a duracao de tempo de existencia de Fisico e' Entidade HourDuration(s) Entidade e' maior que 3 vale durante tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9013-9015	Intervalo Temporal e' uma instancia de QuarterYear a duracao de Intervalo Temporal e' 3 MonthDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9388-9390	Intervalo Temporal e' uma instancia de Segundo a duracao de Intervalo Temporal e' 1 SecondDuration(s)
No TPTP formula. May not be expressible in strict first order.	Media.kif 455-457	Intervalo Temporal e' uma instancia de Lent a duracao de Intervalo Temporal e' 40 DayDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9358-9360	Intervalo Temporal e' uma instancia de Semana a duracao de Intervalo Temporal e' 1 WeekDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8766-8768	Intervalo Temporal e' uma instancia de Ano a duracao de Intervalo Temporal e' 1 YearDuration(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1874-1882	measuringListDuration MeasuringList and Duracao Temporal Intervalo Temporal Intervalo Temporal e' igual a o intervalo entre o comeco de tempo de existencia de FirstFn MeasuringList e o fim de tempo de existencia de LastFn MeasuringList a duracao de Intervalo Temporal e' Duracao Temporal
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2574-2580	Agreement tem um atributo de ConventionalOption Numero Real Intervalo Temporal agreementPeriod Agreement and Intervalo Temporal a duracao de Intervalo Temporal e' Numero Real MonthDuration(s) Numero Real e' menos que 39
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2558-2564	Agreement tem um atributo de ConventionalOption Numero Real Intervalo Temporal agreementPeriod Agreement and Intervalo Temporal a duracao de Intervalo Temporal e' Numero Real MonthDuration(s) Numero Real e' menos que 9
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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