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, yearlong, yr

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2585-2585
No TPTP formula. May not be expressible in strict first order. Merge.kif 7136-7137
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1292-1292
No TPTP formula. May not be expressible in strict first order. Merge.kif 7135-7135 Year duration is an instance of time duration
No TPTP formula. May not be expressible in strict first order. Merge.kif 7134-7134 Year duration is an instance of unit of duration

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8740-8740 Year is internally related to year duration
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63751-63751
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63750-63750
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63749-63749

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23889-23903
No TPTP formula. May not be expressible in strict first order. Government.kif 1075-1084
No TPTP formula. May not be expressible in strict first order. Government.kif 1062-1073
No TPTP formula. May not be expressible in strict first order. Government.kif 1003-1012
No TPTP formula. May not be expressible in strict first order. Government.kif 990-1001
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 342-348
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 219-225
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 269-274
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 392-397
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 311-318
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1497-1502
No TPTP formula. May not be expressible in strict first order. Military.kif 852-860
No TPTP formula. May not be expressible in strict first order. Military.kif 840-850
No TPTP formula. May not be expressible in strict first order. Law.kif 573-588
No TPTP formula. May not be expressible in strict first order. Law.kif 554-571
No TPTP formula. May not be expressible in strict first order. Government.kif 1176-1189
No TPTP formula. May not be expressible in strict first order. Government.kif 1120-1130
No TPTP formula. May not be expressible in strict first order. Government.kif 1052-1060
No TPTP formula. May not be expressible in strict first order. Government.kif 1040-1050
No TPTP formula. May not be expressible in strict first order. Government.kif 980-988
No TPTP formula. May not be expressible in strict first order. Government.kif 968-978
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1078-1082
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 193-199
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 375-380
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 294-299

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. People.kif 357-390 A year is an instance of the year the yearEAR and the male life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other 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 238-264 A year is an instance of the year an integer and the deaths per thousand live births of a geopolitical area and the year 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 another real number 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 other real number is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 403-436 A year is an instance of the year an integer and the female life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other 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 310-342 A year is an instance of the year an integer and the life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other 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 18728-18737
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18743-18753
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18759-18769
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18775-18785
No TPTP formula. May not be expressible in strict first order. Government.kif 1132-1152
No TPTP formula. May not be expressible in strict first order. Government.kif 1062-1073
No TPTP formula. May not be expressible in strict first order. Government.kif 990-1001
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21147-21177
No TPTP formula. May not be expressible in strict first order. Military.kif 840-850
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2925-2940
No TPTP formula. May not be expressible in strict first order. Law.kif 573-588
No TPTP formula. May not be expressible in strict first order. Geography.kif 6393-6404
No TPTP formula. May not be expressible in strict first order. Government.kif 1211-1231
No TPTP formula. May not be expressible in strict first order. Government.kif 1040-1050
No TPTP formula. May not be expressible in strict first order. Government.kif 968-978
No TPTP formula. May not be expressible in strict first order. Economy.kif 3744-3746
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13683-13687
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19064-19068
No TPTP formula. May not be expressible in strict first order. Merge.kif 8759-8763
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 382-390
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 201-209

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. Government.kif 1092-1103 For all ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE and ?AGE contains information universal suffrage law
No TPTP formula. May not be expressible in strict first order. Government.kif 1160-1174 For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE contains information compulsory suffrage law
No TPTP formula. May not be expressible in strict first order. Merge.kif 7139-7141 1 Year duration(s) is equal to 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 3.0 is open source software produced by Articulate Software and its partners