| Male(男) | |
| appearance as argument number 1 |
|
|
| (contraryAttribute Male Female) | Merge.kif 16806-16806 | 男 是 女 的相反 |
| (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 16807-16808 | |
| (instance Male SexAttribute) | Merge.kif 16805-16805 | 男 是 性别属性 的 instance |
| appearance as argument number 2 |
|
|
| (subAttribute King Male) | Government.kif 1348-1348 | 王 是 男 的 subAttribute |
| (subAttribute PrinceConsort Male) | Government.kif 1377-1377 | PrinceConsort 是 男 的 subAttribute |
| (termFormat ChineseLanguage Male "男") | domainEnglishFormat.kif 35746-35746 | |
| (termFormat ChineseTraditionalLanguage Male "男") | domainEnglishFormat.kif 35745-35745 | |
| (termFormat EnglishLanguage Male "male") | domainEnglishFormat.kif 35744-35744 |
| appearance as argument number 3 |
|
|
| (exhaustiveAttribute SexAttribute Female Male) | Merge.kif 16790-16790 | 女 是所有的 性别属性 的 attributes |
| antecedent |
|
|
| (=> (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 142-154 | |
| (=> (and (parent ?CHILD ?PARENT) (attribute ?PARENT Male)) (father ?CHILD ?PARENT)) |
Merge.kif 15316-15320 | |
| (=> (holdsDuring ?T1 (and (instance ?H HumanChild) (attribute ?H Male))) (holdsDuring ?T1 (instance ?H Boy))) |
Mid-level-ontology.kif 504-509 |
| consequent |
|
|
| (<=> (equal (MaleLifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (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) (YearFn ?YEAR)) (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 367-398 | 地缘政治区域 和 整数 year 的 male 出生估计寿命 equal 实数 若且唯若 有存在 串列 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 另一个 整数 的 instance 和 对所有 那个 串列ITEM
|
| (<=> (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 221-238 | 地缘政治区域 的 male 对母性比率 equal 实数 若且唯若 整数 equal 符号串 所描述的类别 instance 的数量 和 另一个 整数 equal 另一个 符号串 所描述的类别 instance 的数量 和 那个 整数 和 那个 另外 整数 equal 那个 实数 |
| (<=> (instance ?B Bull) (and (instance ?B Cow) (attribute ?B Male))) |
Mid-level-ontology.kif 17977-17981 | 客体 是 公牛 的 instance 若且唯若 那个 客体 是 牛 的 instance 和 男 是 那个 客体 的 attribute |
| (<=> (instance ?R Rooster) (and (instance ?R Chicken) (attribute ?R Male))) |
Mid-level-ontology.kif 18012-18016 | 客体 是 公鸡 的 instance 若且唯若 那个 客体 是 鸡 的 instance 和 男 是 那个 客体 的 attribute |
| (=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT)) (attribute ?AGENT Male)) |
Government.kif 1204-1210 | |
| (=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT)) (attribute ?AGENT Male)) |
Government.kif 1212-1219 | |
| (=> (father ?CHILD ?FATHER) (attribute ?FATHER Male)) |
Merge.kif 15261-15263 | |
| (=> (instance ?MAN Man) (attribute ?MAN Male)) |
Merge.kif 13608-13610 | |
| (=> (son ?CHILD ?PARENT) (attribute ?CHILD Male)) |
Merge.kif 15285-15287 |
| 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 1195-1202 | 对所有 ?AGENT， ?VOTER,， ， ?ELECTION， and 和 ?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 867-876 | 地缘政治区域 的 available 军事服务男性 equal 符号串 所描述的类别 instance 的数量 |
| (equal (FitForMilitaryServiceMaleFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (instance ?PROCESS MilitaryProcess) (fitForMilitaryService ?PERSON ?PROCESS) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA))))) |
Military.kif 890-901 | 地缘政治区域 的 fit 对于军服务男性 equal 符号串 所描述的类别 instance 的数量 |
| (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 928-941 | 地缘政治区域 和 年 每年的 reaching 军事男性年龄 equal 符号串 所描述的类别 instance 的数量 |
|
|
|