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 1694-1694	Quantit� est une sous-classe de abstrait
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2874-2874	FiniteQuantity est une sous-classe de quantit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2878-2878	InfiniteQuantity est une sous-classe de quantit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1824-1824	Nombre est une sous-classe de quantit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2025-2025	Quantit� physique est une sous-classe de quantit�
No TPTP formula. May not be expressible in strict first order.	engineering.kif 74-74	PhysicalDimension est une sous-classe de quantit�
No TPTP formula. May not be expressible in strict first order.	engineering.kif 293-293	MultipoleQuantity est une sous-classe de quantit�

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