Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30018-30048	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 535-535	HydrophobicSide est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 546-546	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 9042-9042	FlowRegion est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9066-9066	SpaceRegion est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9128-9128	Outdoors est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9140-9140	Indoors est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15527-15527	SittingArea est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15540-15540	KitchenArea est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15565-15565	DiningArea est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17672-17672	UnderwaterRegion est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22216-22216	Road est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26622-26622	Patio est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9873-9873	Trou est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14053-14053	Secteur g�ographique est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14287-14287	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