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 12036-12048	Processus est une instance de Deciding processus est un agent de agent cognitif ensemble est une instance de ensemble ensemble est un patient de processus entit� est un ensemble agent cognitif croit entit� entit� est une instance de entit� entit� est une sous-classe de processus intentionnel agent cognitif est capable de faire entit� dans le r�le agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2148-2148	Ensemble est une sous-classe de ensemble ou classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5516-5516	NullSet est une sous-classe de ensemble
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5527-5527	NonNullSet est une sous-classe de ensemble
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5537-5537	Ensemble fini est une sous-classe de ensemble
No TPTP formula. May not be expressible in strict first order.	engineering.kif 205-205	SetOfEquations est une sous-classe de ensemble

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