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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Year

Sigma KEE - Year
Year(年)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2781-2781
No TPTP formula. May not be expressible in strict first order. Merge.kif 8742-8742
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1511-1511
No TPTP formula. May not be expressible in strict first order. Merge.kif 8740-8740 相關的內部概念 and 年持續時間
No TPTP formula. May not be expressible in strict first order. Merge.kif 8739-8739 相關的內部概念 and
No TPTP formula. May not be expressible in strict first order. Merge.kif 8738-8738 子類 and TimeInterval

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8556-8556 範圍子類 and
No TPTP formula. May not be expressible in strict first order. Merge.kif 8995-8995 子類 LeapYear and
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1274-1274
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63744-63744
No TPTP formula. May not be expressible in strict first order. english_format.kif 1765-1765
No TPTP formula. May not be expressible in strict first order. french_format.kif 952-952
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 487-487
No TPTP formula. May not be expressible in strict first order. terms-it.txt 491-491
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2636-2636
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 904-904
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 527-527
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 973-973
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 492-492

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 70-70 每千人分娩, 2 and
No TPTP formula. May not be expressible in strict first order. People.kif 442-442 每個女人出生的孩子, 2 and
No TPTP formula. May not be expressible in strict first order. People.kif 103-103 每千人死亡, 2 and
No TPTP formula. May not be expressible in strict first order. People.kif 229-229 每千名活產嬰兒死亡人數, 2 and
No TPTP formula. May not be expressible in strict first order. People.kif 395-395 女性出生時的預期壽命, 2 and
No TPTP formula. May not be expressible in strict first order. People.kif 298-298 出生時的預期壽命, 2 and
No TPTP formula. May not be expressible in strict first order. People.kif 347-347 男性出生時的預期壽命, 2 and
No TPTP formula. May not be expressible in strict first order. People.kif 139-139 每千人移民, 2 and
No TPTP formula. May not be expressible in strict first order. People.kif 37-37 人口增長, 2 and
No TPTP formula. May not be expressible in strict first order. Military.kif 925-925 每年達到軍齡的男性, 2 and
No TPTP formula. May not be expressible in strict first order. Economy.kif 3724-3724 域子類 財政年度開始, 2 and
No TPTP formula. May not be expressible in strict first order. Merge.kif 8572-8572 域子類 , 2 and
No TPTP formula. May not be expressible in strict first order. Merge.kif 8969-8969 域子類 QuarterFn, 2 and
No TPTP formula. May not be expressible in strict first order. Merge.kif 8951-8951 域子類 WeekFn, 2 and
No TPTP formula. May not be expressible in strict first order. Hotel.kif 744-744 域子類 lastRenovation, 2 and
No TPTP formula. May not be expressible in strict first order. Hotel.kif 723-723 域子類 yearBuilt, 2 and

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2112-2121
No TPTP formula. May not be expressible in strict first order. Economy.kif 2156-2165
No TPTP formula. May not be expressible in strict first order. Economy.kif 2202-2211
No TPTP formula. May not be expressible in strict first order. Economy.kif 1980-1989
No TPTP formula. May not be expressible in strict first order. Economy.kif 2277-2286
No TPTP formula. May not be expressible in strict first order. Economy.kif 2123-2130
No TPTP formula. May not be expressible in strict first order. Economy.kif 2167-2174
No TPTP formula. May not be expressible in strict first order. Economy.kif 2213-2220
No TPTP formula. May not be expressible in strict first order. Economy.kif 1991-1998
No TPTP formula. May not be expressible in strict first order. Economy.kif 2288-2295
No TPTP formula. May not be expressible in strict first order. Economy.kif 2594-2601
No TPTP formula. May not be expressible in strict first order. Economy.kif 2583-2592
No TPTP formula. May not be expressible in strict first order. Media.kif 437-444
No TPTP formula. May not be expressible in strict first order. Media.kif 446-453
No TPTP formula. May not be expressible in strict first order. Economy.kif 3738-3742
No TPTP formula. May not be expressible in strict first order. Media.kif 387-394
No TPTP formula. May not be expressible in strict first order. Media.kif 396-403
No TPTP formula. May not be expressible in strict first order. Media.kif 538-547
No TPTP formula. May not be expressible in strict first order. Media.kif 473-482
No TPTP formula. May not be expressible in strict first order. Media.kif 559-568
No TPTP formula. May not be expressible in strict first order. Merge.kif 8744-8746
No TPTP formula. May not be expressible in strict first order. Merge.kif 9459-9461

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 204-223
No TPTP formula. May not be expressible in strict first order. Media.kif 376-385
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 229-237


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