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

Formal Language: 



KB Term:  Term intersection
English Word: 

  YearDuration

Sigma KEE - YearDuration
YearDuration(year duration)New_Year, Y2K, annum, anomalistic_year, financial_year, fiscal_year, sidereal_year, twelvemonth, year, year_duration, yearlong, yr

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7403-7403
No TPTP formula. May not be expressible in strict first order. Merge.kif 7401-7402
No TPTP formula. May not be expressible in strict first order. Merge.kif 7400-7400 Year duration is an instance of UnitOfDuration

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8877-8877 Year is internally related to year duration
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11052-11052 "year duration" is the printable form of year duration in english language

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 492-498
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 358-364
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 419-424
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 554-559
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 463-468
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1440-1445
No TPTP formula. May not be expressible in strict first order. Merge.kif 8885-8890
No TPTP formula. May not be expressible in strict first order. Law.kif 617-632
No TPTP formula. May not be expressible in strict first order. Law.kif 598-615
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 334-339
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 528-533
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 447-452
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 474-481
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 403-408

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


No TPTP formula. May not be expressible in strict first order. People.kif 253-277 The deaths per thousand live births of a geopolitical area and the year an integer is equal to a real number if and only if another integer is equal to the number of instances in the class described by a symbolic string and the other integer and 1000 is equal to a quantity and a third integer is equal to the number of instances in the class described by another symbolic string and the third integer and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 411-442 The female life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 323-353 The life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 367-398 The male life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16311-16319
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16325-16336
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16342-16353
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16359-16370
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18837-18866
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2861-2876
No TPTP formula. May not be expressible in strict first order. Law.kif 617-632
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1274-1278
No TPTP formula. May not be expressible in strict first order. Economy.kif 3745-3747
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11266-11270
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16763-16767
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16772-16776
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 539-544
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 342-347
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 455-460
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 411-416
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 484-489
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1631-1638
No TPTP formula. May not be expressible in strict first order. Merge.kif 8900-8902
No TPTP formula. May not be expressible in strict first order. Economy.kif 3719-3721
No TPTP formula. May not be expressible in strict first order. Merge.kif 8881-8883

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7405-7407 A real number year duration(s) is equal to the real number and 365 day duration(s)


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