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, 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 6805-6805
No TPTP formula. May not be expressible in strict first order. Merge.kif 6804-6804 Day duration is an instance of time duration
No TPTP formula. May not be expressible in strict first order. Merge.kif 6803-6803 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 8705-8705 Day is internally related to day duration
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18641-18641
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18640-18640
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18639-18639

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8936-8940
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 8546-8551
No TPTP formula. May not be expressible in strict first order. Merge.kif 8539-8544
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 2701-2713
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2880-2884
No TPTP formula. May not be expressible in strict first order. Merge.kif 8709-8711
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 1534-1538
No TPTP formula. May not be expressible in strict first order. Merge.kif 8577-8579
No TPTP formula. May not be expressible in strict first order. Merge.kif 8633-8635
No TPTP formula. May not be expressible in strict first order. Merge.kif 8690-8692
No TPTP formula. May not be expressible in strict first order. Merge.kif 8525-8527
No TPTP formula. May not be expressible in strict first order. Merge.kif 8619-8621
No TPTP formula. May not be expressible in strict first order. Merge.kif 8605-8607
No TPTP formula. May not be expressible in strict first order. Merge.kif 8563-8565
No TPTP formula. May not be expressible in strict first order. Merge.kif 8591-8593
No TPTP formula. May not be expressible in strict first order. Merge.kif 8676-8678
No TPTP formula. May not be expressible in strict first order. Merge.kif 8662-8664
No TPTP formula. May not be expressible in strict first order. Merge.kif 8648-8650
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. VirusProteinAndCellPart.kif 656-658 Covid-19 disease incubation 1 day duration(s) for 14 day duration(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 1810-1810 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 1802-1802 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 1449-1449 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 1612-1612 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 1897-1897 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 1642-1642 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 1478-1478 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 1500-1500 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 1723-1723 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 1581-1581 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 1660-1660 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 1435-1435 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 6807-6809 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 6832-6834 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 6855-6857 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 6842-6844 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 6846-6848 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 3.0 is open source software produced by Articulate Software and its partners