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

Formal Language: 



KB Term:  Term intersection
English Word: 

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. chinese_format.kif 2579-2579
No TPTP formula. May not be expressible in strict first order. Merge.kif 6667-6667
No TPTP formula. May not be expressible in strict first order. Merge.kif 6666-6666 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 8550-8550 Day is internally related to day duration
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18583-18583 "一天长度" is the printable form of day duration in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18582-18582 "一天長度" is the printable form of day duration in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18581-18581 "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 8781-8785
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 8391-8396
No TPTP formula. May not be expressible in strict first order. Merge.kif 8384-8389
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 2687-2699
No TPTP formula. May not be expressible in strict first order. Merge.kif 8554-8556
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 1521-1525
No TPTP formula. May not be expressible in strict first order. Merge.kif 8422-8424
No TPTP formula. May not be expressible in strict first order. Merge.kif 8478-8480
No TPTP formula. May not be expressible in strict first order. Merge.kif 8535-8537
No TPTP formula. May not be expressible in strict first order. Merge.kif 8370-8372
No TPTP formula. May not be expressible in strict first order. Merge.kif 8464-8466
No TPTP formula. May not be expressible in strict first order. Merge.kif 8450-8452
No TPTP formula. May not be expressible in strict first order. Merge.kif 8408-8410
No TPTP formula. May not be expressible in strict first order. Merge.kif 8436-8438
No TPTP formula. May not be expressible in strict first order. Merge.kif 8521-8523
No TPTP formula. May not be expressible in strict first order. Merge.kif 8507-8509
No TPTP formula. May not be expressible in strict first order. Merge.kif 8493-8495
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 1771-1771 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 1763-1763 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 1410-1410 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 1573-1573 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 1858-1858 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 1603-1603 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 1439-1439 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 1461-1461 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 1684-1684 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 1542-1542 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 1621-1621 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 1396-1396 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 6669-6671 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 6694-6696 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 6716-6718 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 6704-6706 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 6708-6710 A real number month duration(s) is less than or equal to the real number and 31 day duration(s)


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners