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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TimeZone

Sigma KEE - TimeZone
TimeZone(Zona Temporal)

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 Zona Temporal e' uma sub-classe de Atributo Relacional

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17273-17273 CentralTimeZone e' uma instancia de Zona Temporal
No TPTP formula. May not be expressible in strict first order. Merge.kif 17239-17239 CoordinatedUniversalTimeZone e' uma instancia de Zona Temporal
No TPTP formula. May not be expressible in strict first order. Merge.kif 17285-17285 EasternTimeZone e' uma instancia de Zona Temporal
No TPTP formula. May not be expressible in strict first order. Merge.kif 17261-17261 MountainTimeZone e' uma instancia de Zona Temporal
No TPTP formula. May not be expressible in strict first order. Merge.kif 17246-17246 PacificTimeZone e' uma instancia de Zona Temporal
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 O argumento numero 2 de RelativeTimeFn e' uma instancia de Zona Temporal


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