HourFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - HourFn

HourFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2764-2768
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8653-8659
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1493-1498
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8649-8649	O argumento numero 1 de HourFn e' uma instancia de Numero Inteiro nao-negativo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8650-8650	O argumento numero 2 de HourFn e' uma sub-classe de Dia
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8647-8647	HourFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8648-8648	HourFn e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8646-8646	HourFn e' uma instancia de Relacao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8651-8651	Os valores retornados por HourFn sao as sub-classes de Hora

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 471-471
No TPTP formula. May not be expressible in strict first order.	english_format.kif 477-477
No TPTP formula. May not be expressible in strict first order.	french_format.kif 272-272
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 133-133
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2062-2062
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 224-224
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 278-278
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 614-614
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 172-172
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 293-293
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 299-299
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 272-272
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9377-9377	Hora e' relacionado internamente por SUMO a HourFn
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28707-28707
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 472-472
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28706-28706
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28705-28705
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 273-273

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8665-8670	Intervalo Temporal e' uma instancia de a hora Numero Inteiro nao-negativo Intervalo Temporal e' uma instancia de a hora Numero Inteiro nao-negativo ( Numero Inteiro nao-negativo + Numero Inteiro nao-negativo) e' igual a 1 Intervalo Temporal encontra Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17277-17283	Posicao Temporal e' uma instancia de a hora Numero Inteiro nao-negativo Posicao Temporal e' uma instancia de a hora Numero Inteiro nao-negativo o tempo Posicao Temporal na zona CentralTimeZone e' igual a Posicao Temporal Numero Inteiro nao-negativo e' igual a ( Numero Inteiro nao-negativo + 6)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17289-17295	Posicao Temporal e' uma instancia de a hora Numero Inteiro nao-negativo Posicao Temporal e' uma instancia de a hora Numero Inteiro nao-negativo o tempo Posicao Temporal na zona EasternTimeZone e' igual a Posicao Temporal Numero Inteiro nao-negativo e' igual a ( Numero Inteiro nao-negativo + 5)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17265-17271	Posicao Temporal e' uma instancia de a hora Numero Inteiro nao-negativo Posicao Temporal e' uma instancia de a hora Numero Inteiro nao-negativo o tempo Posicao Temporal na zona MountainTimeZone e' igual a Posicao Temporal Numero Inteiro nao-negativo e' igual a ( Numero Inteiro nao-negativo + 7)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17253-17259	Posicao Temporal e' uma instancia de a hora Numero Inteiro nao-negativo Posicao Temporal e' uma instancia de a hora Numero Inteiro nao-negativo o tempo Posicao Temporal na zona PacificTimeZone e' igual a Posicao Temporal Numero Inteiro nao-negativo e' igual a ( Numero Inteiro nao-negativo + 8)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8661-8663	Entidade e' uma instancia de a hora Numero Inteiro nao-negativo Numero Inteiro nao-negativo e' menos que 24

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3691-3711	dayPhone Sequencia Simbolica and AutonomousAgent Telephone Entidade and Numero Real phoneNumber Sequencia Simbolica and Telephone Numero Real e' maior que 6 Numero Real e' menos que 18 Entidade Entidade e' uma instancia de Telephoning Entidade termina em AutonomousAgent Telephone e' um patient de Entidade AutonomousAgent possui Telephone o argumento Entidade Entidade e' uma instancia de Answering Entidade e' um sub-processo de Entidade Entidade e' um agente de AutonomousAgent tem a forca modal de Likely vale durante Entidade e' uma instancia de a hora Numero Real
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3735-3755	eveningPhone Sequencia Simbolica and AutonomousAgent Telephone Entidade and Numero Real phoneNumber Sequencia Simbolica and Telephone Numero Real e' maior que 18 Numero Real e' menos que 6 Entidade Entidade e' uma instancia de Telephoning Entidade termina em AutonomousAgent Telephone e' um patient de Entidade AutonomousAgent possui Telephone o argumento Entidade Entidade e' uma instancia de Answering Entidade e' um sub-processo de Entidade Entidade e' um agente de AutonomousAgent tem a forca modal de Likely vale durante Entidade e' uma instancia de a hora Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8831-8837	Intervalo Temporal e' uma instancia de Afternoon Intervalo Temporal Dia Intervalo Temporal e' uma instancia de a hora 12 Intervalo Temporal comeca em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19122-19129	Intervalo Temporal e' uma instancia de AnteMeridiem Dia Intervalo Temporal and Intervalo Temporal Intervalo Temporal e' uma instancia de a hora 24 Intervalo Temporal comeca em Intervalo Temporal Intervalo Temporal e' uma instancia de a hora 12 Intervalo Temporal termina em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8843-8849	Intervalo Temporal e' uma instancia de Morning Intervalo Temporal Dia Intervalo Temporal e' uma instancia de a hora 12 Intervalo Temporal termina em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19136-19143	Intervalo Temporal e' uma instancia de PostMeridiem Dia Intervalo Temporal and Intervalo Temporal Intervalo Temporal e' uma instancia de a hora 12 Intervalo Temporal comeca em Intervalo Temporal Intervalo Temporal e' uma instancia de a hora 24 Intervalo Temporal termina em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Food.kif 1867-1876	Intervalo Temporal e' uma instancia de LunchTime Intervalo Temporal Intervalo Temporal and Dia Intervalo Temporal acontece durante o intervalo entre o comeco de Intervalo Temporal e o fim de Intervalo Temporal Intervalo Temporal e' uma instancia de a hora 11 Intervalo Temporal e' uma instancia de a hora 15

statement

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

QoSontology.kif 2143-2143

UnixEpoch e' igual a o segundo 0

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