Male - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Male

Male

appearance as argument number 1

(contraryAttribute Male Female)	Merge.kif 18015-18015	Male は Female の disjoint では %n
(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 18016-18017
(instance Male SexAttribute)	Merge.kif 18014-18014	Male は性別属性の instance では %n

appearance as argument number 2

(subAttribute King Male)	Government.kif 1394-1394	King は Male の subattribute では %n
(subAttribute PrinceConsort Male)	Government.kif 1423-1423	PrinceConsort は Male の subattribute では %n
(termFormat ChineseLanguage Male "男")	domainEnglishFormat.kif 35837-35837
(termFormat ChineseTraditionalLanguage Male "男")	domainEnglishFormat.kif 35836-35836
(termFormat EnglishLanguage Male "male")	domainEnglishFormat.kif 35835-35835

appearance as argument number 3

(exhaustiveAttribute SexAttribute Female Male)

Merge.kif 17999-17999

exhaustiveAttribute 性別属性, Female and Male

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 152-167	Anemia はオブジェクトの attribute では %n オブジェクトは血の instance では %n オブジェクトはオブジェクトの part では %n Male はオブジェクトの attribute では %n オブジェクトの measure は 0.1 の Liter(s) では %n オブジェクトE は Hemoglobin の instance では %n オブジェクトE はオブジェクトの part では %n オブジェクトE2 は Hemoglobin の instance ではオブジェクトE はオブジェクトE2 と equal ではオブジェクト2 はオブジェクトの part では %n オブジェクトE の measure は実数の Gram(s) では %n 実数は 13 より less では %n
(=> (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	動物は IhramClothing の instance では %n 動物は % を wears %n{ない} Male は WearableItem の attribute では %n 物理物理 and 物理物理は Cloak の instance では %n 物理は Belt の instance では %n 物理は Sandal の instance では %n 物理は動物の member では %n 物理は動物の member では %n 物理は動物の member では %n
(=> (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 186-201	Anemia はオブジェクトの attribute ではオブジェクトは血の instance では %n オブジェクトはオブジェクトの part では %n Male はオブジェクトの attribute では %n オブジェクトの measure は 0.1 の Liter(s) では %n オブジェクトE は Hemoglobin の instance では %n オブジェクトE はオブジェクトの part では %n オブジェクトE2 は Hemoglobin の instance ではオブジェクトE はオブジェクトE2 と equal ではオブジェクト2 はオブジェクトの part では %n オブジェクトE の measure は実数の Gram(s) では %n 実数は 13 より greater では　%n
(=> (and (parent ?CHILD ?PARENT) (attribute ?PARENT Male)) (father ?CHILD ?PARENT))	Merge.kif 16380-16384	物は物の parent では %n Male は物の attribute では %n 物は物の father では %n
(=> (holdsDuring ?T1 (and (instance ?H HumanChild) (attribute ?H Male))) (holdsDuring ?T1 (instance ?H Boy)))	Mid-level-ontology.kif 354-359	エンティティーは HumanChild の instance では %n Male はエンティティーの attribute では %n は時間位置の during holds %n{ない} エンティティーは Boy の instance では %n は時間位置の during holds %n{ない}

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 383-416	年は年EAR year 目の instance では %n MaleLifeExpectancyAtBirthFn 地政学的地域 and 年は実数と equal では %n リスト整数, 記号文字列, エンティティー, エンティティー and エンティティーリストはリストの instance では %n リストの length は整数の instance では %n リストITEM リストITEM はリストの member では %n リストITEM は記号文字列の instance では %n エンティティーエンティティーは記号文字列の instance では %n エンティティーはリストの member では整数は記号文字列で記述される class の instances の数と equal では %n average リスト and 実数
(<=> (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 232-249	MaleToFemaleRatioFn 地政学的地域は実数と equal では %n 整数はエンティティー class の instances の数と equal では %n 整数はエンティティー class の instances の数と equal では %n 整数 + 整数は実数と equal では %n
(<=> (instance ?B Bull) (and (instance ?B Cattle) (attribute ?B Male)))	Mid-level-ontology.kif 20121-20125	オブジェクトは Bull の instance では %n オブジェクトは Cattle の instance では %n Male はオブジェクトの attribute では %n
(<=> (instance ?R Rooster) (and (instance ?R Chicken) (attribute ?R Male)))	Mid-level-ontology.kif 20144-20148	オブジェクトは Rooster の instance では %n オブジェクトは Chicken の instance では %n Male はオブジェクトの attribute では %n
(=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT)) (attribute ?AGENT Male))	Government.kif 1250-1256	ExclusiveMaleSuffrage は RegionalLawFn 国民の sub-proposition では %n 人［人間］は国民% の citizen では %n Election は ElectionFn 国民の instance では %n 人［人間］は VotingFn Election を agent として行う capable では %n Male は人［人間］の attribute では %n
(=> (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	ExclusiveMaleSuffrage は RegionalLawFn 国民の sub-proposition では %n 人［人間］は国民% の citizen では %n Election は ElectionFn 国民の instance では %n 工程は VotingFn Election の instance では %n 人［人間］は工程の agent では %n Male は人［人間］の attribute では %n
(=> (father ?CHILD ?FATHER) (attribute ?FATHER Male))	Merge.kif 16325-16327	物は物の father では %n Male は物の attribute では %n
(=> (instance ?MAN Man) (attribute ?MAN Male))	Merge.kif 14545-14547	オブジェクトは Man の instance では %n Male はオブジェクトの attribute では %n
(=> (son ?CHILD ?PARENT) (attribute ?CHILD Male))	Merge.kif 16349-16351	son 物 and 物 Male は物の attribute では %n

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	?AGENT ?VOTER, ?ELECTION and ?VOTING ?ELECTION は ElectionFn ?AGENT の instance では %n ?VOTING は VotingFn ?ELECTION の instance では %n ?VOTER は ?VOTING の agent では %n Male は ?VOTER の attribute では %n は ExclusiveMaleSuffrage の情報を contains %n{ない}
(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 地政学的地域はエンティティー class の instances の数と equal では %n
(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 地政学的地域はエンティティー class の instances の数と equal では %n
(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 地政学的地域 and 年はエンティティー class の instances の数と equal では %n

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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