No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18290-18300	Processus est une instance de Trespassing processus est un agent de AutonomousAgent objet est un patient de processus AutonomousAgent ne poss�de %n{pas} objet l'argument AutonomousAgent est situ� � objet a la force modale de Illegal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6870-6874	PermanentResidence est une instance de ApartmentUnit le domicile de humain est PermanentResidence humain ne poss�de %n{pas} PermanentResidence
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2138-2146	ServiceProcess est une instance de PhotocopyingService serviceProvider ServiceProcess and agent cognitif objet objet est une instance de Photocopier agent cognitif poss�de objet objet est un instrument pour ServiceProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30944-30959	shortage agent cognitif, objet, mesure de devise, interval temporel and quantit� quantit� est une instance de nombre entier agent cognitif desire entit� entit� entit� est une instance de acheter temps d'existence de entit� prend place pendant interval temporel objectTransferred entit� and entit� transactionAmount entit� and mesure de devise entit� est un agent de agent cognitif entit� est une instance de collection memberType entit� and objet memberCount entit� and quantit� agent cognitif poss�de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30886-30896	shortage agent cognitif, objet, mesure de devise, interval temporel and quantit� quantit� est une instance de nombre entier agent cognitif desire entit� entit� est une instance de collection memberType entit� and objet memberCount entit� and quantit� agent cognitif poss�de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30911-30926	shortage AutonomousAgent, objet, mesure de devise, interval temporel and nombre entier nombre entier est une instance de nombre entier transf�re collection transf�re est une instance de acheter temps d'existence de transf�re prend place pendant interval temporel objectTransferred transf�re and collection transactionAmount transf�re and mesure de devise transf�re est un agent de AutonomousAgent collection est une instance de collection memberType collection and objet memberCount collection and nombre entier AutonomousAgent poss�de collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30961-30975	shortage agent cognitif, objet, mesure de devise, interval temporel and quantit� quantit� est une instance de quantit� physique agent cognitif desire entit� entit� entit� est une instance de acheter temps d'existence de entit� prend place pendant interval temporel objectTransferred entit� and entit� transactionAmount entit� and mesure de devise entit� est un agent de agent cognitif entit� est une instance de objet la mesure de entit� est quantit� agent cognitif poss�de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30900-30909	shortage agent cognitif, objet, mesure de devise, interval temporel and quantit� quantit� est une instance de quantit� physique agent cognitif desire entit� entit� est une instance de objet la mesure de entit� est quantit� agent cognitif poss�de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30928-30942	shortage AutonomousAgent, objet, mesure de devise, interval temporel and quantit� physique quantit� physique est une instance de quantit� physique transf�re objet transf�re est une instance de acheter temps d'existence de transf�re prend place pendant interval temporel objectTransferred transf�re and objet transactionAmount transf�re and mesure de devise transf�re est un agent de AutonomousAgent objet est une instance de objet la mesure de objet est quantit� physique AutonomousAgent poss�de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2777-2782	Agent cognitif veut physique physique est une instance de objet agent cognitif desire agent cognitif poss�de physique
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1786-1791	Investor est un attribut de AutonomousAgent objet objet est une instance de Investment AutonomousAgent poss�de objet
No TPTP formula. May not be expressible in strict first order.	naics.kif 9711-9720	PassengerCarRental est un attribut de objet objet a pour but entit� entit� and entit� customer entit� and objet entit� est une instance de Automobile entit� est une instance de Renting objet poss�de entit� entit� est un agent de entit�
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3691-3711	dayPhone cha�ne sympbolique and AutonomousAgent Telephone entit� and nombre r�el phoneNumber cha�ne sympbolique and Telephone nombre r�el est plus grand que 6 nombre r�el est moins que 18 entit� entit� est une instance de Telephoning entit� aboutit � AutonomousAgent Telephone est un patient de entit� AutonomousAgent poss�de Telephone l'argument entit� entit� est une instance de Answering entit� est un sous-processus de entit� entit� est un agent de AutonomousAgent a la force modale de Likely pendant entit� est une instance de l' heure nombre r�el
No TPTP formula. May not be expressible in strict first order.	Government.kif 469-471	dependentGeopoliticalArea secteur g�opolitique and secteur g�opolitique secteur g�opolitique poss�de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7431-7433	dislikes agent cognitif and objet agent cognitif desire agent cognitif ne poss�de %n{pas} objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4280-4283	Objet est un appartenir � AutonomousAgent AutonomousAgent poss�de objet
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3735-3755	eveningPhone cha�ne sympbolique and AutonomousAgent Telephone entit� and nombre r�el phoneNumber cha�ne sympbolique and Telephone nombre r�el est plus grand que 18 nombre r�el est moins que 6 entit� entit� est une instance de Telephoning entit� aboutit � AutonomousAgent Telephone est un patient de entit� AutonomousAgent poss�de Telephone l'argument entit� entit� est une instance de Answering entit� est un sous-processus de entit� entit� est un agent de AutonomousAgent a la force modale de Likely pendant entit� est une instance de l' heure nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25141-25147	deviceTelecomNumber entit� and entit� entit� est une instance de MobileCellPhone mobilePhoneNumber entit� and entit� pendant position temporel entit� poss�de entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 176-183	HumanSlave est un attribut de entit� pendant position temporel entit� entit� est une instance de humain entit� est entit� entit� poss�de entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7452-7457	lacks entit� and entit� pendant position temporel entit� ne poss�de %n{pas} entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 642-647	AutonomousAgent est une instance de AssaultAmphibianUnit objet objet est une instance de AAV AutonomousAgent poss�de objet
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 494-499	AutonomousAgent est une instance de ArtilleryBattery objet objet est une instance de ArtilleryCannon AutonomousAgent poss�de objet
No TPTP formula. May not be expressible in strict first order.	Military.kif 676-685	AutonomousAgent est une instance de InfantryUnit objet objet est une instance de AutomaticGun objet est une instance de Firearm objet est une instance de MortarGun objet est une instance de ExplosiveMine AutonomousAgent poss�de objet
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3323-3330	AutonomousAgent est une instance de Airline collection physique collection est une instance de Fleet AutonomousAgent poss�de collection physique est une instance de Aircraft physique est un membre de collection
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2471-2480	Physique est une instance de CruiseShip physique a pour but entit� entit� and entit� entit� est une instance de r�cr�ation ou exercice entit� poss�de physique entit� est un agent de entit� customer entit� and entit� eventLocated entit� and physique
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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