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 8639-8645
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 8635-8635	Le nombre 1 argument de HourFn est une instance de nombre entier non n�gatif
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8636-8636	Le nombre 2 argument de HourFn est une sous-classe de jour
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8633-8633	HourFn est une instance de fonction binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8634-8634	HourFn est une instance de relation partielle
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8632-8632	HourFn est une instance de relation temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8637-8637	Les valeurs retourn�es par HourFn sont des sous-classes de heure

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 9363-9363	Heure est reli� � l'int�rieur de SUMO � 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 8651-8656	Interval temporel est une instance de l' heure nombre entier non n�gatif interval temporel est une instance de l' heure nombre entier non n�gatif ( nombre entier non n�gatif + nombre entier non n�gatif) est interval temporel rencontre interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17228-17234	Position temporel est une instance de l' heure nombre entier non n�gatif position temporel est une instance de l' heure nombre entier non n�gatif le temps position temporel dans la zone CentralTimeZone est position temporel nombre entier non n�gatif est nombre entier non n�gatif + 6)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17240-17246	Position temporel est une instance de l' heure nombre entier non n�gatif position temporel est une instance de l' heure nombre entier non n�gatif le temps position temporel dans la zone EasternTimeZone est position temporel nombre entier non n�gatif est nombre entier non n�gatif + 5)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17216-17222	Position temporel est une instance de l' heure nombre entier non n�gatif position temporel est une instance de l' heure nombre entier non n�gatif le temps position temporel dans la zone MountainTimeZone est position temporel nombre entier non n�gatif est nombre entier non n�gatif + 7)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17204-17210	Position temporel est une instance de l' heure nombre entier non n�gatif position temporel est une instance de l' heure nombre entier non n�gatif le temps position temporel dans la zone PacificTimeZone est position temporel nombre entier non n�gatif est nombre entier non n�gatif + 8)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8647-8649	Entit� est une instance de l' heure nombre entier non n�gatif nombre entier non n�gatif est moins que 24

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3691-3711	dayPhone cha�ne sympbolique and AutonomousAgent Telephone entit� and nombre r�el phoneNumber cha�ne sympbolique and Telephone nombre r�el est plus grand que 6 nombre r�el est moins que 18 entit� entit� est une instance de Telephoning entit� aboutit � AutonomousAgent Telephone est un patient de entit� AutonomousAgent poss�de Telephone l'argument entit� entit� est une instance de Answering entit� est un sous-processus de entit� entit� est un agent de AutonomousAgent a la force modale de Likely pendant entit� est une instance de l' heure nombre r�el
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3735-3755	eveningPhone cha�ne sympbolique and AutonomousAgent Telephone entit� and nombre r�el phoneNumber cha�ne sympbolique and Telephone nombre r�el est plus grand que 18 nombre r�el est moins que 6 entit� entit� est une instance de Telephoning entit� aboutit � AutonomousAgent Telephone est un patient de entit� AutonomousAgent poss�de Telephone l'argument entit� entit� est une instance de Answering entit� est un sous-processus de entit� entit� est un agent de AutonomousAgent a la force modale de Likely pendant entit� est une instance de l' heure nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8817-8823	Interval temporel est une instance de Afternoon interval temporel jour interval temporel est une instance de l' heure 12 interval temporel commence interval temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19094-19101	Interval temporel est une instance de AnteMeridiem jour interval temporel and interval temporel interval temporel est une instance de l' heure 24 interval temporel commence interval temporel interval temporel est une instance de l' heure 12 interval temporel finit interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8829-8835	Interval temporel est une instance de Morning interval temporel jour interval temporel est une instance de l' heure 12 interval temporel finit interval temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19108-19115	Interval temporel est une instance de PostMeridiem jour interval temporel and interval temporel interval temporel est une instance de l' heure 12 interval temporel commence interval temporel interval temporel est une instance de l' heure 24 interval temporel finit interval temporel
No TPTP formula. May not be expressible in strict first order.	Food.kif 1867-1876	Interval temporel est une instance de LunchTime interval temporel interval temporel and jour interval temporel prend place pendant l'intervale entre le d�but de interval temporel et la fin de interval temporel interval temporel est une instance de l' heure 11 interval temporel est une instance de l' heure 15

statement

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

QoSontology.kif 2143-2143

UnixEpoch est seconde 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