Sigma KB Term Intersection

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 1251-1251	R�gion est une sous-classe de objet
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.	VirusProteinAndCellPart.kif 536-536	HydrophobicSide 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.	TransportDetail.kif 31-31	ParkingRegion est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2924-2924	TransitStop est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2991-2991	TransitRoute 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.	Mid-level-ontology.kif 9067-9067	SpaceRegion 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.	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 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 15541-15541	KitchenArea 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 17673-17673	UnderwaterRegion 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 26634-26634	Patio 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.	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 14265-14265	Transitway 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.	Geography.kif 762-762	PerimeterArea 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.	Dining.kif 982-982	PlayArea est une sous-classe de r�gion

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