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	Ville est une sous-classe de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14245-14245	Ville est une sous-classe de zone de terre

appearance as argument number 2

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

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	Le nombre 3 argument de StreetAddressFn est une instance de ville
No TPTP formula. May not be expressible in strict first order.	Government.kif 375-375	Le nombre 1 argument de capitalCity est une instance de ville
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24757-24757	Le nombre 2 argument de postCity est une instance de ville

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24763-24768	PostalPlace est situ� � ville PostalPlace est une instance de PostalPlace ville est une instance de ville postCity PostalPlace and ville
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8333-8335	Secteur g�opolitique est une instance de ville le gouvernment de secteur g�opolitique est une instance de CityGovernment
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26594-26602	Historical est un attribut de objet objet est une instance de ville objet objet est une instance de physique Historical est un attribut de objet eventLocated objet and objet
No TPTP formula. May not be expressible in strict first order.	Government.kif 4675-4680	diplomaticRepresentationType AutonomousAgent, ConsulGeneral and gouvernement secteur g�opolitique est une instance de ville gouvernement est gouvernment de secteur g�opolitique diplomaticOrganizationType AutonomousAgent, ConsulateGeneral and gouvernement
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 59-65	Secteur g�opolitique est une instance de ville secteur g�opolitique est une partie de France le nombre d' instances dans ResidentFn secteur g�opolitique est plus petit ou �gal � le nombre d' instances dans 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 ville ville est une instance de ville postCity PostalPlace and ville
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24797-24802	postPostcodeArea PostalPlace and PostcodeArea geographicSubregion PostcodeArea and ville ville est une instance de ville postCity PostalPlace and ville

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8080-8085	Secteur g�opolitique est une instance de CityDistrict secteur g�opolitique secteur g�opolitique est une instance de ville sous-division g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 1640-1642	headOfGovernment secteur g�opolitique, Mayor and humain secteur g�opolitique est une instance de ville
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8221-8226	Objet est une instance de CityBlock objet objet est une instance de ville objet est une partie de objet

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: