Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3389-3417	WearableItem est une instance de SafetyHarness animal est une instance de animal animal porte WearableItem WearableItem a pour but entit� entit� and entit� entit� est une instance de processus WearableItem est un instrument pour entit� animal est un patient de entit� entit� est une sous-classe de la classe d�crite par entit� entit� previent l'occurrence de entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3482-3509	Physique est une instance de ProtectiveEyewear physique a pour but physiqueRSON physiqueRSON est une instance de humain physiqueRSON porte physique entit� entit�, entit�, entit� and entit� entit� est une instance de processus physique est un instrument pour entit� entit� est une sous-classe de la classe d�crite par entit� entit� previent l'occurrence de entit�
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2630-2643	Collection est une instance de CrossFunctionalTeam processus AutonomousAgent, AutonomousAgent and entit� processus est une sous-classe de processus AutonomousAgent est une instance de humain AutonomousAgent est une instance de humain AutonomousAgent est un membre de collection AutonomousAgent est un membre de collection AutonomousAgent a la capacit� de faire processus AutonomousAgent a la capacit� de faire processus entit� est une instance de processus collection est interess� par entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3447-3476	WearableItem est une instance de HearingProtection animal est une instance de humain animal porte WearableItem WearableItem a pour but entit� entit� and entit� entit� est une instance de processus entit� est une sous-classe de la classe d�crite par entit� entit� previent l'occurrence de entit� WearableItem est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3531-3552	WearableItem est une instance de Respirator animal est une instance de animal animal porte WearableItem WearableItem a pour but entit� entit�, entit� and entit� entit� est une instance de processus WearableItem est un instrument pour entit� entit� previent l'occurrence de entit� entit� est une sous-classe de la classe d�crite par entit�
No TPTP formula. May not be expressible in strict first order.	Dining.kif 178-182	Catalog est une instance de Menu catalogItem entit� and Catalog entit� est une sous-classe de FoodForFn humain
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15166-15187	Classe est une sous-classe de tissu classe est une sous-classe de tissu objet est une instance de classe objet est une instance de classe objet est une instance de humain objet est une partie de objet objet est une partie de objet classe est classe classe est une sous-classe de classe classe est une sous-classe de classe objet est Adjacent � objet l'argument entit� entit� est une instance de ConnectiveTissue entit� est entre objet et objet a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7351-7365	Objet est une instance de AuditoriumSeat objet est une partie de objet objet est une partie de objet objet est une instance de Auditorium objet est une instance de PerformanceStage objet est situ� � objet objet est une instance de humain processus est une sous-classe de voir processus processus est une instance de processus objet est un patient de processus objet est capable de faire processus dans le r�le agent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4467-4480	orthogonalTests collection and collection objet est une instance de humain physique est une instance de processus processus est une sous-classe de Experimenting physique est un membre de collection objet est capable de faire processus dans le r�le experimentalSubject physique processus physique est une instance de processus physique est un membre de collection processus est une sous-classe de Experimenting objet est capable de faire processus dans le r�le experimentalSubject
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2815-2818	Classe est une sous-classe de DrinkingWater classe est une sous-classe de FoodForFn humain
No TPTP formula. May not be expressible in strict first order.	Military.kif 895-906	FitForMilitaryServiceMaleFn secteur g�opolitique est instances dans la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14643-14643	Humain est une sous-classe de hominid�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14644-14644	Humain est une sous-classe de agent cognitif
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 185-185	HumanAdult est une sous-classe de humain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 248-248	HumanYouth est une sous-classe de humain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 320-320	Teenager est une sous-classe de humain
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14649-14649	Man est une sous-classe de humain
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14656-14656	Woman est une sous-classe de humain

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