TimeZone - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3832-3833
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17235-17237
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17234-17234	Time zone est une sous-classe de attribut relationnel

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17273-17273	CentralTimeZone est une instance de time zone
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17239-17239	CoordinatedUniversalTimeZone est une instance de time zone
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17285-17285	EasternTimeZone est une instance de time zone
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17261-17261	MountainTimeZone est une instance de time zone
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17246-17246	PacificTimeZone est une instance de time zone
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1238-1238
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1697-1697
No TPTP formula. May not be expressible in strict first order.	french_format.kif 916-916
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 449-449
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 452-452
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2600-2600
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 868-868
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 454-454
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 488-488
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 937-937
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 453-453

appearance as argument number 3

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

Merge.kif 17301-17301

Le nombre 2 argument de RelativeTimeFn est une instance de time zone

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: