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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - age
age

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2635-2636
No TPTP formula. May not be expressible in strict first order. Merge.kif 7566-7567
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1350-1351
No TPTP formula. May not be expressible in strict first order. Merge.kif 7563-7563 The number 1 argument of age is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7564-7564 The number 2 argument of age is an instance of time duration
No TPTP formula. May not be expressible in strict first order. Merge.kif 7562-7562 age is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7560-7560 age is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7561-7561 age is a subrelation of measure

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 611-611
No TPTP formula. May not be expressible in strict first order. english_format.kif 614-614
No TPTP formula. May not be expressible in strict first order. french_format.kif 370-370
No TPTP formula. May not be expressible in strict first order. relations-it.txt 21-21
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2104-2104
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 322-322
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 55-55
No TPTP formula. May not be expressible in strict first order. relations-de.txt 800-800
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 66-66
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 392-392
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 411-411
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 58-58
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 612-612
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5804-5804
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5803-5803
No TPTP formula. May not be expressible in strict first order. terms-de.txt 236-236
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 59-59

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1037-1046
No TPTP formula. May not be expressible in strict first order. Government.kif 965-974
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 335-341
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 212-218
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 262-267
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 385-390
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 304-311
No TPTP formula. May not be expressible in strict first order. Economy.kif 5302-5308
No TPTP formula. May not be expressible in strict first order. Merge.kif 7569-7573
No TPTP formula. May not be expressible in strict first order. Military.kif 920-928
No TPTP formula. May not be expressible in strict first order. Law.kif 560-577
No TPTP formula. May not be expressible in strict first order. Government.kif 1138-1151
No TPTP formula. May not be expressible in strict first order. Government.kif 1082-1092
No TPTP formula. May not be expressible in strict first order. Government.kif 1014-1022
No TPTP formula. May not be expressible in strict first order. Government.kif 942-950
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 186-192
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 368-373
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 287-292
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 316-323
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 245-250

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 equal the male life expectancy at birth of a geopolitical area and the year and 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 equal the deaths per thousand live births of a geopolitical area and the year and a real number if and only if equal another integer and the number of instances in the class described by a symbolic string and equal the other integer and 1000 and another real number and equal a third integer and the number of instances in the class described by another symbolic string and equal the third integer and the other real number and 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 equal the female life expectancy at birth of a geopolitical area and the year and 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 equal the life expectancy at birth of a geopolitical area and the year and 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. Government.kif 1094-1114
No TPTP formula. May not be expressible in strict first order. Government.kif 1024-1035
No TPTP formula. May not be expressible in strict first order. Government.kif 952-963
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22764-22794
No TPTP formula. May not be expressible in strict first order. Military.kif 908-918
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2936-2951
No TPTP formula. May not be expressible in strict first order. Law.kif 579-594
No TPTP formula. May not be expressible in strict first order. Government.kif 1173-1193
No TPTP formula. May not be expressible in strict first order. Government.kif 1002-1012
No TPTP formula. May not be expressible in strict first order. Government.kif 930-940
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 375-383
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 194-202
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 294-302
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 252-260
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 325-333
No TPTP formula. May not be expressible in strict first order. Merge.kif 16423-16432
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 398-404
No TPTP formula. May not be expressible in strict first order. Government.kif 1153-1171
No TPTP formula. May not be expressible in strict first order. Government.kif 1068-1080

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1054-1065 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 1122-1136 For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE contains information compulsory suffrage law
No TPTP formula. May not be expressible in strict first order. Military.kif 940-949 equal the available for military service male of a geopolitical area and the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order. Military.kif 963-974 equal the fit for military service male of a geopolitical area and the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order. Military.kif 1001-1014 equal the reaching military age annually male of a geopolitical area and a year and the number of instances in the class described by a symbolic string


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