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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WeekDuration
WeekDuration

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2582-2582
No TPTP formula. May not be expressible in strict first order. Merge.kif 7110-7111
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1289-1289
No TPTP formula. May not be expressible in strict first order. Merge.kif 7109-7109 WeekDuration e' uma instancia de Duracao Temporal
No TPTP formula. May not be expressible in strict first order. Merge.kif 7108-7108 WeekDuration e' uma instancia de UnitOfDuration

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62657-62657
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62656-62656
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62655-62655

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9372-9374

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1866-1866 diseaseIncubation LassaFever, 1 WeekDuration(s) and 3 WeekDuration(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 272-272 diseaseIncubation LouseBorneTyphus, 1 WeekDuration(s) and 2 WeekDuration(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 1499-1499 diseaseIncubation Tetanus, 3 DayDuration(s) and 3 WeekDuration(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7113-7115 1 WeekDuration(s) e' igual a 7 DayDuration(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