TreeView Knowledge Base Browser - Female

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

TrichotomizingRelation

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 18114-18115
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18113-18113	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 18125-18125	Male e' &o oposto de Female
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18105-18105	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 16493-16497	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 20200-20204	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 20232-20236	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 12859-12863	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 18117-18122	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 24131-24137	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 23880-23887	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 23934-23936	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 19844-19846	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 16444-16446	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 24010-24017	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 12647-12651	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 10870-10877	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 14659-14661	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 16414-16416	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