TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1626-1629
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1253-1259
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 208-211
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 247-251
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9026-9026	R�gion est compl�tement d�compos� en secteur g�ographique + SpaceRegion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1251-1251	R�gion est une sous-classe de objet

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4926-4926	Le domaine de FlowRegionFn est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 797-797	Le domaine de InnerBoundaryFn est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 410-410	Le domaine de LatitudeFn est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 809-809	Le domaine de OuterBoundaryFn est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4224-4224	Le domaine de WhereFn est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Weather.kif 10-10	Atmosphere est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15566-15566	DiningArea est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9043-9043	FlowRegion est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14031-14031	Secteur g�ographique est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9851-9851	Trou est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 547-547	HydrophilicSide est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 536-536	HydrophobicSide est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9141-9141	Indoors est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15541-15541	KitchenArea est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 302-302	Latitude est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 311-311	Longitude est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9129-9129	Outdoors est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 31-31	ParkingRegion est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26634-26634	Patio est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 762-762	PerimeterArea est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Dining.kif 982-982	PlayArea est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1354-1354	RealEstate est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22217-22217	Road est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15528-15528	SittingArea est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9067-9067	SpaceRegion est une sous-classe de r�gion

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.	Geography.kif 796-796	Le nombre 1 argument de InnerBoundaryFn est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 781-781	Le nombre 1 argument de MaritimeClaimsTerritorialSeaFn est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Food.kif 1899-1899	Le nombre 2 argument de MealAttributeFn est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 808-808	Le nombre 1 argument de OuterBoundaryFn est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 769-769	Le nombre 1 argument de PerimeterAreaFn est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6670-6670	Le nombre 3 argument de VelocityFn est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1314-1314	Le nombre 1 argument de areaOfOperation est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Biography.kif 189-189	Le nombre 2 argument de baptizedplace est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24580-24580	Le nombre 1 argument de canonicalPlaceName est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2690-2690	Le nombre 4 argument de capableAtLocation est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 786-786	Le nombre 1 argument de capacityByArrangement est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Weather.kif 870-870	Le nombre 1 argument de cloudCoverFraction est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Weather.kif 850-850	Le nombre 1 argument de daylightHoursInterval est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Weather.kif 860-860	Le nombre 1 argument de daylightHoursTotal est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5010-5010	Le nombre 1 argument de highTide est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5019-5019	Le nombre 1 argument de lowTide est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 527-527	Le nombre 1 argument de mapOfArea est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3396-3396	Le nombre 2 argument de providesDestination est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2904-2904	Le nombre 2 argument de routeBetween est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2905-2905	Le nombre 3 argument de routeBetween est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2777-2777	Le nombre 1 argument de routeEnd est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2754-2754	Le nombre 1 argument de routeStart est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31194-31194	Le nombre 1 argument de totalArea est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2702-2702	Le nombre 1 argument de visibilityInMeteorology est une instance de r�gion

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2680-2690	Entit� est une instance de r�gion entit� a un attribute StandardAmbientTemperaturePressure pendant position temporel airTemperature entit� and 298.15 KelvinDegree(s) barometricPressure entit� and 29.530 InchMercury(s) pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30120-30127	Inhabited est un attribut de objet objet est une instance de r�gion organisme organisme est une instance de humain organisme vie � objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30104-30112	Uninhabited est un attribut de objet objet est une instance de r�gion organisme organisme est une instance de humain organisme vie � objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 427-431	LatitudeFn attribut directionnel and @ROW est une instance de r�gion 1th nombre r�el AngularDegree(s) nombre r�el est plus petit ou �gal � 90.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 467-474	LongitudeFn attribut directionnel and @ROW est une instance de r�gion 1th nombre r�el AngularDegree(s) nombre r�el est plus petit ou �gal � 180.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13655-13660	Processus est une instance de lumi�re irradiante objet est un patient de processus objet est une instance de r�gion Illuminated est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1326-1331	MilitaryOperation est une instance de MilitaryOperation eventLocated MilitaryOperation and r�gion r�gion est une instance de r�gion areaOfOperation r�gion and MilitaryOperation
No TPTP formula. May not be expressible in strict first order.	Cars.kif 368-376	Objet est une instance de r�gion Vacuum est un attribut de objet physique physique est une instance de objet physique est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3496-3501	Objet recouvre objet objet est une instance de r�gion objet est objet objet est partiellement localis� � objet
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2750-2771	visibilityInMeteorology r�gion, interval temporel and nombre r�el unit� de mesure(s) unit� de mesure est une instance de unit� de mesure interval temporel est une instance de NightTime processus est une instance de Looking objet est une instance de r�gion Illuminated est un attribut de objet la mesure de objet est 1000.0 Candela(s) processus est un agent de AutonomousAgent objet est un patient de processus AutonomousAgent est Horizontal � objet eventLocated processus and r�gion temps d'existence de processus prend place pendant interval temporel objet est une instance de objet nombre r�el la distance entre AutonomousAgent et objet est nombre r�el unit� de mesure(s) nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Geography.kif 421-425	LatitudeFn attribut directionnel and @ROW est une instance de r�gion attribut directionnel est North attribut directionnel est South
No TPTP formula. May not be expressible in strict first order.	Geography.kif 461-465	LongitudeFn attribut directionnel and @ROW est une instance de r�gion attribut directionnel est East attribut directionnel est West
No TPTP formula. May not be expressible in strict first order.	Geography.kif 803-805	R�gion est une instance de r�gion InnerBoundaryFn r�gion est une partie superficielle de r�gion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 815-817	R�gion est une instance de r�gion OuterBoundaryFn r�gion est une partie superficielle de r�gion

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2471-2482	Interval temporel est une instance de Drought eventLocated interval temporel and objet interval temporel objet interval temporel est une instance de Raining objet est une instance de r�gion eventLocated interval temporel and objet objet recouvre objet interval temporel recouvre interval temporel
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 577-587	Processus est une instance de Locating entit� est un patient de processus processus est un agent de AutonomousAgent processus a pour but entit� entit� est une instance de r�gion AutonomousAgent conna�t entit� est situ� � entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11558-11567	Processus est une instance de Translocation processus a pour origine objet objet processus objet est une instance de r�gion objet est objet processus est un sous-processus de processus processus est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30030-30060	Processus est une instance de BreakingRecord processus est un agent de AutonomousAgent ensemble classe, processus, point temporel, r�le d�pendant du cas, objet and entit� ensemble est une instance de ensemble AutonomousAgent est un ensemble classe est une sous-classe de processus objet est une instance de r�gion point temporel est une instance de point temporel entit� est une instance de quantit� processus est une instance de classe processus inclut une r�f�rence � entit� entit� inclut une r�f�rence � processus playsRoleInEvent AutonomousAgent, r�le d�pendant du cas and processus eventLocated processus and objet entit� entit� entit� est une instance de ensemble entit� est AutonomousAgent entit� est une instance de classe playsRoleInEvent entit�, r�le d�pendant du cas and entit� eventLocated entit� and objet pendant l'intervale entre point temporel et la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13662-13668	Illuminated est un attribut de objet processus processus est une instance de lumi�re irradiante objet est un patient de processus objet est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Dining.kif 956-980	OpenLayout est un attribut de objet objet est une instance de pi�ce objet objet and objet objet est une instance de r�gion objet est une instance de r�gion objet est situ� � objet objet est situ� � objet objet est objet objet est Adjacent � objet formule formule formule est une instance de processus formule est une instance de processus objet a pour but formule objet a pour but formule objet est une instance de AutonomousAgent objet est situ� � objet objet est capable de faire voir dans le r�le agent objet est capable de faire voir dans le r�le patient
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1057-1065	DownAndInRoom est un attribut de objet objet objet objet est une instance de Indoors objet est une instance de r�gion objet est Adjacent � objet objet est Outside � objet objet est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1072-1080	DownAndOutRoom est un attribut de objet objet objet objet est une instance de Outdoors objet est une instance de r�gion objet est Adjacent � objet objet est Outside � objet objet est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Cars.kif 383-396	PartialVacuum est un attribut de objet objet objet, nombre r�el, nombre r�el and unit� de mesure objet est une instance de objet en une partie objet est une instance de r�gion objet est objet objet est connect� � objet objet est connect� � objet la mesure de objet est nombre r�el unit� de mesure(s) la mesure de objet est nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfAtmosphericPressure nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Cars.kif 403-416	Pressurized est un attribut de objet objet objet, nombre r�el, nombre r�el and unit� de mesure objet est une instance de objet en une partie objet est une instance de r�gion objet est objet objet est connect� � objet objet est connect� � objet la mesure de objet est nombre r�el unit� de mesure(s) la mesure de objet est nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfAtmosphericPressure nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1139-1151	Objet est une instance de TemperatureControl objet entit� objet est une instance de ElectricDevice objet est une partie de objet objet a pour but entit� entit� entit� est une instance de r�gion entit� est une instance de processus objet est un instrument pour entit� airTemperature entit� and entit� est le resultat de entit�
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1109-1123	Physique est une instance de HeavyRaining entit� entit� entit� est une instance de r�gion eventLocated physique and entit� rainfallIntensity entit�, temps d'existence de physique and PerFn entit� Millimeter(s) and 1 HourDuration(s) entit� est plus grand que 10.0 50.0 est plus grand que entit� pendant temps d'existence de physique
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2865-2879	Physique est une instance de RainShowering entit� entit� and entit� entit� est une instance de Raining entit� est une instance de Raining entit� est une instance de r�gion entit� est un sous-processus de physique entit� est un sous-processus de physique eventLocated entit� and entit� eventLocated entit� and entit� temps d'existence de entit� ne recouvre %n{pas} temps d'existence de entit� pendant temps d'existence de physique
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2916-2929	Physique est une instance de Storm entit� entit�, entit� and entit� entit� est une instance de LowPressureWeatherSystem entit� est une instance de r�gion eventLocated entit� and entit� entit� est une instance de Air entit� est une instance de MotionUpward entit� est un patient de entit� eventLocated entit� and entit� entit� est un sous-processus de entit� pendant temps d'existence de physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9115-9117	Objet est Inside � objet objet est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9111-9113	Objet est Outside � objet objet est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Weather.kif 178-186	surfaceWindDirection objet and attribut directionnel processus objet processus est une instance de Wind objet est une instance de r�gion eventPartlyLocated processus and objet processus a pour origine objet objet est attribut directionnel � 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: