Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8242-8256
No TPTP formula. May not be expressible in strict first order. Merge.kif 10545-10545 R�cr�ation ou exercice est une sous-classe de processus intentionnel
No TPTP formula. May not be expressible in strict first order. Sports.kif 559-559 FitnessExercise est une sous-classe de r�cr�ation ou exercice
No TPTP formula. May not be expressible in strict first order. Sports.kif 560-560 Yoga est une sous-classe de r�cr�ation ou exercice
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15983-15983 SocialParty est une sous-classe de r�cr�ation ou exercice
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16066-16066 Smoking est une sous-classe de r�cr�ation ou exercice
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20446-20446 Vacationing est une sous-classe de r�cr�ation ou exercice
No TPTP formula. May not be expressible in strict first order. Merge.kif 13395-13395 Jeu est une sous-classe de r�cr�ation ou exercice


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