TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2111-2112
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4078-4080
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 763-764
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4075-4075	O argumento numero 1 de located e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4076-4076	O argumento numero 2 de located e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4070-4070	located e' uma instancia de Relacao Anti-simetrica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4072-4072	located e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4071-4071	located e' uma instancia de Relacao Transitiva
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4073-4073	located e' uma sub-relacao de partlyLocated

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 145-145
No TPTP formula. May not be expressible in strict first order.	english_format.kif 146-146
No TPTP formula. May not be expressible in strict first order.	french_format.kif 94-94
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 170-170
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1921-1921
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 46-46
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 128-128
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 176-176
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 208-208
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 113-113
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 93-93
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 339-339
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3868-3868	time e' relacionado internamente por SUMO a located
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4134-4134	exactlyLocated e' uma sub-relacao de located
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14046-14046	geographicSubregion e' uma sub-relacao de located
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7576-7576	headquartersOfOrganization e' uma sub-relacao de located
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17404-17404	onboard e' uma sub-relacao de located
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9974-9974	partiallyFills e' uma sub-relacao de located
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24758-24758	postCity e' uma sub-relacao de located
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24701-24701	postCountry e' uma sub-relacao de located
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24742-24742	postDistrict e' uma sub-relacao de located
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24670-24670	postNeighborhood e' uma sub-relacao de located
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24784-24784	postPostcodeArea e' uma sub-relacao de located
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 146-146

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24790-24795	PostalPlace e' situado em PostcodeArea PostalPlace e' uma instancia de PostalPlace PostcodeArea e' uma instancia de PostcodeArea postPostcodeArea PostalPlace and PostcodeArea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24763-24768	PostalPlace e' situado em Cidade PostalPlace e' uma instancia de PostalPlace Cidade e' uma instancia de Cidade postCity PostalPlace and Cidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24676-24681	PostalPlace e' situado em Neighborhood PostalPlace e' uma instancia de PostalPlace Neighborhood e' uma instancia de Neighborhood postNeighborhood PostalPlace and Neighborhood
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24747-24752	PostalPlace e' situado em Estado ou Provincia PostalPlace e' uma instancia de PostalPlace Estado ou Provincia e' uma instancia de Estado ou Provincia postDistrict PostalPlace and Estado ou Provincia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24713-24720	PostalPlace e' situado em Area Geopolitica PostalPlace e' uma instancia de PostalPlace Area Geopolitica e' uma instancia de Nacao Area Geopolitica e' uma instancia de DependencyOrSpecialSovereigntyArea postCountry PostalPlace and Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20601-20623	Waiter e' um atributo de Agente Cognitivo Agente Cognitivo e' uma instancia de Humano AutonomousAgent emprega Agente Cognitivo AutonomousAgent e' uma instancia de Restaurant customer Agente Cognitivo and AutonomousAgent Agente Cognitivo e' situado em Objeto Objeto e' uma instancia de Table Objeto Entidade, Entidade and Objeto AutonomousAgent possui Objeto Objeto e' uma instancia de KitchenArea Objeto e' uma instancia de DiningArea Objeto e' situado em Objeto Agente Cognitivo tem por fim Entidade e' uma instancia de Carrying Entidade e' um agente de Agente Cognitivo Entidade tem como origem Objeto Entidade termina em Objeto Entidade e' um patient de Entidade Entidade e' uma instancia de FoodForFn Humano
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 153-172	Organizacao e' capaz de fazer ValetParking no role agent customer Agente Cognitivo and Organizacao Organizacao e' situado em Objeto Processo e' uma instancia de Arriving Processo e' um agente de Agente Cognitivo Entidade e' um patient de Processo Processo termina em Objeto Humano Humano ocupa a posicao de Valet Organizacao o argumento Entidade Entidade Entidade e' uma instancia de ValetParking Entidade e' um agente de Humano Entidade e' um patient de Entidade Entidade termina em Entidade Entidade e' uma instancia de ParkingRegion tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 703-711	chromosomeNumber EukaryoticCell and Numero Inteiro Objeto e' uma &parte de EukaryoticCell Objeto e' uma instancia de CellNucleus EukaryoticCellOLL e' uma instancia de Colecao EukaryoticCellOLL e' situado em Objeto memberType EukaryoticCellOLL and Chromosome memberCount EukaryoticCellOLL and Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Military.kif 772-778	Humano e' um cidadao de Nacao Objeto Humano e' situado em Objeto Humano e' situado em Nacao
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1907-1912	elevation Objeto and Medida de Comprimento Objeto e' situado em Objeto Objeto e' uma instancia de Area Geografica Objeto e' uma parte superficial de PlanetEarth
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 346-361	freeRoomAmenity HotelUnit and Fisico Fisico e' uma sub-classe de Objeto TemporaryResidence e' uma instancia de HotelUnit stays Humano and TemporaryResidence TemporaryResidence e' um elemento de propriedade de AutonomousAgent Objeto e' uma instancia de Fisico Objeto e' situado em TemporaryResidence Processo e' uma instancia de Processo Processo e' um agente de Humano Objeto e' um patient de Processo Objeto e' um instrumento para Processo Objeto e' um recurso para Processo price Objeto, 0 UnitedStatesDollar(s) and Humano
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 364-378	freeRoomAmenity HotelUnit and Fisico Fisico e' uma sub-classe de Processo TemporaryResidence e' uma instancia de HotelUnit stays Humano and TemporaryResidence TemporaryResidence e' um elemento de propriedade de AutonomousAgent Humano e' um patient de Processo Processo e' uma instancia de Fisico Processo e' uma instancia de Fisico Processo e' um sub-processo de Processo Processo e' situado em TemporaryResidence price Processo, 0.0 UnitedStatesDollar(s) and Humano
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 794-803	haploidNumber Gamete and Numero Inteiro Gamete e' uma instancia de Gamete Objeto e' uma &parte de Gamete Objeto e' uma instancia de CellNucleus Colecao e' uma instancia de Colecao Colecao e' situado em Objeto memberType Colecao and Chromosome memberCount Colecao and Numero Inteiro
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.	Medicine.kif 1008-1019	Processo e' uma instancia de LocalAnesthetizing Processo e' situado em Objeto Objeto e' uma instancia de Parte do Corpo Objeto e' uma &parte de Objeto Objeto e' um patient de Processo PainFn Objeto e' um atributo de Objeto vale durante tempo de existencia de Processo
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.	Geography.kif 1879-1884	Objeto e' uma instancia de Area Geografica Fisico e' uma instancia de GeologicalFault Fisico e' situado em Objeto GeologicallyStable e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 665-671	Processo e' uma instancia de AntiSurfaceOperation Entidade e' um patient de Processo Entidade e' situado em Entidade vale durante tempo de existencia de Processo Entidade e' uma instancia de Area Aquatica
No TPTP formula. May not be expressible in strict first order.	Dining.kif 586-602	Processo e' uma instancia de CateringService Processo e' um agente de AutonomousAgent Processo termina em ProcessoUST AutonomousAgent e' situado em Objeto customer ProcessoUST and AutonomousAgent Processo Entidade and Processo Processo e' uma instancia de Cozinhar Processo e' um agente de AutonomousAgent Entidade e' o resultado de Processo Entidade e' um patient de Processo Processo e' uma instancia de Comer Processo e' um agente de ProcessoUST eventLocated Processo and Objeto Objeto e' igual a Objeto
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2309-2328	Agreement e' uma instancia de CivilAffairsAgreement partyToAgreement Entidade_MIL_THIS and Agreement Entidade_MIL_THIS e' uma instancia de MilitaryOrganization militaryOfArea Entidade_MIL_THIS and Entidade_THIS Entidade_THIS e' uma instancia de Nacao Entidade_MIL_THIS e' situado em Entidade_FRIENDLY Entidade_FRIENDLY e' uma instancia de Nacao Entidade_THIS e' igual a Entidade_FRIENDLY enemy Entidade_THIS and Entidade_FRIENDLY Entidade_FRIENDLY Entidade_FRIENDLY e' situado em Entidade_FRIENDLY partyToAgreement Entidade_FRIENDLY and Agreement Entidade_FRIENDLY e' uma instancia de MilitaryOrganization
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2244-2252	Processo e' uma instancia de CivilAffairsOperation Processo e' situado em Area Geopolitica Area Geopolitica e' uma instancia de Nacao Proposicao e' uma instancia de RegionalLawFn Area Geopolitica Processo exprime o conteudo de Proposicao consistent Proposicao and Proposicao
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1004-1023	Objeto e' uma instancia de HexaploidCell Objeto e' uma &parte de Objeto Objeto e' uma instancia de CellNucleus Colecao e' situado em Objeto Colecao e' uma instancia de Colecao memberType Colecao and Chromosome Colecao Colecao and Colecao Colecao e' uma instancia de HomologousChromosomeSet Colecao e' uma sub-colecao de Colecao Colecao e' uma instancia de HomologousChromosomeSet Colecao e' uma sub-colecao de Colecao Colecao e' uma instancia de HomologousChromosomeSet Colecao e' uma sub-colecao de Colecao Colecao e' igual a Colecao
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 773-782	EukaryoticCell e' uma instancia de MonoploidCell chromosomeNumber EukaryoticCell and Numero Inteiro MonoploidChromosomeSet e' uma instancia de MonoploidChromosomeSet MonoploidChromosomeSet e' situado em Objeto Objeto e' uma instancia de CellNucleus Objeto e' uma &parte de EukaryoticCell monoploidNumber MonoploidChromosomeSet and Numero Inteiro Numero Inteiro e' igual a Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 974-984	Objeto e' uma instancia de PentaploidCell Objeto e' uma instancia de CellNucleus Objeto e' uma &parte de Objeto Colecao e' situado em Objeto Colecao e' uma instancia de Colecao memberType Colecao and Chromosome MonoploidChromosomeSet e' uma instancia de MonoploidChromosomeSet MonoploidChromosomeSet e' uma sub-colecao de Colecao chromosomeSetCount MonoploidChromosomeSet, Colecao and 5
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 951-966	Objeto e' uma instancia de TetraploidCell Objeto e' uma &parte de Objeto Objeto e' uma instancia de CellNucleus Colecao e' situado em Objeto Colecao e' uma instancia de Colecao memberType Colecao and Chromosome Colecao Colecao Colecao e' uma instancia de HomologousChromosomeSet Colecao e' uma sub-colecao de Colecao Colecao e' uma instancia de HomologousChromosomeSet Colecao e' uma sub-colecao de Colecao Colecao e' igual a Colecao

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 1528-1539	beliefGroupPercentInRegion BeliefGroup, Numero Real and Area Geografica Colecao Colecao, Fisico, Fisico2, Numero Real1 and Numero Real2 Fisico e' situado em Area Geografica Fisico e' membro de BeliefGroup Fisico e' membro de Colecao memberCount Colecao and Numero Real1 Fisico2 e' situado em Area Geografica Fisico2 e' membro de Colecao memberCount Colecao and Numero Real2 Numero Real + 100 e' igual a Numero Real1 + Numero Real2
No TPTP formula. May not be expressible in strict first order.	People.kif 1547-1558	ethnicityPercentInRegion Grupo Etnico, Numero Real and Area Geografica Colecao Colecao, Fisico, Fisico2, Numero Real1 and Numero Real2 Fisico e' situado em Area Geografica Fisico e' membro de Grupo Etnico Fisico e' membro de Colecao memberCount Colecao and Numero Real1 Fisico2 e' situado em Area Geografica Fisico2 e' membro de Colecao memberCount Colecao and Numero Real2 Numero Real + 100 e' igual a Numero Real1 + Numero Real2
No TPTP formula. May not be expressible in strict first order.	People.kif 1566-1577	languagePercentInRegion Linguagem, Numero Real and Area Geografica Colecao Colecao, Agente Sentiente, Agente Sentiente2, Numero Real1 and Numero Real2 Agente Sentiente e' situado em Area Geografica Agente Sentiente e' membro de Colecao speaksLanguage Agente Sentiente and Linguagem memberCount Colecao and Numero Real1 Agente Sentiente2 e' situado em Area Geografica Agente Sentiente2 e' membro de Colecao memberCount Colecao and Numero Real2 Numero Real + 100 e' igual a Numero Real1 + Numero Real2
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 182-189	lengthOfBroadGaugeRailway Area Geografica and Medida de Comprimento o comprimento de a classe descrita por Sequencia Simbolica e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 712-719	lengthOfCrudeOilPipeline Area Geografica and Medida de Comprimento o comprimento de a classe descrita por Sequencia Simbolica e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 210-217	lengthOfDualGaugeRailway Area Geografica and Medida de Comprimento o comprimento de a classe descrita por Sequencia Simbolica e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 126-133	lengthOfElectrifiedRailway Area Geografica and Medida de Comprimento o comprimento de a classe descrita por Sequencia Simbolica e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 568-575	lengthOfExpresswaySystem Area Geografica and Medida de Comprimento o comprimento de a classe descrita por Sequencia Simbolica e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 154-161	lengthOfMultipleTrackRailway Area Geografica and Medida de Comprimento o comprimento de a classe descrita por Sequencia Simbolica e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 237-244	lengthOfNarrowGaugeRailway Area Geografica and Medida de Comprimento o comprimento de a classe descrita por Sequencia Simbolica e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 735-742	lengthOfNaturalGasPipeline Area Geografica and Medida de Comprimento o comprimento de a classe descrita por Sequencia Simbolica e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 542-549	lengthOfPavedHighway Area Geografica and Medida de Comprimento o comprimento de a classe descrita por Sequencia Simbolica e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 758-765	lengthOfPetroleumProductPipeline Area Geografica and Medida de Comprimento o comprimento de a classe descrita por Sequencia Simbolica e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 265-272	lengthOfStandardGaugeRailway Area Geografica and Medida de Comprimento o comprimento de a classe descrita por Sequencia Simbolica e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 294-306	lengthOfUnclassifiedGaugeRailway Area Geografica and Medida de Comprimento o comprimento de a classe descrita por Sequencia Simbolica e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 601-608	lengthOfUnpavedHighway Area Geografica and Medida de Comprimento o comprimento de a classe descrita por Sequencia Simbolica e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23308-23310	locatedAtTime Objeto, Posicao Temporal and Objeto Objeto e' situado em Objeto vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1277-1287	totalFacilityTypeInArea Area Geografica, a classe correspondente a AirportWithPavedRunway and Numero Inteiro nao-negativo Sequencia Simbolica Entidade cardinality a classe descrita por Sequencia Simbolica and Numero Inteiro nao-negativo
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1221-1228	totalFacilityTypeInArea Area Geografica, Classe and Numero Inteiro nao-negativo cardinality a classe descrita por Sequencia Simbolica and Numero Inteiro nao-negativo
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 484-491	totalLengthOfHighwaySystem Area Geografica and Medida de Comprimento o comprimento de a classe descrita por Sequencia Simbolica e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 98-105	totalLengthOfRailwaySystem Area Geografica and Medida de Comprimento o comprimento de a classe descrita por Sequencia Simbolica e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 685-692	totalPipelineInArea Area Geografica and Medida de Comprimento o comprimento de a classe descrita por Sequencia Simbolica e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 599-604	activityCapability AutonomousAgent and Processo Objeto Objeto e' um elemento de propriedade de AutonomousAgent Objeto e' capaz de fazer Processo no role located
No TPTP formula. May not be expressible in strict first order.	naics.kif 8120-8130	DeepSeaCoastalAndGreatLakesWaterTransportation e' um atributo de Agente Cognitivo Agente Cognitivo e' uma instancia de TransportationCompany ServiceProcess Objeto ServiceProcess e' uma instancia de WaterTransportationService serviceProvider ServiceProcess and Agente Cognitivo eventLocated ServiceProcess and Objeto Objeto e' uma instancia de Area Aquatica Agente Cognitivo e' situado em NorthAmerica
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1478-1491	DutyFree e' um atributo de Objeto Objeto e' uma instancia de Store Area Geopolitica Entidade, Objeto and Processo Area Geopolitica e' uma instancia de Area Geopolitica Objeto e' situado em Area Geopolitica Objeto e' uma sub-classe de Objeto importCommodityType Area Geopolitica and Objeto Entidade e' uma instancia de Objeto Processo e' uma instancia de Vender Entidade e' um patient de Processo Processo e' situado em Objeto

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18202-18219	?X ?CUT, ?PAPER, ?CBO and ?INFO ?X e' uma instancia de PaperShredder ?CUT e' uma instancia de Cortar ?X e' um instrumento para ?CUT ?PAPER e' uma instancia de Paper ?PAPER e' um patient de ?CUT ?CBO e' situado em ?PAPER ?CBO e' uma instancia de VisualContentBearingObject ?CBO contem informacao ?INFO diminui a probabilidade de ?READ ?READ e' uma instancia de Interpreting ?INFO e' um patient de ?READ tempo de existencia de ?CUT acontence antes de tempo de existencia de ?READ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31734-31739	OrganismPopulationFn Organismo and Area Geografica e' igual a o numero de instancias dentro de a classe descrita por OrganismoI
No TPTP formula. May not be expressible in strict first order.	Media.kif 1920-1920	JesusOfNazareth e' situado em Palestine vale durante tempo de existencia de JesusOfNazareth

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Media.kif 2563-2563	AalandIslands e' situado em BalticSea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4695-4695	AntarcticCircumpolarCurrent e' situado em SouthernOcean
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 588-588	FrenchSouthernAndAntarcticLands e' situado em DirectionalSubregionFn South and IndianOcean
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 586-586	FrenchSouthernAndAntarcticLands e' situado em IndianOcean
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 231-231	SaintHelena e' situado em SouthAtlanticOcean

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: