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(male)

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

appearance as argument number 1

(contraryAttribute Male Female)	Merge.kif 18534-18534	Male is the opposite of female
(documentation Male ChineseLanguage "这是表示一个 Organism 天生是雄性的 Attribute。")	Merge.kif 18537-18537
(documentation Male EnglishLanguage "An Attribute indicating that an Organism is male in nature.")	Merge.kif 18535-18536
(instance Male SexAttribute)	Merge.kif 18533-18533	Male is an instance of sex attribute

appearance as argument number 2

(subAttribute King Male)	Government.kif 1354-1354	King is a subattribute of male
(subAttribute PrinceConsort Male)	Government.kif 1383-1383	PrinceConsort is a subattribute of male
(termFormat EnglishLanguage Male "male")	domainEnglishFormat.kif 6390-6390	"male" is the printable form of male in english language

appearance as argument number 3

(exhaustiveAttribute SexAttribute Female Male)

Merge.kif 18516-18516

Female are all the attributes of sex attribute

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	If an animal is an instance of ihram clothing and the animal wears a wearable item and male is an attribute of the wearable item, then there exist an object, another object and a third object such that the object is an instance of cloak and the other object is an instance of belt and the third object is an instance of sandal and the object is a member of the animal and the other object is a member of the animal and the third object is a member of the animal
(=> (and (parent ?CHILD ?PARENT) (attribute ?PARENT Male)) (father ?CHILD ?PARENT))	Merge.kif 16722-16726	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 505-510	If an entity is an instance of human child 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

(<=> (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	The male life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of a symbolic string and there doesn't exist another entity such that the other entity is an instance of the symbolic string and the other entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string and the real number is an average of the list
(<=> (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	The male to female ratio of a geopolitical area is equal to a real number if and only if an integer is equal to the number of instances in the class described by a symbolic string and another integer is equal to the number of instances in the class described by another symbolic string and the integer and the other integer is equal to the real number
(<=> (instance ?B Bull) (and (instance ?B Cow) (attribute ?B Male)))	Mid-level-ontology.kif 17950-17954	An object is an instance of bull if and only if the object is an instance of cow and male is an attribute of the object
(<=> (instance ?R Rooster) (and (instance ?R Chicken) (attribute ?R Male)))	Mid-level-ontology.kif 17985-17989	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 1211-1217	If exclusive male suffrage is a sub-proposition of the regional law of a nation and a human is a citizen of the nation and an election is an instance of the election of the nation and the human is capable of doing the voting of 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 1219-1226	If exclusive male suffrage is a sub-proposition of the regional law of a nation and a human is a citizen of the nation and an election is an instance of the election of the nation and a process is an instance of the voting of 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 16661-16663	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 14749-14751	If an object is an instance of man, then male is an attribute of the object
(=> (son ?CHILD ?PARENT) (attribute ?CHILD Male))	Merge.kif 16689-16691	If an organism is the son of 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 1202-1209	For all ?AGENT, ?VOTER,, , ?ELECTION and ?VOTING if ?ELECTION is an instance of the election of ?AGENT and ?VOTING is an instance of the voting of ?ELECTION and ?VOTER is an agent of ?VOTING, then male is an attribute of ?VOTER contains information exclusive male suffrage
(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	The available for military service male of a geopolitical area is equal to 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) (instance ?PROCESS MilitaryProcess) (fitForMilitaryService ?PERSON ?PROCESS) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA)))))	Military.kif 890-901	The fit for military service male of a geopolitical area is equal to 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 928-941	The reaching military age annually male of a geopolitical area and a year is equal to 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners