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, day_duration, daylong, sidereal_day

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7354-7354
No TPTP formula. May not be expressible in strict first order. Merge.kif 7353-7353
No TPTP formula. May not be expressible in strict first order. Merge.kif 7352-7352 Day duration is an instance of UnitOfDuration

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9256-9256 Day is internally related to day duration
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3530-3530 "day duration" is the printable form of day duration in english language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9492-9496
No TPTP formula. May not be expressible in strict first order. Media.kif 611-617

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9096-9101
No TPTP formula. May not be expressible in strict first order. Merge.kif 9089-9094
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 2682-2693
No TPTP formula. May not be expressible in strict first order. Merge.kif 9260-9262
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 1523-1527
No TPTP formula. May not be expressible in strict first order. Merge.kif 9127-9129
No TPTP formula. May not be expressible in strict first order. Merge.kif 9183-9185
No TPTP formula. May not be expressible in strict first order. Merge.kif 9241-9243
No TPTP formula. May not be expressible in strict first order. Merge.kif 9075-9077
No TPTP formula. May not be expressible in strict first order. Merge.kif 9169-9171
No TPTP formula. May not be expressible in strict first order. Merge.kif 9155-9157
No TPTP formula. May not be expressible in strict first order. Merge.kif 9113-9115
No TPTP formula. May not be expressible in strict first order. Merge.kif 9141-9143
No TPTP formula. May not be expressible in strict first order. Merge.kif 9227-9229
No TPTP formula. May not be expressible in strict first order. Merge.kif 9213-9215
No TPTP formula. May not be expressible in strict first order. Merge.kif 9199-9201
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2860-2864
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 414-414 Bubonic plague disease incubation 2 day duration(s) for 6 day duration(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 1760-1760 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 1752-1752 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 1399-1399 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 1562-1562 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 1847-1847 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 1592-1592 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 1428-1428 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 419-419 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 1450-1450 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 1673-1673 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 1531-1531 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 1610-1610 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 1385-1385 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 7356-7358 A real number day duration(s) is equal to the real number and 24 hour duration(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7381-7383 A real number week duration(s) is equal to the real number and 7 day duration(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7405-7407 A real number year duration(s) is equal to the real number and 365 day duration(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7392-7394 A real number month duration(s) is greater than or equal to the real number and 28 day duration(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7396-7398 A real number month duration(s) is less than or equal to the real number and 31 day 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners