TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3350-3351
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14246-14249
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 193-193
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 853-853
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14244-14244	Cidade e' uma sub-classe de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14245-14245	Cidade e' uma sub-classe de Area terrestre

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1392-1392	AdanaTurkey e' uma instancia de Cidade
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1394-1394	AddisAbabaEthiopia e' uma instancia de Cidade
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1396-1396	AdenYemen e' uma instancia de Cidade
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1398-1398	AdoraWestBank e' uma instancia de Cidade
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1400-1400	AfulaIsrael e' uma instancia de Cidade
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1402-1402	AgriTurkey e' uma instancia de Cidade
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1404-1404	AinDeflaAlgeria e' uma instancia de Cidade
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1406-1406	AinElHajarAlgeria e' uma instancia de Cidade
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1408-1408	AjaccioFrance e' uma instancia de Cidade
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1410-1410	AlBalamandLebanon e' uma instancia de Cidade
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1412-1412	AleiSinaiGazaStrip e' uma instancia de Cidade
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1414-1414	AleiZahavWestBank e' uma instancia de Cidade
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1416-1416	AleyLebanon e' uma instancia de Cidade
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1418-1418	AlgiersAlgeria e' uma instancia de Cidade
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1420-1420	AlkhanYurtRussia e' uma instancia de Cidade
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1422-1422	AlonMorehWestBank e' uma instancia de Cidade
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1424-1424	AmbonIndonesia e' uma instancia de Cidade
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1426-1426	AmmanJordan e' uma instancia de Cidade
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1428-1428	AnNuwaydiratBahrain e' uma instancia de Cidade
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1430-1430	AndeanSpain e' uma instancia de Cidade
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1432-1432	AngkorWatCambodia e' uma instancia de Cidade
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1434-1434	AnkaraTurkey e' uma instancia de Cidade
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1436-1436	AntalyaTurkey e' uma instancia de Cidade
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1438-1438	AntioquiaColombia e' uma instancia de Cidade
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1440-1440	AntwerpBelgium e' uma instancia de Cidade

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6709-6709	O argumento numero 3 de StreetAddressFn e' uma instancia de Cidade
No TPTP formula. May not be expressible in strict first order.	Government.kif 375-375	O argumento numero 1 de capitalCity e' uma instancia de Cidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24757-24757	O argumento numero 2 de postCity e' uma instancia de Cidade

antecedent

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 8333-8335	Area Geopolitica e' uma instancia de Cidade o governo de Area Geopolitica e' uma instancia de CityGovernment
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26594-26602	Historical e' um atributo de Objeto Objeto e' uma instancia de Cidade Objeto Objeto e' uma instancia de Fisico Historical e' um atributo de Objeto eventLocated Objeto and Objeto
No TPTP formula. May not be expressible in strict first order.	Government.kif 4675-4680	diplomaticRepresentationType AutonomousAgent, ConsulGeneral and Governo Area Geopolitica e' uma instancia de Cidade Governo e' igual a o governo de Area Geopolitica diplomaticOrganizationType AutonomousAgent, ConsulateGeneral and Governo
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 59-65	Area Geopolitica e' uma instancia de Cidade Area Geopolitica e' uma &parte de France o numero de instancias dentro de ResidentFn Area Geopolitica e' menor ou igual a o numero de instancias dentro de ResidentFn Paris
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24683-24688	postNeighborhood PostalPlace and Neighborhood geographicSubregion Neighborhood and Cidade 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 24797-24802	postPostcodeArea PostalPlace and PostcodeArea geographicSubregion PostcodeArea and Cidade Cidade e' uma instancia de Cidade postCity PostalPlace and Cidade

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8080-8085	Area Geopolitica e' uma instancia de CityDistrict Area Geopolitica Area Geopolitica e' uma instancia de Cidade sub-divisao geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 1640-1642	headOfGovernment Area Geopolitica, Mayor and Humano Area Geopolitica e' uma instancia de Cidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8221-8226	Objeto e' uma instancia de CityBlock Objeto Objeto e' uma instancia de Cidade Objeto e' uma &parte de Objeto

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

KB Term:			Term intersection

English Word: