No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29856-29876	Entit� est une instance de Invoice cha�ne sympbolique agent cognitif, AutonomousAgent, entit� and entit� l' unique identifier de cha�ne sympbolique est entit� buys agent cognitif, AutonomousAgent and entit� AutonomousAgent autorise agent cognitif � ex�cut� des t�ches du type entit� le d�but de temps d'existence de entit� se produit avant le d�but de temps d'existence de entit� entit� est une instance de vendre entit� est une instance de produit objectTransferred entit� and entit� entit� inclut une r�f�rence � entit� entit� est un agent de AutonomousAgent agent cognitif est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14476-14482	Objet est une instance de Label objet objet est une instance de objet en une partie objet est connect� � objet objet inclut une r�f�rence � objet
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1686-1694	Processus est une instance de OperationOrder entit� entit�NING entit� est une instance de OPLAN entit�NING est une instance de OperationPlanning entit� est le resultat de entit�NING entit�NING cause processus entit� inclut une r�f�rence � processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16134-16139	Entit� est une instance de Pleading entit� entit� est une instance de CriminalAction entit� inclut une r�f�rence � entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9270-9275	Entit� est une instance de Prescription entit� entit� est une instance de Medicine entit� inclut une r�f�rence � entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29883-29903	Entit� est une instance de PurchaseOrder cha�ne sympbolique agent cognitif, agent cognitif and entit� l' unique identifier de cha�ne sympbolique est entit� buys agent cognitif, agent cognitif and entit� agent cognitif oblige agent cognitif � ex�cut� des t�ches du type entit� le d�but de temps d'existence de entit� se produit avant le d�but de temps d'existence de entit� entit� est une instance de acheter entit� est une instance de produit objectTransferred entit� and entit� entit� inclut une r�f�rence � entit� entit� est un agent de agent cognitif agent cognitif est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3386-3393	Entit� est une instance de PayStub processus objet and entit� processus est une instance de financial transaction processus a pour origine objet processus aboutit � entit� entit� inclut une r�f�rence � processus
No TPTP formula. May not be expressible in strict first order.	WMD.kif 724-729	Entit� est une instance de ResearchingWeaponOfMassDestruction entit� entit� est une instance de WeaponOfMassDestruction entit� inclut une r�f�rence � entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14937-14942	Entit� est une instance de MysteryStory entit� entit� est une instance de CriminalAction entit� inclut une r�f�rence � entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16594-16599	Entit� est une instance de Testament entit� entit� est une instance de Bequeathing entit� inclut une r�f�rence � entit�
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1681-1686	Entit� est une instance de UniformResourceIdentifier entit� entit� est une instance de DigitalData entit� inclut une r�f�rence � entit�
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3109-3114	Entit� est une instance de VaccinationCard entit� entit� est une instance de Vaccination entit� inclut une r�f�rence � entit�
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2204-2213	Physique est une instance de DataWarehouse physique a pour but entit� entit� est une instance de proposition entit� entit� inclut une r�f�rence � entit� entit� est un composant de physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26415-26423	Entit� est une instance de DiningGuide objet physique objet est une instance de secteur g�ographique entit� inclut une r�f�rence � objet physique est une instance de Restaurant physique est situ� � objet entit� inclut une r�f�rence � physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26403-26408	Entit� est une instance de GuideBook entit� entit� est une instance de secteur g�ographique entit� inclut une r�f�rence � entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21316-21321	Entit� est une instance de Theology entit� entit� est une instance de processus religieux entit� inclut une r�f�rence � entit�
No TPTP formula. May not be expressible in strict first order.	Music.kif 647-652	musicGenre objet and ChristianMusic objet Christian est un attribut de objet objet inclut une r�f�rence � objet
No TPTP formula. May not be expressible in strict first order.	Music.kif 633-639	musicGenre objet and ReligiousMusic attribut objet attribut est une instance de ReligiousAttribute attribut est un attribut de objet objet inclut une r�f�rence � objet
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1175-1177	visitorParameter AutonomousAgent, formule and WebSite formule inclut une r�f�rence � entit�
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 434-441	webStoreAdvertisement promouvoir and WebStore entit� objet corpusculaire promouvoir inclut une r�f�rence � entit� promouvoir est un composant de objet corpusculaire objet corpusculaire est une instance de WebPage objet corpusculaire est un membre de WebStore

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