TreeView Knowledge Base Browser - Male

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Male

Sigma KEE - Male

Male

antheral, impotent, male, maleness, masculinity, potent, staminate, virile

appearance as argument number 1

(contraryAttribute Male Female)	Merge.kif 18334-18334	Male is the opposite of Female
(documentation Male ChineseLanguage "这是表示一个 Organism 天生是雄性的 Attribute。")	chinese_format.kif 4019-4019	Male is the opposite of Female
(documentation Male EnglishLanguage "An Attribute indicating that an Organism is male in nature.")	Merge.kif 18335-18336	Male is the opposite of Female
(instance Male SexAttribute)	Merge.kif 18333-18333	Male is an instance of sex attribute

appearance as argument number 2

(subAttribute King Male)	Government.kif 1356-1356	King is a subattribute of Male
(subAttribute PrinceConsort Male)	Government.kif 1385-1385	PrinceConsort is a subattribute of Male
(termFormat ChineseLanguage Male "男")	domainEnglishFormat.kif 35839-35839	PrinceConsort is a subattribute of Male
(termFormat ChineseTraditionalLanguage Male "男")	domainEnglishFormat.kif 35838-35838	PrinceConsort is a subattribute of Male
(termFormat EnglishLanguage Male "male")	domainEnglishFormat.kif 35837-35837	PrinceConsort is a subattribute of Male

appearance as argument number 3

(exhaustiveAttribute SexAttribute Female Male NonBinaryGender)

Merge.kif 18313-18313

exhaustiveAttribute sex attribute, 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	If Anemia is an attribute of an object and another object is an instance of blood and the other object is a part of the object and Male is an attribute of the object and the measure of the other object is 0.1 Liter(s) and the objectE is an instance of Hemoglobin and the objectE is a part of the other object and the objectE2 is not an instance of Hemoglobin and equal the objectE and the objectE2 and the object2 is a part of the other object and the measure of the objectE is a real number Gram(s), then the real number is less than 13
(=> (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	If an animal is an instance of IhramClothing and the animal wears a WearableItem and Male is an attribute of the WearableItem, then there exist a physical, another physical and a third physical such that the physical is an instance of Cloak and the other physical is an instance of Belt and the third physical is an instance of Sandal and the physical is a member of the animal and the other physical is a member of the animal and the third physical is a member of the animal
(=> (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	If Anemia is not an attribute of an object and another object is an instance of blood and the other object is a part of the object and Male is an attribute of the object and the measure of the other object is 0.1 Liter(s) and the objectE is an instance of Hemoglobin and the objectE is a part of the other object and the objectE2 is not an instance of Hemoglobin and equal the objectE and the objectE2 and the object2 is a part of the other object and the measure of the objectE is a real number Gram(s), then the real number is greater than 13
(=> (and (parent ?CHILD ?PARENT) (attribute ?PARENT Male)) (father ?CHILD ?PARENT))	Merge.kif 16684-16688	If an organism is a parent of another organism and Male is an attribute of the organism, then the organism is a father of the other organism
(=> (holdsDuring ?T1 (and (instance ?H HumanChild) (attribute ?H Male))) (holdsDuring ?T1 (instance ?H Boy)))	Mid-level-ontology.kif 347-352	If an entity is an instance of HumanChild and Male is an attribute of the entity holds during a time position, then the entity is an instance of Boy holds during the time position

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	A year is an instance of the year the yearEAR and equal MaleLifeExpectancyAtBirthFn a geopolitical area and the year and a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth entity is not a member of the list and equal the other integer and the number of instances in the class described by the symbolic string and average the list and the real number
(<=> (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	equal MaleToFemaleRatioFn a geopolitical area and a real number if and only if equal an integer and the number of instances in the class described by a symbolic string and equal another integer and the number of instances in the class described by another symbolic string and equal the integer and the other integer and the real number
(<=> (instance ?B Bull) (and (instance ?B Cattle) (attribute ?B Male)))	Mid-level-ontology.kif 21826-21830	An object is an instance of Bull if and only if the object is an instance of Cattle and Male is an attribute of the object
(<=> (instance ?R Rooster) (and (instance ?R Chicken) (attribute ?R Male)))	Mid-level-ontology.kif 21849-21853	An object is an instance of Rooster if and only if the object is an instance of Chicken and Male is an attribute of the object
(=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT)) (attribute ?AGENT Male))	Government.kif 1212-1218	If ExclusiveMaleSuffrage is a sub-proposition of RegionalLawFn a nation and a human is a citizen of the nation and an Election is an instance of ElectionFn the nation and the human is capable of doing VotingFn the Election as a agent, then Male is an attribute of the human
(=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT)) (attribute ?AGENT Male))	Government.kif 1220-1227	If ExclusiveMaleSuffrage is a sub-proposition of RegionalLawFn a nation and a human is a citizen of the nation and an Election is an instance of ElectionFn the nation and a process is an instance of VotingFn the Election and the human is an agent of the process, then Male is an attribute of the human
(=> (father ?CHILD ?FATHER) (attribute ?FATHER Male))	Merge.kif 16629-16631	If an organism is a father of another organism, then Male is an attribute of the organism
(=> (instance ?MAN Man) (attribute ?MAN Male))	Merge.kif 14827-14829	If an object is an instance of Man, then Male is an attribute of the object
(=> (son ?CHILD ?PARENT) (attribute ?CHILD Male))	Merge.kif 16653-16655	If son an organism and another organism, then Male is an attribute of the organism

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 1203-1210	For all ?AGENT, ?VOTER,, , ?ELECTION and ?VOTING if ?ELECTION is an instance of ElectionFn ?AGENT and ?VOTING is an instance of VotingFn ?ELECTION and ?VOTER is an agent of ?VOTING, then Male is an attribute of ?VOTER contains information ExclusiveMaleSuffrage
(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 939-948	equal AvailableForMilitaryServiceMaleFn a geopolitical area and 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 962-973	equal FitForMilitaryServiceMaleFn a geopolitical area and 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 1000-1013	equal ReachingMilitaryAgeAnnuallyMaleFn a geopolitical area and a year and the number of instances in the class described by a symbolic string

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

Show without tree

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