|
|
  Male
|
|
|
| appearance as argument number 1 |
|
|
| (contraryAttribute Male Female) | Merge.kif 18204-18204 | 相反的屬性 男 and 女 |
| (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 18205-18206 | |
| (instance Male SexAttribute) | Merge.kif 18203-18203 | 例 男 and SexAttribute |
| appearance as argument number 2 |
|
|
| (subAttribute King Male) | Government.kif 1358-1358 | 子屬性 王 and 男 |
| (subAttribute PrinceConsort Male) | Government.kif 1387-1387 | 子屬性 PrinceConsort and 男 |
| (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 18184-18184 | 女 是所有的 SexAttribute 的 attributes |
| 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 16558-16562 | |
| (=> (holdsDuring ?T1 (and (instance ?H HumanChild) (attribute ?H Male))) (holdsDuring ?T1 (instance ?H Boy))) |
Mid-level-ontology.kif 347-352 |
| 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 | 例 年 and 年 年EAR 等於 GeopoliticalArea 和 年 的 male 出生估計壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例 列表長度 List and Integer 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 | 等於 GeopoliticalArea 的 male 對母性比率 and RealNumber 等於 Integer and 基數 卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男 棲息 SymbolicString and GeopoliticalArea 等於 Integer and 基數 卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 女 棲息 SymbolicString and GeopoliticalArea 等於 部 Integer and Integer and RealNumber |
| (<=> (instance ?B Bull) (and (instance ?B Cattle) (attribute ?B Male))) |
Mid-level-ontology.kif 20245-20249 | 例 Object and 公牛 例 Object and 牛 attribute Object and 男 |
| (<=> (instance ?R Rooster) (and (instance ?R Chicken) (attribute ?R Male))) |
Mid-level-ontology.kif 20268-20272 | 例 Object and 公雞 例 Object and 雞 attribute Object and 男 |
| (=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT)) (attribute ?AGENT Male)) |
Government.kif 1214-1220 | |
| (=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT)) (attribute ?AGENT Male)) |
Government.kif 1222-1229 | |
| (=> (father ?CHILD ?FATHER) (attribute ?FATHER Male)) |
Merge.kif 16503-16505 | |
| (=> (instance ?MAN Man) (attribute ?MAN Male)) |
Merge.kif 14698-14700 | |
| (=> (son ?CHILD ?PARENT) (attribute ?CHILD Male)) |
Merge.kif 16527-16529 |
| statement |
|
|
|
|
|