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 7010-7011
No TPTP formula. May not be expressible in strict first order. Merge.kif 7008-7008 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 7006-7006 age is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7007-7007 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 617-617
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 612-612 "年龄" is the printable form of age in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5802-5802 "年齡" is the printable form of age in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5801-5801 "age" is the printable form of age in english language

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1047-1054
No TPTP formula. May not be expressible in strict first order. Government.kif 983-990
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 492-498
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 358-364
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 419-424
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 554-559
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 463-468
No TPTP formula. May not be expressible in strict first order. Merge.kif 7013-7017
No TPTP formula. May not be expressible in strict first order. Military.kif 849-855
No TPTP formula. May not be expressible in strict first order. Law.kif 600-617
No TPTP formula. May not be expressible in strict first order. Government.kif 1136-1147
No TPTP formula. May not be expressible in strict first order. Government.kif 1086-1094
No TPTP formula. May not be expressible in strict first order. Government.kif 1028-1034
No TPTP formula. May not be expressible in strict first order. Government.kif 964-970
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1271-1275
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 334-339
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 528-533
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 447-452
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 474-481
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 403-408

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


No TPTP formula. May not be expressible in strict first order. People.kif 253-277 The deaths per thousand live births of a geopolitical area and the year an integer 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 a quantity 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 quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 411-442 The female life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another 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 323-353 The life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another 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 367-398 The male life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another 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 1096-1114
No TPTP formula. May not be expressible in strict first order. Government.kif 1036-1045
No TPTP formula. May not be expressible in strict first order. Government.kif 972-981
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18742-18771
No TPTP formula. May not be expressible in strict first order. Military.kif 839-847
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2867-2882
No TPTP formula. May not be expressible in strict first order. Law.kif 619-634
No TPTP formula. May not be expressible in strict first order. Government.kif 1167-1185
No TPTP formula. May not be expressible in strict first order. Government.kif 1018-1026
No TPTP formula. May not be expressible in strict first order. Government.kif 954-962
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 539-544
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 342-347
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 455-460
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 411-416
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 484-489
No TPTP formula. May not be expressible in strict first order. Merge.kif 14926-14935
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 568-574
No TPTP formula. May not be expressible in strict first order. Government.kif 1149-1165
No TPTP formula. May not be expressible in strict first order. Government.kif 1074-1084

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1062-1071 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-1134 For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE
  • if ?VOTER is a citizen of ?POLITY and ?VOTINGAGE is a suffrage age minimum of ?POLITY and the age of ?VOTER is ?AGE and ?AGE is greater than or equal to ?VOTINGAGE and ?ELECTION is an instance of the election of ?POLITY,
  • then there exists ?VOTING such that ?VOTING is an instance of the voting of ?ELECTION and ?VOTER is an agent of ?VOTING
contains information compulsory suffrage law
No TPTP formula. May not be expressible in strict first order. Military.kif 867-876 The available for military service male of a geopolitical area 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. Military.kif 890-901 The fit for military service male of a geopolitical area 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. Military.kif 928-941 The reaching military age annually male of a geopolitical area and a year is equal to 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners