TreeView Knowledge Base Browser - Female

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Female

Female

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 4018-4018
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18136-18137
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18135-18135	Female e' uma instancia de Atributo Sexual

appearance as argument number 2

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.	Merge.kif 18127-18127	exhaustiveAttribute Atributo Sexual, Female, Male and NonBinaryGender
No TPTP formula. May not be expressible in strict first order.	Government.kif 1412-1412	QueenConsort e' um sub-atributo de Female
No TPTP formula. May not be expressible in strict first order.	Government.kif 1408-1408	QueenRegnant e' um sub-atributo de Female
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23492-23492
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23491-23491
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23490-23490

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 172-187	Anemia e' um atributo de Objeto Objeto e' uma instancia de Sangue Objeto e' uma &parte de Objeto Female 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 12
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 206-221	Anemia e' um atributo de Objeto Objeto e' uma instancia de Sangue Objeto e' uma &parte de Objeto Female 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 12
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16515-16519	Organismo e' um genitor de Organismo Female e' um atributo de Organismo Organismo e' a mae de Organismo
No TPTP formula. May not be expressible in strict first order.	Government.kif 1267-1273	ExclusiveMaleSuffrage e' uma &sub-proposicao de RegionalLawFn Area Geopolitica Female e' um atributo de Objeto Objeto e' membro de ResidentFn Area Geopolitica Election e' uma instancia de Election Objeto e' capaz de fazer VotingFn Election no role agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 365-370	Entidade e' uma instancia de HumanChild Female e' um atributo de Entidade vale durante Posicao Temporal Entidade e' uma instancia de Girl vale durante Posicao Temporal

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	Ano e' uma instancia de o ano Numero Inteiro FemaleLifeExpectancyAtBirthFn 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 20199-20203	Objeto e' uma instancia de Bull Objeto e' uma instancia de Cattle Female e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20231-20235	Objeto e' uma instancia de Hen Objeto e' uma instancia de Chicken Female e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12858-12862	Objeto e' uma instancia de Breast Objeto e' uma &parte de Objeto Female e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18139-18144	Objeto e' uma instancia de Corpo Reprodutor Objeto e' uma &parte de Objeto Objeto e' uma instancia de Organismo Female e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24130-24136	Processo e' uma instancia de LayingEggs AutonomousAgent experimenta Processo AutonomousAgent e' uma instancia de Animal Female e' um atributo de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23879-23886	Processo e' uma instancia de Menstruation AutonomousAgent experimenta Processo Female e' um atributo de AutonomousAgent Menopausal e' um atributo de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23933-23935	Menopausal e' um atributo de Objeto Female e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19843-19845	Pregnant e' um atributo de Objeto Female e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1243-1254	ExclusiveFemaleLevel e' um atributo de Objeto Fisico Fisico e' uma instancia de HotelRoom Fisico e' situado em Objeto Fisico tem por fim Entidade Female e' um atributo de Entidade stays Entidade and Fisico
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1042-1050	FemaleExecutiveRoom e' um atributo de Objeto Objeto tem por fim Entidade Entidade e' uma instancia de Humano Female e' um atributo de Entidade BusinessExecutive e' um atributo de Entidade stays Entidade and Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16466-16468	daughter Organismo and Organismo Female e' um atributo de Organismo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24009-24016	Transferencia e' uma instancia de Nascimento Objeto TransferenciaABY Female e' um atributo de Objeto Transferencia tem como origem Objeto objectTransferred Transferencia and TransferenciaABY NonFullyFormed e' um atributo de TransferenciaABY
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12646-12650	Objeto e' uma instancia de QueenInsect Female e' um atributo de Objeto Objeto e' capaz de fazer Reproducao no role agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10869-10876	Entidade e' uma instancia de Milk Processo Objeto Objeto e' uma instancia de Mamifero Female e' um atributo de Objeto Objeto e' um instrumento para Processo Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14681-14683	Objeto e' uma instancia de Woman Female e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16436-16438	Organismo e' a mae de Organismo Female e' um atributo de Organismo

statement

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

People.kif 456-469

Ano e' uma instancia de o ano Numero Inteiro ChildrenBornPerWomanFn 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