TreeView Knowledge Base Browser - inhabits

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - inhabits

inhabits

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3373-3374
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14372-14374
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14370-14370	O argumento numero 1 de inhabits e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14371-14371	O argumento numero 2 de inhabits e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14369-14369	inhabits e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14368-14368	inhabits e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 521-521
No TPTP formula. May not be expressible in strict first order.	english_format.kif 526-526
No TPTP formula. May not be expressible in strict first order.	french_format.kif 308-308
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 143-143
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2076-2076
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 260-260
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 314-314
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 677-677
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 182-182
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 329-329
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 336-336
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 290-290
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14384-14384	home e' uma sub-relacao de inhabits
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14391-14391	stays e' uma sub-relacao de inhabits
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 522-522
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30073-30073
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30072-30072
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30071-30071
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 291-291

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 26-47	DislocatedCivilian e' um atributo de Entidade Entidade vive em Entidade Entidade e' situado em Area Geografica vale durante Intervalo Temporal Area Geografica e' uma instancia de Area Geografica Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal Entidade-PLACE and Entidade-RES Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal acontence antes de Intervalo Temporal Entidade-RES e' uma instancia de Objeto Entidade-PLACE e' uma instancia de Area Geopolitica Entidade-RES e' situado em Entidade-PLACE Area Geografica e' igual a Entidade-PLACE Entidade e' igual a Entidade-RES geographicSubregion Area Geografica and Entidade-PLACE geographicSubregion Entidade-PLACE and Area Geografica Entidade vive em Entidade-RES vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14472-14476	Organismo e' uma instancia de Bacteria Organismo vive em Objeto Objeto e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14431-14435	Organismo e' uma instancia de Cogumelo Organismo vive em Objeto Objeto e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14484-14488	Organismo e' uma instancia de Virus Organismo vive em Objeto Objeto e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 70-78	DisplacedPerson e' um atributo de Entidade Entidade vive em Entidade Entidade e' situado em EntidadeLACE Entidade e' um cidadao de Objeto vale durante Posicao Temporal EntidadeLACE e' parcialmente localizado em Objeto
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 92-99	InternallyDisplacedPerson e' um atributo de Entidade Entidade vive em Entidade Entidade e' situado em EntidadeLACE Entidade e' um cidadao de Objeto vale durante Posicao Temporal EntidadeLACE e' parcialmente localizado em Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14376-14382	Entidade vive em Entidade vale durante Posicao Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal Posicao Temporal e' uma &parte de Posicao Temporal Entidade e' situado em Entidade vale durante Posicao Temporal

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 156-187	Ano e' uma instancia de o ano Numero Inteiro MigrantsPerThousandFn Area Geopolitica and Ano e' igual a Numero Real ( Numero Inteiro + Numero Inteiro) e' igual a 1 Entidade e' uma instancia de o ano Numero Inteiro PopulationFn Area Geopolitica e' igual a Numero Real vale durante Ano Numero Real + 1000 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 Numero Real + Numero Real e' igual a 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 30120-30127	Inhabited e' um atributo de Objeto Objeto e' uma instancia de Regiao Organismo Organismo e' uma instancia de Humano Organismo vive em Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30104-30112	Uninhabited e' um atributo de Objeto Objeto e' uma instancia de Regiao Organismo Organismo e' uma instancia de Humano Organismo vive em Objeto
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 26-47	DislocatedCivilian e' um atributo de Entidade Entidade vive em Entidade Entidade e' situado em Area Geografica vale durante Intervalo Temporal Area Geografica e' uma instancia de Area Geografica Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal Entidade-PLACE and Entidade-RES Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal acontence antes de Intervalo Temporal Entidade-RES e' uma instancia de Objeto Entidade-PLACE e' uma instancia de Area Geopolitica Entidade-RES e' situado em Entidade-PLACE Area Geografica e' igual a Entidade-PLACE Entidade e' igual a Entidade-RES geographicSubregion Area Geografica and Entidade-PLACE geographicSubregion Entidade-PLACE and Area Geografica Entidade vive em Entidade-RES vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25035-25044	Entidade e' uma instancia de Humano deviceTelecomNumber Entidade and Entidade telephoneNumber Entidade and Entidade Entidade e' situado em Entidade Entidade e' uma instancia de Residence vale durante Posicao Temporal Entidade vive em Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17352-17368	Processo e' uma instancia de Immigrating Processo e' um agente de AutonomousAgent Area Geopolitica Area Geopolitica Area Geopolitica e' uma instancia de Nacao Area Geopolitica e' uma instancia de Nacao Processo tem como origem Area Geopolitica Processo termina em Area Geopolitica Area Geopolitica e' igual a Area Geopolitica AutonomousAgent e' membro de CitizenryFn Area Geopolitica AutonomousAgent e' membro de CitizenryFn Area Geopolitica Processo tem por fim AutonomousAgent vive em Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Food.kif 1928-1937	Entidade e' uma instancia de Carne Carne e' uma sub-classe de Seafood Organismo EntidadeEA and Animal meatOfAnimal Carne and Animal Organismo e' uma instancia de Animal EntidadeEA e' uma instancia de BodyOfWater Organismo vive em EntidadeEA
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30388-30395	habitatOfOrganism Organismo and Area Geografica o argumento OrganismoI OrganismoI e' uma instancia de Organismo OrganismoI vive em Area Geografica tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14418-14423	Organismo e' uma instancia de Alga Objeto Organismo vive em Objeto Objeto e' uma instancia de Agua
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6042-6046	Fisico e' uma instancia de Burrow Entidade Fisico tem por fim Entidade vive em Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15743-15753	Objeto e' uma instancia de Predio Organismo Organismo e' uma instancia de Humano Organismo vive em Objeto Processo Processo e' um agente de Organismo Processo e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14573-14578	Organismo e' uma instancia de Peixe Objeto Organismo vive em Objeto Objeto e' uma instancia de Agua
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30636-30643	Animal e' uma instancia de DemonymFn Area Geografica Objeto Objeto e' situado em Area Geografica Animal vive em Objeto birthplace Animal and Area Geografica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6997-7004	Fisico e' uma instancia de AnimalResidence Fisico tem por fim Entidade Entidade e' uma instancia de Animal Entidade e' uma instancia de Humano Entidade vive em Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6280-6282	parasite Organismo and Organismo Organismo vive em 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
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.	Mid-level-ontology.kif 31712-31717	PopulationFn 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