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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - YearFn
YearFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2749-2753
No TPTP formula. May not be expressible in strict first order. Merge.kif 8604-8612
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1475-1480
No TPTP formula. May not be expressible in strict first order. Merge.kif 8601-8601 The number 1 argument of year is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 8598-8598 Year is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8600-8600 Year is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8599-8599 Year is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 8602-8602 The values returned by year are subclasses of year

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 465-465
No TPTP formula. May not be expressible in strict first order. english_format.kif 471-471
No TPTP formula. May not be expressible in strict first order. french_format.kif 269-269
No TPTP formula. May not be expressible in strict first order. relations-it.txt 317-317
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2059-2059
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 221-221
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 275-275
No TPTP formula. May not be expressible in strict first order. relations-de.txt 608-608
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 351-351
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 290-290
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 296-296
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 509-509
No TPTP formula. May not be expressible in strict first order. Merge.kif 8785-8785 Year is internally related to year
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63782-63782 Year is internally related to year
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 466-466 Year is internally related to year
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63781-63781 Year is internally related to year
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63780-63780 Year is internally related to year

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


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 82-97 A year is an instance of the year an integer and the births per thousand of a geopolitical area and the year is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to another real number and another integer is equal to the number of instances in the class described by a symbolic string and the other 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 118-133 A year is an instance of the year an integer and the deaths per thousand of a geopolitical area and the year is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to another real number and another integer is equal to the number of instances in the class described by a symbolic string and the other 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 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. People.kif 156-187 A year is an instance of the year an integer and the migrants per thousand of a geopolitical area and the year is equal to a real number if and only if (the integer and another integer) is equal to 1 and an entity is an instance of the year the other integer and the population of the geopolitical area is equal to another real number holds during the year and the other real number and 1000 is equal to a third real number and a third integer is equal to the number of instances in the class described by a symbolic string and a fourth integer is equal to the number of instances in the class described by the symbolic string and (the third integer and the fourth integer) is equal to a fourth real number and the fourth real number and the third real number is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 52-64 A year is an instance of the year an integer and the population growth of a geopolitical area and the year is equal to a real number if and only if (the integer and the integerP) is equal to 1 and a time position is an instance of the year the integerP and the population of the geopolitical area is equal to another real number holds during the year and the population of the geopolitical area is equal to a third real number holds during the time position and the other real number and the third real number is equal to a fourth real number and (the fourth real number and 1) is equal to the real number
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24556-24566
No TPTP formula. May not be expressible in strict first order. Media.kif 1936-1941
No TPTP formula. May not be expressible in strict first order. Government.kif 576-581
No TPTP formula. May not be expressible in strict first order. Government.kif 583-589
No TPTP formula. May not be expressible in strict first order. Media.kif 1943-1948
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24236-24252
No TPTP formula. May not be expressible in strict first order. Merge.kif 8768-8775
No TPTP formula. May not be expressible in strict first order. Merge.kif 8777-8782
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15087-15096
No TPTP formula. May not be expressible in strict first order. Merge.kif 9047-9055
No TPTP formula. May not be expressible in strict first order. Merge.kif 8752-8759
No TPTP formula. May not be expressible in strict first order. Merge.kif 8761-8766
No TPTP formula. May not be expressible in strict first order. Biography.kif 69-85
No TPTP formula. May not be expressible in strict first order. Biography.kif 99-115
No TPTP formula. May not be expressible in strict first order. Merge.kif 9026-9031
No TPTP formula. May not be expressible in strict first order. Media.kif 1959-1963
No TPTP formula. May not be expressible in strict first order. Merge.kif 17283-17289

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 156-187 A year is an instance of the year an integer and the migrants per thousand of a geopolitical area and the year is equal to a real number if and only if (the integer and another integer) is equal to 1 and an entity is an instance of the year the other integer and the population of the geopolitical area is equal to another real number holds during the year and the other real number and 1000 is equal to a third real number and a third integer is equal to the number of instances in the class described by a symbolic string and a fourth integer is equal to the number of instances in the class described by the symbolic string and (the third integer and the fourth integer) is equal to a fourth real number and the fourth real number and the third real number is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 52-64 A year is an instance of the year an integer and the population growth of a geopolitical area and the year is equal to a real number if and only if (the integer and the integerP) is equal to 1 and a time position is an instance of the year the integerP and the population of the geopolitical area is equal to another real number holds during the year and the population of the geopolitical area is equal to a third real number holds during the time position and the other real number and the third real number is equal to a fourth real number and (the fourth real number and 1) is equal to the real number
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 961-968 An integer is a year of founding of an organization if and only if there exist a process and the integerEAR such that the integerEAR overlaps the time of existence of the process and the integerEAR is an instance of the year the integer and the process is an instance of founding and the organization is a result of the process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24556-24566
No TPTP formula. May not be expressible in strict first order. Government.kif 583-589
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15087-15096
No TPTP formula. May not be expressible in strict first order. Biography.kif 69-85
No TPTP formula. May not be expressible in strict first order. Biography.kif 99-115
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24515-24526
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2991-2999
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 953-956

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3180-3180 The day 1 is an agreement adoption date of antarctic treaty
No TPTP formula. May not be expressible in strict first order. Geography.kif 3181-3181 ?D is an instance of the day 23 is an agreement effective date of antarctic treaty
No TPTP formula. May not be expressible in strict first order. People.kif 456-469 A year is an instance of the year an integer and the children born per woman of a geopolitical area and the year is equal to the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order. Government.kif 2956-2956 The day 31 is a date dissolved of coordinating committee on export controls
No TPTP formula. May not be expressible in strict first order. Government.kif 2971-2971 The day 1 is a date dissolved of council for mutual economic assistance
No TPTP formula. May not be expressible in strict first order. Government.kif 4107-4107 The day 25 is a date dissolved of united nations preventive deployment force
No TPTP formula. May not be expressible in strict first order. Government.kif 4247-4247 The day 1 is a date dissolved of warsaw pact
No TPTP formula. May not be expressible in strict first order. Government.kif 2839-2839 The year 1994 is a date established of ASEAN regional forum
No TPTP formula. May not be expressible in strict first order. Government.kif 2712-2712 The day 6 is a date established of african caribbean and pacific group of states
No TPTP formula. May not be expressible in strict first order. Government.kif 2719-2719 The day 4 is a date established of african development bank
No TPTP formula. May not be expressible in strict first order. Government.kif 2733-2733 The day 20 is a date established of agency for the french speaking community
No TPTP formula. May not be expressible in strict first order. Government.kif 2740-2740 The day 14 is a date established of agency for the prohibition of nuclear weapons in latin america and the caribbean
No TPTP formula. May not be expressible in strict first order. Government.kif 2758-2758 The day 26 is a date established of andean community of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2763-2763 The day 23 is a date established of antarctic treaty council
No TPTP formula. May not be expressible in strict first order. Government.kif 2774-2774 The day 18 is a date established of arab bank for economic development in africa
No TPTP formula. May not be expressible in strict first order. Government.kif 2780-2780 The day 16 is a date established of arab cooperation council
No TPTP formula. May not be expressible in strict first order. Government.kif 2786-2786 The day 16 is a date established of arab fund for economic and social development
No TPTP formula. May not be expressible in strict first order. Government.kif 2795-2795 The day 22 is a date established of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2804-2804 The day 17 is a date established of arab maghreb union
No TPTP formula. May not be expressible in strict first order. Government.kif 2813-2813 The day 27 is a date established of arab monetary fund
No TPTP formula. May not be expressible in strict first order. Government.kif 2819-2819 The day 7 is a date established of asia pacific economic cooperation
No TPTP formula. May not be expressible in strict first order. Government.kif 2825-2825 The day 19 is a date established of asian development bank
No TPTP formula. May not be expressible in strict first order. Government.kif 2831-2831 The day 8 is a date established of association of southeast asian nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2845-2845 The year 1984 is a date established of australia group
No TPTP formula. May not be expressible in strict first order. Government.kif 2851-2851 The day 1 is a date established of australia new zealand united states security treaty

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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