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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Human

Sigma KEE - Human
Human(human)
more pictures...
Aeschylean, Alexandrian, Ananias, Apostle, April_fool, Aquarius, Archer, Argonaut, Aries, Aristotelean, Aristotelian, Aristotelic, Arnold_of_Brescia, Audenesque, Balance, Balzacian, Beethovenian, Benedictine, Bismarckian, Black_Muslim, Black_Panther, Blimp, Bogartian, Bolshevik, Boskop_man, Bourbon, Bull, Cabalist, Caesarean, Caesarian, Cancer, Capricorn, Cartesian, Casanova, Caucasian, Caucasoid, Chaldaean, Chaldean, Chaldee, Chasid, Chassid, Church_Father, Churchillian, Coleridgean, Coleridgian, Colonel_Blimp, Colossian, Columbian, Converso, Crab...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3438-3438
No TPTP formula. May not be expressible in strict first order. Merge.kif 14043-14044
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 259-259
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3118-3118
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3117-3117
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 257-257
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 258-258
No TPTP formula. May not be expressible in strict first order. Merge.kif 14042-14042 Human is exhaustively partitioned into man and woman
No TPTP formula. May not be expressible in strict first order. Merge.kif 14041-14041 Human is a subclass of cognitive agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 14040-14040 Human is a subclass of hominid

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1556-1556 Human is a biological agent carrier of bordetella pertussis
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19314-19314 Domestic animal is disjoint from human
No TPTP formula. May not be expressible in strict first order. Media.kif 35-35 Organization is disjoint from human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 737-737 Every VocalCords is initially part of a human
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2416-2416 Steve Jobs is an instance of human
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2428-2428 Steve Wozniak is an instance of human
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2404-2404 Tim Cook is an instance of human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 178-178 Human adult is a subclass of human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 237-237 Human youth is a subclass of human
No TPTP formula. May not be expressible in strict first order. Merge.kif 14046-14046 Man is a subclass of human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 301-301 Teenager is a subclass of human
No TPTP formula. May not be expressible in strict first order. Merge.kif 14053-14053 Woman is a subclass of human
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1002-1002
No TPTP formula. May not be expressible in strict first order. english_format.kif 1216-1216
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 735-735 A VocalCords is typically a part of a human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 736-736 A human typically has a part VocalCords

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7111-7111 The number 1 argument of descendants is an instance of human
No TPTP formula. May not be expressible in strict first order. Merge.kif 15663-15663 The number 1 argument of immediate family is an instance of human
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4373-4373 The number 1 argument of qualifed page views is an instance of human
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4438-4438 The number 1 argument of qualifed treatments is an instance of human
No TPTP formula. May not be expressible in strict first order. Merge.kif 15919-15919 The number 1 argument of acquaintance is an instance of human
No TPTP formula. May not be expressible in strict first order. Merge.kif 15920-15920 The number 2 argument of acquaintance is an instance of human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20036-20036 The number 1 argument of actedIn is an instance of human
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3286-3286 The number 1 argument of after tax income is an instance of human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5879-5879 The number 1 argument of allergic is an instance of human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16240-16240 The number 1 argument of Alma Mater is an instance of human
No TPTP formula. May not be expressible in strict first order. Merge.kif 12513-12513 The number 2 argument of attends is an instance of human
No TPTP formula. May not be expressible in strict first order. Law.kif 490-490 The number 2 argument of attorney is an instance of human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22437-22437 The number 2 argument of aunt is an instance of human
No TPTP formula. May not be expressible in strict first order. Biography.kif 64-64 The number 1 argument of baptismdate is an instance of human
No TPTP formula. May not be expressible in strict first order. Biography.kif 77-77 The number 1 argument of baptismplace is an instance of human
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3306-3306 The number 1 argument of before tax income is an instance of human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23596-23596 The number 1 argument of birthdate is an instance of human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23573-23573 The number 1 argument of birthday is an instance of human
No TPTP formula. May not be expressible in strict first order. Merge.kif 15882-15882 The number 2 argument of brother is an instance of human
No TPTP formula. May not be expressible in strict first order. Government.kif 4426-4426 The number 2 argument of chief of diplomatic mission is an instance of human
No TPTP formula. May not be expressible in strict first order. Government.kif 1540-1540 The number 3 argument of chief of state is an instance of human
No TPTP formula. May not be expressible in strict first order. Merge.kif 16124-16124 The number 1 argument of citizen is an instance of human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16203-16203 The number 1 argument of classmate is an instance of human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16204-16204 The number 2 argument of classmate is an instance of human
No TPTP formula. May not be expressible in strict first order. Sports.kif 467-467 The number 1 argument of coaches is an instance of human

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 950-954 A cognitive agent holds account a financial account and the cognitive agent is an instance of human if and only if the financial account is an instance of personal account
No TPTP formula. May not be expressible in strict first order. Merge.kif 16648-16654 A cognitive agent is an instance of human and for all an agent the agent doesn't employ the cognitive agent if and only if unemployed is an attribute of the cognitive agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19892-19913
No TPTP formula. May not be expressible in strict first order. Government.kif 209-221
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7212-7219
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24356-24365
No TPTP formula. May not be expressible in strict first order. Government.kif 1775-1781
No TPTP formula. May not be expressible in strict first order. Government.kif 1783-1789
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12282-12288
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 272-278
No TPTP formula. May not be expressible in strict first order. Merge.kif 11679-11684
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4130-4141
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 285-296
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5816-5824
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 320-326
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 208-214
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 255-260
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 367-372
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 294-299
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3617-3622
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22908-22921
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25179-25191
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 222-228
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21898-21903
No TPTP formula. May not be expressible in strict first order. WMD.kif 1098-1105

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 108-121 The births per thousand of a geopolitical area and the year an integer 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 142-155 The deaths per thousand of a geopolitical area and the year an integer 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 257-281 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 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 415-446 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 327-357 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 371-402 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. People.kif 225-242 The male to female ratio of a geopolitical area is equal to a real number if and only if an integer is equal to the number of instances in the class described by a symbolic string and another integer is equal to the number of instances in the class described by another symbolic string and the integer and the other integer is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 178-206 The migrants per thousand of a geopolitical area and the year an integer is equal to a real number if and only if (the integer and another real number) is equal to 1 and the population of the geopolitical area is equal to a third real number holds during the year the integer and the third real number and 1000 is equal to a fourth real number and another integer is equal to the number of instances in the class described by a symbolic string and a third integer is equal to the number of instances in the class described by the symbolic string and (the other integer and the third integer) is equal to a fifth real number and the fifth real number and the fourth real number is equal to the real number
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28867-28879
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29470-29477
No TPTP formula. May not be expressible in strict first order. Merge.kif 16638-16642
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29454-29462
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19892-19913
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2789-2793
No TPTP formula. May not be expressible in strict first order. Government.kif 4563-4571
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7640-7644
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2643-2649
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2514-2518
No TPTP formula. May not be expressible in strict first order. Merge.kif 15616-15620
No TPTP formula. May not be expressible in strict first order. Weather.kif 1580-1593
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16760-16764
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3636-3663
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 472-479
No TPTP formula. May not be expressible in strict first order. Merge.kif 1334-1341
No TPTP formula. May not be expressible in strict first order. Merge.kif 1367-1372

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


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. People.kif 466-476 The children born per woman of a geopolitical area and the year an integer 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. People.kif 49-54 The population 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
No TPTP formula. May not be expressible in strict first order. Merge.kif 14267-14267 Food is equal to food for human


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