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

No TPTP formula. May not be expressible in strict first order.	Merge.kif 18204-18204	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 18205-18206
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18203-18203	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 1358-1358	King e' um sub-atributo de Male
No TPTP formula. May not be expressible in strict first order.	Government.kif 1387-1387	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 18184-18184

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 16558-16562	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 347-352	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 20245-20249	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 20268-20272	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 1214-1220	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 1222-1229	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 16503-16505	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 14698-14700	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 16527-16529	son Organismo and Organismo Male e' um atributo de Organismo

statement

No TPTP formula. May not be expressible in strict first order.	Government.kif 1205-1212	?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 863-872	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 886-897	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 924-937	ReachingMilitaryAgeAnnuallyMaleFn Area Geopolitica and Ano e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica

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