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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MonthDuration
MonthDuration(month duration)month, month_duration, 月持續時間, 月持续时间

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2583-2584
No TPTP formula. May not be expressible in strict first order. Merge.kif 6700-6702
No TPTP formula. May not be expressible in strict first order. Merge.kif 6698-6698 Month duration is an instance of UnitOfDuration

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38401-38401 "月持续时间" is the printable form of month duration in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38400-38400 "月持續時間" is the printable form of month duration in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38399-38399 "month duration" is the printable form of month duration in english language

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 711-724

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 155-166
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3906-3910
No TPTP formula. May not be expressible in strict first order. Merge.kif 8311-8313
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2495-2501
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2479-2485

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


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