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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DayDuration

Sigma KEE - DayDuration
DayDuration(day duration)all_day_long, day, daylong, sidereal_day

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2579-2579
No TPTP formula. May not be expressible in strict first order. Merge.kif 7024-7024
No TPTP formula. May not be expressible in strict first order. Merge.kif 7023-7023 Day duration is an instance of time duration
No TPTP formula. May not be expressible in strict first order. Merge.kif 7022-7022 Day duration is an instance of unit of duration

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9169-9169 Day is internally related to day duration
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18644-18644
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18643-18643
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18642-18642

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 9400-9404
No TPTP formula. May not be expressible in strict first order. Media.kif 611-617
No TPTP formula. May not be expressible in strict first order. Merge.kif 7061-7065
No TPTP formula. May not be expressible in strict first order. Merge.kif 7067-7071

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 9010-9015
No TPTP formula. May not be expressible in strict first order. Merge.kif 9003-9008
No TPTP formula. May not be expressible in strict first order. Media.kif 538-547
No TPTP formula. May not be expressible in strict first order. Media.kif 473-482
No TPTP formula. May not be expressible in strict first order. Media.kif 559-568
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2744-2757
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2953-2957
No TPTP formula. May not be expressible in strict first order. Merge.kif 9173-9175
No TPTP formula. May not be expressible in strict first order. Media.kif 580-582
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1579-1583
No TPTP formula. May not be expressible in strict first order. Merge.kif 9041-9043
No TPTP formula. May not be expressible in strict first order. Merge.kif 9097-9099
No TPTP formula. May not be expressible in strict first order. Merge.kif 9154-9156
No TPTP formula. May not be expressible in strict first order. Merge.kif 8989-8991
No TPTP formula. May not be expressible in strict first order. Merge.kif 9083-9085
No TPTP formula. May not be expressible in strict first order. Merge.kif 9069-9071
No TPTP formula. May not be expressible in strict first order. Merge.kif 9027-9029
No TPTP formula. May not be expressible in strict first order. Merge.kif 9055-9057
No TPTP formula. May not be expressible in strict first order. Merge.kif 9140-9142
No TPTP formula. May not be expressible in strict first order. Merge.kif 9126-9128
No TPTP formula. May not be expressible in strict first order. Merge.kif 9112-9114
No TPTP formula. May not be expressible in strict first order. Media.kif 455-457

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 336-336 Botulism disease incubation 2 hour duration(s) for 8 day duration(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 419-419 Bubonic plague disease incubation 2 day duration(s) for 6 day duration(s)
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 727-729 Covid disease incubation 1 day duration(s) for 14 day duration(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 1911-1911 Crimean congo hemorrhagic fever disease incubation 5 day duration(s) for 13 day duration(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 1903-1903 Diphtheria disease incubation 2 day duration(s) for 5 day duration(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 1519-1519 Herpes b disease incubation 10 day duration(s) for 20 day duration(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 1713-1713 Japanese encephalitis disease incubation 6 day duration(s) for 8 day duration(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 2047-2047 Kyasanur forest disease disease incubation 3 day duration(s) for 8 day duration(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 1743-1743 Marburg disease disease incubation 3 day duration(s) for 7 day duration(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 1580-1580 Pertussis disease incubation 6 day duration(s) for 21 day duration(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 424-424 Pneumonic plague disease incubation 3 day duration(s) for 4 day duration(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 1602-1602 Psittacosis disease incubation 6 day duration(s) for 19 day duration(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 1824-1824 Rotavirus gastroenteritis disease incubation 1 day duration(s) for 3 day duration(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 1682-1682 Saint louis encephalitis disease incubation 5 day duration(s) for 15 day duration(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 1761-1761 Scarlet fever disease incubation 1 day duration(s) for 4 day duration(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 1499-1499 Tetanus disease incubation 3 day duration(s) for 3 week duration(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7051-7053 1 Week duration(s) is equal to 7 day duration(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7078-7080 1 Year duration(s) is equal to 365 day duration(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7026-7028 A real number day duration(s) is equal to the real number and 24 hour duration(s)


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