TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2807-2807
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9256-9256
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1548-1548
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5948-5948
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6343-6343
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6344-6344
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6345-6345
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6346-6346
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9254-9254	Jour est reli� � l'int�rieur de SUMO � DayDuration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9253-9253	Jour est reli� � l'int�rieur de SUMO � DayFn
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9252-9252	Jour est une sous-classe de interval temporel

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8612-8612	Les valeurs retourn�es par DayFn sont des sous-classes de jour
No TPTP formula. May not be expressible in strict first order.	Media.kif 335-335	ChristmasDay est une sous-classe de jour
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9304-9304	Vendredi est une sous-classe de jour
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9262-9262	Lundi est une sous-classe de jour
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9317-9317	Samedi est une sous-classe de jour
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9330-9330	Dimanche est une sous-classe de jour
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9291-9291	Jeudi est une sous-classe de jour
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9265-9265	Mardi est une sous-classe de jour
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9278-9278	Mercredi est une sous-classe de jour
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1289-1289
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1795-1795
No TPTP formula. May not be expressible in strict first order.	french_format.kif 967-967
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 502-502
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 506-506
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2651-2651
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 919-919
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 508-508
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 542-542
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 988-988
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 507-507

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8856-8856	Le nombre 1 argument de AfternoonFn est une instance de jour
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8956-8956	Le nombre 1 argument de EveningFn est une instance de jour
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8840-8840	Le nombre 1 argument de MorningFn est une instance de jour
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3808-3808	Le nombre 2 argument de availableBalance est une instance de jour
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3831-3831	Le nombre 2 argument de availableCash est une instance de jour
No TPTP formula. May not be expressible in strict first order.	Biography.kif 175-175	Le nombre 2 argument de baptizeddate est une instance de jour
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24267-24267	Le nombre 2 argument de birthdate est une instance de jour
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4092-4092	Le nombre 2 argument de buyingPowerAmount est une instance de jour
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2485-2485	Le nombre 2 argument de callDate est une instance de jour
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3472-3472	Le nombre 3 argument de closingPrice est une instance de jour
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 673-673	Le nombre 2 argument de currentAccountBalance est une instance de jour
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 615-615	Le nombre 2 argument de currentInterestRate est une instance de jour
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8567-8567	Le nombre 2 argument de date est une instance de jour
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4027-4027	Le nombre 2 argument de dateOfStatement est une instance de jour
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24280-24280	Le nombre 2 argument de deathdate est une instance de jour
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4101-4101	Le nombre 2 argument de marginBalanceAmount est une instance de jour
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4119-4119	Le nombre 2 argument de marketValueAmount est une instance de jour
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 632-632	Le nombre 2 argument de maturityDate est une instance de jour
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 868-868	Le nombre 3 argument de netWorth est une instance de jour
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 780-780	Le nombre 3 argument de overdraft est une instance de jour
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 600-600	Le nombre 1 argument de primeInterestRate est une instance de jour
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4110-4110	Le nombre 2 argument de shortBalanceAmount est une instance de jour
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24212-24212	Le nombre 3 argument de weddingdate est une instance de jour
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8636-8636	Le nombre 2 argument de HourFn est une sous-classe de jour
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24181-24181	Le nombre 2 argument de anniversary est une sous-classe de jour

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8862-8867	Afternoon est une instance de Afternoon jour est une instance de jour Afternoon est AfternoonFn jour Afternoon prend place pendant jour
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8962-8967	Evening est une instance de Evening jour est une instance de jour Evening est EveningFn jour Evening prend place pendant jour
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8846-8851	Morning est une instance de Morning jour est une instance de jour Morning est MorningFn jour Morning prend place pendant jour
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8944-8951	Interval temporel est une instance de Evening interval temporel est une instance de Afternoon interval temporel est une instance de jour interval temporel prend place pendant interval temporel interval temporel prend place pendant interval temporel interval temporel rencontre interval temporel
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 65-84	AutonomousAgent est une instance de Man Mausaharati est un attribut de AutonomousAgent processus est une instance de Drumming processus est un agent de AutonomousAgent processusAY est une instance de jour interval temporel est une instance de Sunrise interval temporel prend place pendant processusAY temps d'existence de processus arrive plus t�t que interval temporel processus a pour but entit� interval temporelUHUR and entit� entit� est une instance de WakingUp entit� exp�rimente entit� interval temporelUHUR est une instance de Suhur interval temporelUHUR est un agent de entit� temps d'existence de entit� arrive plus t�t que temps d'existence de interval temporelUHUR temps d'existence de entit� prend place pendant processusAY temps d'existence de interval temporelUHUR prend place pendant processusAY
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4958-4976	Interval temporel est une instance de LowTide interval temporel est une instance de HighTide eventLocated interval temporel and objet eventLocated interval temporel and objet interval temporel est une instance de jour interval temporel recouvre interval temporel interval temporel recouvre interval temporel nombre r�el nombre r�el and entit� entit� est une instance de UnitOfLength waterDepth objet and nombre r�el entit�(s) pendant interval temporel waterDepth objet and nombre r�el entit�(s) pendant interval temporel nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5027-5037	lowTide r�gion, interval temporel and nombre r�el unit� de mesure(s) highTide r�gion, interval temporel and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfLength interval temporel est une instance de jour interval temporel recouvre interval temporel interval temporel recouvre interval temporel nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9258-9260	Interval temporel est une instance de jour la dur�� de interval temporel est 1 DayDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9495-9497	Interval temporel est une instance de jour le nombre d' instances dans decomposition de interval temporel en heures est &%�gal � 24

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24235-24245	birthdate humain and jour jour est une instance de le jour nombre entier positif jour nombre entier birthday humain and jour jour est une sous-classe de jour nombre entier est une instance de nombre entier jour est jour nombre entier positif nombre entier est plus grand que nombre entier
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3754-3764	Interval temporel est FiscalYearStartingFn AutonomousAgent and ann�e fiscalYearPeriod AutonomousAgent and interval temporel interval temporel est une instance de interval temporel interval temporel position temporel interval temporel est une instance de jour interval temporel commence interval temporel position temporel est une instance de ann�e interval temporel est une partie de position temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9485-9489	Interval temporel est une instance de mois la dur�� de interval temporel est nombre entier DayDuration(s) le nombre d' instances dans decomposition de interval temporel en jours est nombre entier
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.	Geography.kif 3631-3640	Physique est une instance de secteur g�ographique physique est situ� � AntarcticArea position temporel position temporel est une instance de jour Illuminated est un attribut de physique pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3570-3579	Physique est une instance de secteur g�ographique physique est situ� � ArcticRegion position temporel position temporel est une instance de jour Illuminated est un attribut de physique pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Biography.kif 250-264	ContentBearingPhysical est une instance de BirthCertificate processus est une instance de naissance AutonomousAgent est une instance de humain AutonomousAgent exp�rimente processus containsFormula ContentBearingPhysical and entit� entit� and entit� birthdate AutonomousAgent and entit� entit� est une instance de jour birthplace AutonomousAgent and entit� entit� est une instance de secteur g�ographique entit� d�finie AutonomousAgent entit� est une instance de Name
No TPTP formula. May not be expressible in strict first order.	Biography.kif 280-296	ContentBearingPhysical est une instance de DeathCertificate processus est une instance de mort AutonomousAgent est une instance de humain AutonomousAgent exp�rimente processus containsFormula ContentBearingPhysical and processusAY entit�, entit� and entit�ROC deathdate AutonomousAgent and processusAY processusAY est une instance de jour deathplace AutonomousAgent and entit� entit� est une instance de secteur g�ographique entit� d�finie AutonomousAgent entit� est une instance de Name entit�ROC cause processus entit�ROC est une instance de processus
No TPTP formula. May not be expressible in strict first order.	Biography.kif 307-317	ContentBearingPhysical est une instance de MarriageCertificate humain est une instance de humain humain est une instance de humain spouse humain and humain containsFormula ContentBearingPhysical and entit� weddingdate humain, humain and entit� entit� est une instance de jour
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24194-24205	Physique est une instance de Wedding la date de physique est jour jour est une instance de le jour nombre entier positif jour nombre entier weddingAnniversary physique and jour jour est une sous-classe de jour nombre entier est une instance de nombre entier jour est jour nombre entier positif nombre entier est plus grand que nombre entier
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.	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.	ComputingBrands.kif 2295-2300	Entit� est une instance de CalendarText entit� entit� est une instance de jour entit� inclut une r�f�rence � entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8803-8808	Point temporel est une instance de Midnight interval temporel interval temporel est une instance de jour point temporel est fin de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9491-9493	Interval temporel est une instance de semaine le nombre d' instances dans decomposition de interval temporel en jours est &%�gal � 7
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 91-101	Physique est une instance de Iftar interval temporel interval temporel and interval temporel interval temporel est une instance de Sunset interval temporel est une instance de Ramadan interval temporel est une instance de jour interval temporel prend place pendant interval temporel temps d'existence de physique prend place pendant interval temporel interval temporel prend place pendant interval temporel interval temporel se produit avant temps d'existence de physique
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 36-46	Physique est une instance de Suhur interval temporel interval temporel and interval temporel interval temporel est une instance de Sunrise interval temporel est une instance de Ramadan interval temporel est une instance de jour interval temporel prend place pendant interval temporel temps d'existence de physique prend place pendant interval temporel interval temporel prend place pendant interval temporel temps d'existence de physique se produit avant interval temporel

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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

KB Term:			Term intersection

English Word: