inhabits - Sigma Knowledge base Browser

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 14394-14396
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14392-14392	O argumento numero 1 de inhabits e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14393-14393	O argumento numero 2 de inhabits e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14391-14391	inhabits e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14390-14390	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 14406-14406	home e' uma sub-relacao de inhabits
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14413-14413	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 14494-14498	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 14453-14457	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 14506-14510	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 14398-14404	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 30108-30115	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 30092-30100	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 25034-25043	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 17351-17367	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 30376-30383	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 14440-14445	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 15765-15775	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 14595-14600	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 30624-30631	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 6996-7003	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 6279-6281	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 31708-31713	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 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