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

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 18147-18147	Male e' &o oposto de Female
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 4019-4019
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18148-18149
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18146-18146	Male e' uma instancia de Atributo Sexual

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 1394-1394	King e' um sub-atributo de Male
No TPTP formula. May not be expressible in strict first order.	Government.kif 1423-1423	PrinceConsort e' um sub-atributo de Male
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35831-35831
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35830-35830
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35829-35829

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Merge.kif 18127-18127

exhaustiveAttribute Atributo Sexual, Female, Male and NonBinaryGender

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 155-170	Anemia e' um atributo de Objeto Objeto e' uma instancia de Sangue Objeto e' uma &parte de Objeto Male e' um atributo de Objeto a medida de Objeto e' 0.1 Liter(s) ObjetoE e' uma instancia de Hemoglobin ObjetoE e' uma &parte de Objeto ObjetoE2 e' uma instancia de Hemoglobin ObjetoE e' igual a ObjetoE2 Objeto2 e' uma &parte de Objeto a medida de ObjetoE e' Numero Real Gram(s) Numero Real e' menos que 13
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 151-163	Animal e' uma instancia de IhramClothing Animal usa WearableItem Male e' um atributo de WearableItem Fisico Fisico and Fisico Fisico e' uma instancia de Cloak Fisico e' uma instancia de Belt Fisico e' uma instancia de Sandal Fisico e' membro de Animal Fisico e' membro de Animal Fisico e' membro de Animal
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 189-204	Anemia e' um atributo de Objeto Objeto e' uma instancia de Sangue Objeto e' uma &parte de Objeto Male e' um atributo de Objeto a medida de Objeto e' 0.1 Liter(s) ObjetoE e' uma instancia de Hemoglobin ObjetoE e' uma &parte de Objeto ObjetoE2 e' uma instancia de Hemoglobin ObjetoE e' igual a ObjetoE2 Objeto2 e' uma &parte de Objeto a medida de ObjetoE e' Numero Real Gram(s) Numero Real e' maior que 13
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16509-16513	Organismo e' um genitor de Organismo Male e' um atributo de Organismo Organismo e' o pai de Organismo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 354-359	Entidade e' uma instancia de HumanChild Male e' um atributo de Entidade vale durante Posicao Temporal Entidade e' uma instancia de Boy vale durante Posicao Temporal

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 357-390	Ano e' uma instancia de o ano AnoEAR MaleLifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM ListaITEM e' um membro de Lista ListaITEM e' uma instancia de Sequencia Simbolica Entidade Entidade e' uma instancia de Sequencia Simbolica Entidade e' um membro de Lista Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica average Lista and Numero Real
No TPTP formula. May not be expressible in strict first order.	People.kif 206-223	MaleToFemaleRatioFn Area Geopolitica e' igual a Numero Real Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro + Numero Inteiro e' igual a Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20217-20221	Objeto e' uma instancia de Bull Objeto e' uma instancia de Cattle Male e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20240-20244	Objeto e' uma instancia de Rooster Objeto e' uma instancia de Chicken Male e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Government.kif 1250-1256	ExclusiveMaleSuffrage e' uma &sub-proposicao de RegionalLawFn Nacao Humano e' um cidadao de Nacao Election e' uma instancia de ElectionFn Nacao Humano e' capaz de fazer VotingFn Election no role agent Male e' um atributo de Humano
No TPTP formula. May not be expressible in strict first order.	Government.kif 1258-1265	ExclusiveMaleSuffrage e' uma &sub-proposicao de RegionalLawFn Nacao Humano e' um cidadao de Nacao Election e' uma instancia de ElectionFn Nacao Processo e' uma instancia de VotingFn Election Processo e' um agente de Humano Male e' um atributo de Humano
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16454-16456	Organismo e' o pai de Organismo Male e' um atributo de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14674-14676	Objeto e' uma instancia de Man Male e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16478-16480	son Organismo and Organismo Male e' um atributo de Organismo

statement

No TPTP formula. May not be expressible in strict first order.	Government.kif 1241-1248	?AGENT ?VOTER, ?ELECTION and ?VOTING ?ELECTION e' uma instancia de ElectionFn ?AGENT ?VOTING e' uma instancia de VotingFn ?ELECTION ?VOTING e' um agente de ?VOTER Male e' um atributo de ?VOTER contem informacao ExclusiveMaleSuffrage
No TPTP formula. May not be expressible in strict first order.	Military.kif 872-881	AvailableForMilitaryServiceMaleFn Area Geopolitica e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Military.kif 895-906	FitForMilitaryServiceMaleFn Area Geopolitica e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Military.kif 933-946	ReachingMilitaryAgeAnnuallyMaleFn Area Geopolitica and Ano e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica

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