appearance as argument number 1 |
![]() |
(documentation Human ChineseLanguage "这是现代人,人属唯一剩下的品种。") | chinese_format.kif 3438-3438 | |
(documentation Human EnglishLanguage "Modern man, the only remaining species of the Homo genus.") | Merge.kif 14537-14538 | |
(externalImage Human "http://upload.wikimedia.org/wikipedia/commons/0/03/ Skydiving_4_way.jpg") | pictureList-ImageNet.kif 259-259 | |
(externalImage Human "http://upload.wikimedia.org/wikipedia/commons/2/22/ Da_Vinci_Vitruve_Luc_Viatour.jpg") | pictureList.kif 3118-3118 | |
(externalImage Human "http://upload.wikimedia.org/wikipedia/commons/4/42/ Skeleton_diagram.svg") | pictureList.kif 3117-3117 | |
(externalImage Human "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ bd/ Jan_Vermeer_van_Delft_009.jpg/ 280px-Jan_Vermeer_van_Delft_009.jpg") | pictureList-ImageNet.kif 257-257 | |
(externalImage Human "http://upload.wikimedia.org/wikipedia/pl/thumb/6/69/ Gazolina_zloga.jpg/ 250px-Gazolina_zloga.jpg") | pictureList-ImageNet.kif 258-258 | |
(partition Human Man Woman) | Merge.kif 14536-14536 | Human is exhaustively partitioned into man and woman |
(subclass Human CognitiveAgent) | Merge.kif 14535-14535 | Human is a subclass of cognitive agent |
(subclass Human Hominid) | Merge.kif 14534-14534 | Human is a subclass of hominid |
appearance as argument number 2 |
![]() |
(biologicalAgentCarrier BordetellaPertussis Human) | WMD.kif 1586-1586 | Human is a biological agent carrier of bordetella pertussis |
(disjoint DomesticAnimal Human) | Mid-level-ontology.kif 19851-19851 | Domestic animal is disjoint from human |
(disjoint Organization Human) | Media.kif 35-35 | Organization is disjoint from human |
(initialPart VocalCords Human) | Mid-level-ontology.kif 765-765 | Every vocal cords is initially part of a human |
(instance SteveJobsOfApple Human) | ComputingBrands.kif 2447-2447 | Steve Jobs is an instance of human |
(instance SteveWozniakOfApple Human) | ComputingBrands.kif 2459-2459 | Steve Wozniak is an instance of human |
(instance TimCookOfApple Human) | ComputingBrands.kif 2435-2435 | Tim Cook is an instance of human |
(subclass HumanAdult Human) | Mid-level-ontology.kif 185-185 | Human adult is a subclass of human |
(subclass HumanYouth Human) | Mid-level-ontology.kif 248-248 | Human youth is a subclass of human |
(subclass Man Human) | Merge.kif 14540-14540 | Man is a subclass of human |
(subclass Teenager Human) | Mid-level-ontology.kif 320-320 | Teenager is a subclass of human |
(subclass Woman Human) | Merge.kif 14547-14547 | Woman is a subclass of human |
(termFormat ChineseLanguage Human "人类") | chinese_format.kif 1002-1002 | |
(termFormat EnglishLanguage Human "human") | english_format.kif 1216-1216 | |
(termFormat FrenchLanguage Human "humain") | french_format.kif 679-679 | |
(termFormat Hindi Human "maanava") | terms-hindi.txt 210-210 | |
(termFormat ItalianLanguage Human "Umano") | terms-it.txt 211-211 | |
(termFormat JapaneseLanguage Human "人[人間]") | japanese_format.kif 2363-2363 | |
(termFormat PortugueseLanguage Human "Humano") | portuguese_format.kif 631-631 | |
(termFormat cb Human "tawo") | terms-cb.txt 215-215 | |
(termFormat cz Human "human") | terms-cz.txt 247-247 | |
(termFormat ro Human "fiinþã umanã") | relations-ro.kif 700-700 | |
(termFormat tg Human "tao") | terms-tg.txt 214-214 | |
(typicalPart VocalCords Human) | Mid-level-ontology.kif 763-763 | A vocal cords is typically a part of a human |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
![]() |
(domain DescendantsFn 1 Human) | Mid-level-ontology.kif 7428-7428 | The number 1 argument of descendants is an instance of human |
(domain ImmediateFamilyFn 1 Human) | Merge.kif 16169-16169 | The number 1 argument of immediate family is an instance of human |
(domain QPViewsFn 1 Human) | UXExperimentalTerms.kif 4372-4372 | The number 1 argument of qualifed page views is an instance of human |
(domain QualifiedTreatmentsFn 1 Human) | UXExperimentalTerms.kif 4437-4437 | The number 1 argument of qualifed treatments is an instance of human |
(domain acquaintance 1 Human) | Merge.kif 16425-16425 | The number 1 argument of acquaintance is an instance of human |
(domain acquaintance 2 Human) | Merge.kif 16426-16426 | The number 2 argument of acquaintance is an instance of human |
(domain actedIn 1 Human) | Mid-level-ontology.kif 20579-20579 | The number 1 argument of acted in is an instance of human |
(domain afterTaxIncome 1 Human) | FinancialOntology.kif 3338-3338 | The number 1 argument of after tax income is an instance of human |
(domain allergic 1 Human) | Mid-level-ontology.kif 6191-6191 | The number 1 argument of allergic is an instance of human |
(domain almaMater 1 Human) | Mid-level-ontology.kif 16718-16718 | The number 1 argument of Alma Mater is an instance of human |
(domain attends 2 Human) | Merge.kif 12978-12978 | The number 2 argument of attends is an instance of human |
(domain attorney 2 Human) | Law.kif 465-465 | The number 2 argument of attorney is an instance of human |
(domain aunt 2 Human) | Mid-level-ontology.kif 23123-23123 | The number 2 argument of aunt is an instance of human |
(domain baptizeddate 1 Human) | Biography.kif 174-174 | The number 1 argument of baptizedmdate is an instance of human |
(domain baptizedplace 1 Human) | Biography.kif 188-188 | The number 1 argument of baptizedplace is an instance of human |
(domain beforeTaxIncome 1 Human) | FinancialOntology.kif 3358-3358 | The number 1 argument of before tax income is an instance of human |
(domain birthdate 1 Human) | Mid-level-ontology.kif 24343-24343 | The number 1 argument of birthdate is an instance of human |
(domain birthday 1 Human) | Mid-level-ontology.kif 24308-24308 | The number 1 argument of birthday is an instance of human |
(domain brother 2 Human) | Merge.kif 16388-16388 | The number 2 argument of brother is an instance of human |
(domain chiefOfDiplomaticMission 2 Human) | Government.kif 4445-4445 | The number 2 argument of chief of diplomatic mission is an instance of human |
(domain chiefOfState 3 Human) | Government.kif 1554-1554 | The number 3 argument of chief of state is an instance of human |
(domain citizen 1 Human) | Merge.kif 16636-16636 | The number 1 argument of citizen is an instance of human |
(domain classmate 1 Human) | Mid-level-ontology.kif 16680-16680 | The number 1 argument of classmate is an instance of human |
(domain classmate 2 Human) | Mid-level-ontology.kif 16681-16681 | The number 2 argument of classmate is an instance of human |
(domain coaches 1 Human) | Sports.kif 535-535 | 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 |
![]() |
consequent |
![]() |
statement |
![]() |
(and (instance ?YEAR (YearFn ?Y)) (equal (ChildrenBornPerWomanFn ?AREA ?YEAR) (CardinalityFn (KappaFn ?INFANT (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (agent ?BIRTH ?WOMAN) (instance ?WOMAN Human) (attribute ?WOMAN Female) (holdsDuring ?YEAR (inhabits ?WOMAN ?AREA))))))) |
People.kif 482-495 | 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 |
(equal (AvailableForMilitaryServiceMaleFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA))))) |
Military.kif 872-881 | 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 |
(equal (FitForMilitaryServiceMaleFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (subclass ?PROCESS MilitaryProcess) (fitForMilitaryService ?PERSON ?PROCESS) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA))))) |
Military.kif 895-906 | 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 |
(equal (PopulationFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (inhabits ?PERSON ?AREA))))) |
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 |
(equal (ReachingMilitaryAgeAnnuallyMaleFn ?AREA ?YEAR) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (militaryAge ?AREA ?MILITARYAGE) (equal ?AGEMINUSONE (SubtractionFn ?AGE 1)) (holdsDuring ?YEAR (or (age ?PERSON ?AGEMINUSONE) (age ?PERSON ?AGE))) (equal ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA))))) |
Military.kif 933-946 | 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 |
(equal Food (FoodForFn Human)) |
Merge.kif 14763-14763 | Food is equal to food for human |
![]() |
![]() |