No TPTP formula. May not be expressible in strict first order.	Merge.kif 12236-12244	Processus est une instance de garder entit� est un patient de processus entit� position temporel position temporel est une partie de temps d'existence de processus entit� est situ� � entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4814-4828	Objet en une partie est une instance de objet ConvexRoundShape est un attribut de objet en une partie objet en une partie est une surface de objet en une partie objet en une partie est une instance de TwoDimensionalObject GeometricPoint GeometricPoint est une partie de objet en une partie GeometricPoint est un attribut de GeometricPoint GeometricPoint est un point de objet en une partie GeometricPoint rencontre objet en une partie GeometricPoint rencontre objet en une partie OneDimensionalFigure la tangente de objet en une partie est OneDimensionalFigure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7494-7501	Humain est une instance de humain DescendantsFn humain est family groupe familiale organisme organisme est un membre de family groupe familiale ancestor organisme and humain
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8466-8475	Point temporel est une instance de point temporel point temporel est une instance de point temporel interval temporel est une instance de interval temporel l'intervale entre point temporel et point temporel est interval temporel point temporel point temporel est entre ou pendant point temporel et point temporel point temporel est une partie de interval temporel
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2654-2674	Policy est une instance de DailyHousekeepingPolicy policyOwner organisation and Policy l'argument entit� entit� and entit� guest entit� and organisation stays entit� and entit� entit� est temps d'existence de stays entit� and entit� entit� entit� est une instance de jour entit� prend place pendant entit� entit� entit� est une instance de RoomCleaningService entit� est un patient de entit� entit� prend place pendant entit� pendant entit� a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3611-3619	Relation binaire est une instance de relation r�flexive relation binaire est refl�xif sur classe relation binaire est une instance de predicat entit� entit� est une instance de classe relation binaire entit� and entit�
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 501-517	Entit�_COLL est une instance de collection entit�_COLL est une instance de collection Experimenting est une instance de Experimenting agent cognitif est une instance de agent cognitif Experimenting est un agent de agent cognitif statisticalPopulation entit�_COLL, entit�_COLL and Experimenting attribut attribut est une instance de attribut entit�_COLL a un attribute attribut agent cognitif est interess� par attribut attribut est RepresentativeSample entit�_COLL a un attribute attribut
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5300-5308	Collection est une instance de ClothingSuit physique est un membre de collection entit� porte physique pendant position temporel physique physique est un membre de collection entit� porte physique pendant position temporel
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3333-3356	Collection est une instance de collection objet corpusculaire est une instance de HypertextLink physique physique est un membre de collection physique est une instance de AccessingWebPage collection est un composant de objet corpusculaire collection collection est une instance de collection processus processus est une instance de RequestingHyperlink objet corpusculaire est un patient de processus processus est un membre de collection ClickThroughRateFn collection and objet corpusculaire est instances dans collection + le nombre d' instances dans collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13384-13395	Processus est une instance de guerre processus est un agent de AutonomousAgent AutonomousAgent est une instance de secteur g�opolitique AutonomousAgent est une instance de organisation physique physique est un membre de AutonomousAgent physique est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Dining.kif 295-303	Objet est une instance de Buffet Breakfast est un attribut de objet l'argument entit� entit� est un membre de objet Breakfast est un attribut de entit� a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Dining.kif 469-479	Collection est une instance de Outfit physique est un membre de collection entit� porte physique pendant position temporel physique physique est un membre de collection entit� porte physique pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2925-2940	numberSeniorOccupant HotelReservation and nombre entier fulfillingEntity AutonomousAgent and HotelReservation collection nombre r�el collection est une instance de GroupOfPeople physique physique est un membre de collection physique est une instance de HumanAdult l' physique est nombre r�el YearDuration(s) nombre r�el est plus grand ou �gal � 60 memberCount collection and nombre entier potentialCustomer collection and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 467-492	rentalPrice physique, function de quantit�, agent cognitif and PricingScheme function de quantit� est PerFn mesure de devise and la mesure de nombre r�el est unit� de mesure unit� de mesure est une instance de UnitOfDuration entit� est une instance imm�diate de physique processus est une instance de Renting entit� est un patient de processus processus est un agent de AutonomousAgent processus existe pendant nombre r�elINT interval temporel nombre r�el nombre r�elINT prend place pendant interval temporel interval temporel est une instance de interval temporel la dur�� de interval temporel est nombre r�el unit� de mesure(s) nombre r�el est plus petit ou �gal � nombre r�el financial transaction financial transaction est une instance de Payment financial transaction aboutit � agent cognitif financial transaction est un agent de AutonomousAgent transactionAmount financial transaction and mesure de devise
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 281-292	roomAmenity HotelUnit and physique physique est une sous-classe de objet objet objet est une instance de HotelUnit physique objet est une instance de HotelUnit physique est une instance de physique physique est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Government.kif 1175-1195	CompulsorySuffrageLaw est une sous-proposition de RegionalLawFn nation humain est un citoyen de nation RegionalLawFn nation oblige humain � ex�cut� des t�ches du type entit� entit� and entit� humain est un citoyen de nation suffrageAgeMinimum nation and entit� YearDuration(s) l' humain est entit� YearDuration(s) entit� est plus grand ou �gal � entit� entit� est une instance de ElectionFn nation entit� entit� est une instance de VotingFn entit� entit� est un agent de humain
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3690-3702	Relation binaire est trichotomiz� en classe relation binaire est une instance de relation �tendue aux quantit�es entit� entit� entit� est une instance de classe entit� est une instance de classe relation binaire entit� and entit� relation binaire entit� and entit� entit� est entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3049-3056	Relation a nombre entier positif argument(s) relation est une instance de predicat @ROW relation @ROW longueur de (@ROW) est nombre entier positif
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18092-18100	Wet est un attribut de objet objet objet est une partie de objet objet objet est une partie de objet Liquid est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Biography.kif 436-465	AeronauticalEngineer est un attribut de AutonomousAgent processus AutonomousAgent a la capacit� de faire processus processus processus est une instance de processus processus entit� and processusT processus est une instance de faire entit� est une instance de Aircraft entit� est une instance de processusT typicalPart processusT and Aircraft entit� est le resultat de processus processus est un sous-processus de processus processus processusLAN, entit� and processusT processus est une instance de Designing entit� est une instance de Aircraft entit� est une instance de processusT typicalPart processusT and Aircraft processusLAN est le resultat de processus processusLAN d�finie entit� processus est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1243-1254	ExclusiveFemaleLevel est un attribut de objet physique physique est une instance de HotelRoom physique est situ� � objet physique a pour but entit� Female est un attribut de entit� stays entit� and physique
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1224-1236	ExecutiveLevel est un attribut de objet physique physique est une instance de HotelRoom physique est situ� � objet physique a pour but entit� BusinessExecutive est un attribut de entit� entit� est une instance de humain stays entit� and physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5370-5375	average liste and nombre r�el listeITEM listeITEM est un membre de liste listeITEM est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3811-3819	causesSubclass processus and processus processus processus est une instance de processus processus processus est une instance de processus processus cause processus
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1325-1332	climateTypeInArea secteur g�ographique and WetTropicalClimateZone mois nombre r�el mois est une instance de mois averageRainfallForPeriod secteur g�ographique, mois and nombre r�el un milli�me de Meter(s) nombre r�el est plus grand ou �gal � 60.0
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