Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  TimeZone

 Sigma KEE - TimeZone
TimeZone(time zone)Alaska_Standard_Time, Atlantic_Standard_Time, Atlantic_Time, Bering_Standard_Time, Bering_Time, Hawaii_Standard_Time, Hawaii_Time, SCLK, Yukon_Time, civil_time, daylight-saving_time, daylight-savings_time, daylight_saving, daylight_savings, local_time, spacecraft_clock_time, standard_time, time_zone

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 17186-17188
No TPTP formula. May not be expressible in strict first order. Merge.kif 17185-17185 Time zone is a subclass of relational attribute

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 17224-17224 Central time zone is an instance of time zone
No TPTP formula. May not be expressible in strict first order. Merge.kif 17190-17190 Coordinated universal time zone is an instance of time zone
No TPTP formula. May not be expressible in strict first order. Merge.kif 17236-17236 Eastern time zone is an instance of time zone
No TPTP formula. May not be expressible in strict first order. Merge.kif 17212-17212 Mountain time zone is an instance of time zone
No TPTP formula. May not be expressible in strict first order. Merge.kif 17197-17197 Pacific time zone is an instance of 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 17252-17252 The number 2 argument of relative time is an instance of time zone


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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