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 7140-7141
No TPTP formula. May not be expressible in strict first order. Merge.kif 7138-7138 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 7137-7137 age is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7135-7135 age is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7136-7136 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
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5802-5802
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5801-5801

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 491-497
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 357-363
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 418-423
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 553-558
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 462-467
No TPTP formula. May not be expressible in strict first order. Merge.kif 7143-7147
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 602-619
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 333-338
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 527-532
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 446-451
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 473-480
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 402-407

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 18891-18920
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 621-636
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 538-543
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 341-346
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 454-459
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 410-415
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 483-488
No TPTP formula. May not be expressible in strict first order. Merge.kif 15061-15070
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 567-573
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