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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Year

 Sigma KEE - Year
Year(Ano)

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 Ano e' relacionado internamente por SUMO a YearDuration
No TPTP formula. May not be expressible in strict first order. Merge.kif 8739-8739 Ano e' relacionado internamente por SUMO a YearFn
No TPTP formula. May not be expressible in strict first order. Merge.kif 8738-8738 Ano e' uma sub-classe de Intervalo Temporal

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8556-8556 Os valores retornados por YearFn sao as sub-classes de Ano
No TPTP formula. May not be expressible in strict first order. Merge.kif 8995-8995 Ano Bissexto e' uma sub-classe de Ano
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 O argumento numero 2 de BirthsPerThousandFn e' uma instancia de Ano
No TPTP formula. May not be expressible in strict first order. People.kif 442-442 O argumento numero 2 de ChildrenBornPerWomanFn e' uma instancia de Ano
No TPTP formula. May not be expressible in strict first order. People.kif 103-103 O argumento numero 2 de DeathsPerThousandFn e' uma instancia de Ano
No TPTP formula. May not be expressible in strict first order. People.kif 229-229 O argumento numero 2 de DeathsPerThousandLiveBirthsFn e' uma instancia de Ano
No TPTP formula. May not be expressible in strict first order. People.kif 395-395 O argumento numero 2 de FemaleLifeExpectancyAtBirthFn e' uma instancia de Ano
No TPTP formula. May not be expressible in strict first order. People.kif 298-298 O argumento numero 2 de LifeExpectancyAtBirthFn e' uma instancia de Ano
No TPTP formula. May not be expressible in strict first order. People.kif 347-347 O argumento numero 2 de MaleLifeExpectancyAtBirthFn e' uma instancia de Ano
No TPTP formula. May not be expressible in strict first order. People.kif 139-139 O argumento numero 2 de MigrantsPerThousandFn e' uma instancia de Ano
No TPTP formula. May not be expressible in strict first order. People.kif 37-37 O argumento numero 2 de PopulationGrowthFn e' uma instancia de Ano
No TPTP formula. May not be expressible in strict first order. Military.kif 925-925 O argumento numero 2 de ReachingMilitaryAgeAnnuallyMaleFn e' uma instancia de Ano
No TPTP formula. May not be expressible in strict first order. Economy.kif 3724-3724 O argumento numero 2 de FiscalYearStartingFn e' uma sub-classe de Ano
No TPTP formula. May not be expressible in strict first order. Merge.kif 8572-8572 O argumento numero 2 de MonthFn e' uma sub-classe de Ano
No TPTP formula. May not be expressible in strict first order. Merge.kif 8969-8969 O argumento numero 2 de QuarterFn e' uma sub-classe de Ano
No TPTP formula. May not be expressible in strict first order. Merge.kif 8951-8951 O argumento numero 2 de WeekFn e' uma sub-classe de Ano
No TPTP formula. May not be expressible in strict first order. Hotel.kif 744-744 O argumento numero 2 de lastRenovation e' uma sub-classe de Ano
No TPTP formula. May not be expressible in strict first order. Hotel.kif 723-723 O argumento numero 2 de yearBuilt e' uma sub-classe de Ano

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