Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Government.kif 1692-1698	AutonomousAgent est une instance de AutonomousAgent ElectionFn AutonomousAgent est une sous-classe de Election AutonomousAgent est une instance de organisation AutonomousAgent est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3738-3742	AutonomousAgent est une instance de AutonomousAgent ann�e est une sous-classe de ann�e FiscalYearStartingFn AutonomousAgent and ann�e est une instance de FiscalYearFn AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2617-2622	trafficableForTrafficType r�gion and objet en une partie objet en une partie est une sous-classe de AutonomousAgent objet est une instance de objet en une partie capableAtLocation Translocation, agent, objet and r�gion
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1496-1518	Interval temporel est une instance de interval temporel_CLASS interval temporel_CLASS est une sous-classe de processus AccessingWebPage est une instance de AccessingWebPage AutonomousAgent est une instance de AutonomousAgent interval temporel est un agent de AutonomousAgent AccessingWebPage est un agent de AutonomousAgent interval temporel prend place pendant AccessingWebPage physique est une instance de interval temporel interval temporel2 interval temporel2 est une instance de interval temporel_CLASS interval temporel2 est un agent de AutonomousAgent interval temporel2 prend place pendant AccessingWebPage le d�but de temps d'existence de interval temporel2 se produit avant le d�but de temps d'existence de interval temporel le d�but de temps d'existence de AccessingWebPage est d�but de temps d'existence de physique le d�but de temps d'existence de interval temporel est fin de temps d'existence de physique TTFxFn interval temporel_CLASS and AccessingWebPage est physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1556-1556	AutonomousAgent est une sous-classe de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1566-1566	Sentient agent est une sous-classe de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14076-14076	Secteur g�opolitique est une sous-classe de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14377-14377	Organisme est une sous-classe de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16195-16195	CommercialAgent est une sous-classe de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16246-16246	Groupe est une sous-classe de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16632-16632	Organisation est une sous-classe de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1306-1306	ITAgent est une sous-classe de AutonomousAgent

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