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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MonthDuration

Sigma KEE - MonthDuration
MonthDuration(month duration)month

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 7118-7120
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1290-1291
No TPTP formula. May not be expressible in strict first order. Merge.kif 7117-7117 Month duration is an instance of time duration
No TPTP formula. May not be expressible in strict first order. Merge.kif 7116-7116 Month duration is an instance of unit of duration

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38481-38481
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38480-38480
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38479-38479

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 759-775
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. Economy.kif 4962-4968
No TPTP formula. May not be expressible in strict first order. Merge.kif 7122-7126
No TPTP formula. May not be expressible in strict first order. Merge.kif 7128-7132

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5919-5926
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4064-4068
No TPTP formula. May not be expressible in strict first order. Merge.kif 8991-8993
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2574-2580
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2558-2564


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 3.0 is open source software produced by Articulate Software and its partners