Male
|
|
appearance as argument number 1 |
(contraryAttribute Male Female) | Merge.kif 18147-18147 | Male wird Female entgegengesetzet %n{nicht} |
(documentation Male ChineseLanguage "这是表示一个 Organism 天生是雄性的 Attribute。") | chinese_format.kif 4019-4019 | |
(documentation Male EnglishLanguage "An Attribute indicating that an Organism is male in nature.") | Merge.kif 18148-18149 | |
(instance Male SexAttribute) | Merge.kif 18146-18146 | Male ist ein fall von SexAttribute %n{nicht} |
appearance as argument number 2 |
(subAttribute King Male) | Government.kif 1394-1394 | King ist ein teilattribut von Male |
(subAttribute PrinceConsort Male) | Government.kif 1423-1423 | PrinceConsort ist ein teilattribut von Male |
(termFormat ChineseLanguage Male "男") | domainEnglishFormat.kif 35831-35831 | |
(termFormat ChineseTraditionalLanguage Male "男") | domainEnglishFormat.kif 35830-35830 | |
(termFormat EnglishLanguage Male "male") | domainEnglishFormat.kif 35829-35829 |
appearance as argument number 3 |
(exhaustiveAttribute SexAttribute Female Male NonBinaryGender) | Merge.kif 18127-18127 | exhaustiveAttribute SexAttribute, Female, Male and NonBinaryGender |
antecedent |
(=> (and (attribute ?H Anemia) (instance ?B Blood) (part ?B ?H) (attribute ?H Male) (measure ?B (MeasureFn 0.1 Liter)) (instance ?HE Hemoglobin) (part ?HE ?B) (not (instance ?HE2 Hemoglobin)) (not (equal ?HE ?HE2)) (part ?H2 ?B) (measure ?HE (MeasureFn ?N Gram))) (lessThan ?N 13)) |
Medicine.kif 155-170 |
|
(=> (and (instance ?IC IhramClothing) (wears ?IC ?M) (attribute ?M Male)) (exists (?C ?B ?S) (and (instance ?C Cloak) (instance ?B Belt) (instance ?S Sandal) (member ?C ?IC) (member ?B ?IC) (member ?S ?IC)))) |
ArabicCulture.kif 151-163 |
|
(=> (and (not (attribute ?H Anemia)) (instance ?B Blood) (part ?B ?H) (attribute ?H Male) (measure ?B (MeasureFn 0.1 Liter)) (instance ?HE Hemoglobin) (part ?HE ?B) (not (instance ?HE2 Hemoglobin)) (not (equal ?HE ?HE2)) (part ?H2 ?B) (measure ?HE (MeasureFn ?N Gram))) (greaterThan ?N 13)) |
Medicine.kif 189-204 |
|
(=> (and (parent ?CHILD ?PARENT) (attribute ?PARENT Male)) (father ?CHILD ?PARENT)) |
Merge.kif 16509-16513 |
|
(=> (holdsDuring ?T1 (and (instance ?H HumanChild) (attribute ?H Male))) (holdsDuring ?T1 (instance ?H Boy))) |
Mid-level-ontology.kif 354-359 |
|
consequent |
(<=> (and (instance ?Y (YearFn ?YEAR)) (equal (MaleLifeExpectancyAtBirthFn ?AREA ?Y) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Male) (during (WhenFn ?BIRTH) ?Y) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER)))) |
People.kif 357-390 | Year ist ein fall von das jahr ** YearEAR %n{nicht} und MaleLifeExpectancyAtBirthFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn es gibt List, ** Integer,, , SymbolicString,, , entity,, , ** entity, and und ** entity um ** List ist ein fall von List %n{nicht} und Laenge von ** List ist ein fall von ** ** Integer %n{nicht} und fuer alle ** ListITEM
|
(<=> (equal (MaleToFemaleRatioFn ?AREA) ?REALNUMBER) (and (equal ?MALECOUNT (CardinalityFn (KappaFn ?MALE (and (instance ?MALE Human) (attribute ?MALE Male) (inhabits ?MALE ?AREA))))) (equal ?FEMALECOUNT (CardinalityFn (KappaFn ?FEMALE (and (instance ?FEMALE Human) (attribute ?FEMALE Female) (inhabits ?FEMALE ?AREA))))) (equal (DivisionFn ?MALECOUNT ?FEMALECOUNT) ?REALNUMBER))) |
People.kif 206-223 | MaleToFemaleRatioFn GeopoliticalArea ist gleich RealNumber %n{nicht} genau dann wenn Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und ** Integer ist gleich die Zahl Faellen in die kategorie die ** SymbolicString beschreibt %n{nicht} und ** Integer und ** ** Integer ist gleich ** RealNumber %n{nicht} |
(<=> (instance ?B Bull) (and (instance ?B Cattle) (attribute ?B Male))) |
Mid-level-ontology.kif 20217-20221 | Object ist ein fall von Bull %n{nicht} genau dann wenn ** Object ist ein fall von Cattle %n{nicht} und Male ist ein attribut von ** Object %n{nicht} |
(<=> (instance ?R Rooster) (and (instance ?R Chicken) (attribute ?R Male))) |
Mid-level-ontology.kif 20240-20244 | Object ist ein fall von Rooster %n{nicht} genau dann wenn ** Object ist ein fall von Chicken %n{nicht} und Male ist ein attribut von ** Object %n{nicht} |
(=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT)) (attribute ?AGENT Male)) |
Government.kif 1250-1256 |
|
(=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT)) (attribute ?AGENT Male)) |
Government.kif 1258-1265 |
|
(=> (father ?CHILD ?FATHER) (attribute ?FATHER Male)) |
Merge.kif 16454-16456 |
|
(=> (instance ?MAN Man) (attribute ?MAN Male)) |
Merge.kif 14674-14676 | |
(=> (son ?CHILD ?PARENT) (attribute ?CHILD Male)) |
Merge.kif 16478-16480 |
|
statement |
(containsInformation (forall (?AGENT ?VOTER ?ELECTION ?VOTING) (=> (and (instance ?ELECTION (ElectionFn ?AGENT)) (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER)) (attribute ?VOTER Male))) ExclusiveMaleSuffrage) |
Government.kif 1241-1248 | Fuer alle ?AGENT, ?VOTER,, , ?ELECTION, and und ?VOTING
|
(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 | AvailableForMilitaryServiceMaleFn GeopoliticalArea ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} |
(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 | FitForMilitaryServiceMaleFn GeopoliticalArea ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} |
(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 | ReachingMilitaryAgeAnnuallyMaleFn GeopoliticalArea and Year ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} |