TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2585-2585
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7136-7137
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1292-1292
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7135-7135	YearDuration est une instance de dur�e temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7134-7134	YearDuration est une instance de UnitOfDuration

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8740-8740	Ann�e est reli� � l'int�rieur de SUMO � YearDuration
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63751-63751
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63750-63750
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63749-63749

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23889-23903	Menopausal est un attribut de AutonomousAgent pendant interval temporel nombre r�el est YearDuration(s) + le d�but de interval temporel) interval temporel est intervale entre interval temporel et le d�but de interval temporel processus processus est une instance de Menstruation AutonomousAgent exp�rimente processus
No TPTP formula. May not be expressible in strict first order.	Government.kif 1075-1084	Election est une instance de ElectionFn AutonomousAgent processus est une instance de VotingFn Election processus est un agent de AutonomousAgent suffrageAgeMaximum AutonomousAgent and nombre r�el YearDuration(s) l' AutonomousAgent est nombre r�el YearDuration(s) nombre r�el est plus petit ou �gal � nombre r�el
No TPTP formula. May not be expressible in strict first order.	Government.kif 1062-1073	Election est une instance de ElectionFn AutonomousAgent processus est une instance de VotingFn Election processus est un agent de AutonomousAgent suffrageAgeMaximum AutonomousAgent and nombre r�el YearDuration(s) nombre r�el l' AutonomousAgent est nombre r�el YearDuration(s) nombre r�el est plus petit ou �gal � nombre r�el
No TPTP formula. May not be expressible in strict first order.	Government.kif 1003-1012	Election est une instance de ElectionFn AutonomousAgent processus est une instance de VotingFn Election processus est un agent de AutonomousAgent suffrageAgeMinimum AutonomousAgent and nombre r�el YearDuration(s) l' AutonomousAgent est nombre r�el YearDuration(s) nombre r�el est plus grand ou �gal � nombre r�el
No TPTP formula. May not be expressible in strict first order.	Government.kif 990-1001	Election est une instance de ElectionFn AutonomousAgent processus est une instance de VotingFn Election processus est un agent de AutonomousAgent suffrageAgeMinimum AutonomousAgent and nombre r�el YearDuration(s) nombre r�el l' AutonomousAgent est nombre r�el YearDuration(s) nombre r�el est plus grand ou �gal � nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 342-348	Entit� est une instance de humain l' entit� est nombre r�el YearDuration(s) pendant position temporel nombre r�el est plus grand que 12 nombre r�el est moins que 20 entit� est une instance de Teenager pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 219-225	Entit� est une instance de humain l' entit� est nombre r�el YearDuration(s) pendant position temporel nombre r�el est plus grand ou �gal � 18 entit� est une instance de HumanAdult pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 269-274	Entit� est une instance de humain l' entit� est nombre r�el YearDuration(s) pendant position temporel nombre r�el est moins que 18 entit� est une instance de HumanYouth pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 392-397	Entit� est une instance de humain l' entit� est nombre r�el YearDuration(s) pendant position temporel nombre r�el est plus petit ou �gal � 1 entit� est une instance de HumanBaby pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 311-318	Entit� est une instance de humain l' entit� est nombre r�el YearDuration(s) pendant position temporel nombre r�el est plus petit ou �gal � 14 entit� est une instance de HumanChild pendant position temporel
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1497-1502	Agreement est une instance de BankTermLoan agreementPeriod Agreement and interval temporel la dur�� de interval temporel est nombre r�el YearDuration(s) nombre r�el est plus grand ou �gal � 1
No TPTP formula. May not be expressible in strict first order.	Military.kif 852-860	militaryAge secteur g�opolitique and nombre r�el YearDuration(s) militaryOfArea MilitaryOrganization and secteur g�opolitique physique est un membre de MilitaryOrganization l' physique est nombre r�el YearDuration(s) nombre r�el est plus grand ou �gal � nombre r�el
No TPTP formula. May not be expressible in strict first order.	Military.kif 840-850	militaryAge secteur g�opolitique and nombre r�el YearDuration(s) militaryOfArea MilitaryOrganization and secteur g�opolitique physique est un membre de MilitaryOrganization nombre r�el l' physique est nombre r�el YearDuration(s) nombre r�el est plus grand ou �gal � nombre r�el
No TPTP formula. May not be expressible in strict first order.	Law.kif 573-588	partyToAgreement agent cognitif and Agreement processus est une instance de processus intentionnel processus est situ� � secteur g�opolitique secteur g�opolitique est une instance de secteur g�opolitique ageOfMajorityForProcess nombre r�el YearDuration(s), secteur g�opolitique and processus ContentBearingPhysical est le resultat de processus recordForAgreement ContentBearingPhysical and Agreement Legal est un attribut de Agreement l' agent cognitif est nombre r�el2 YearDuration(s) nombre r�el2 est plus grand que nombre r�el pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Law.kif 554-571	partyToAgreement agent cognitif and Agreement processus est une instance de processus intentionnel processus est situ� � secteur g�opolitique secteur g�opolitique est une instance de nation processus est situ� � secteur g�opolitique2 secteur g�opolitique2 est une instance de secteur g�opolitique ageOfMajorityForProcess nombre r�el YearDuration(s), secteur g�opolitique and processus ContentBearingPhysical est le resultat de processus recordForAgreement ContentBearingPhysical and Agreement l' agent cognitif est entit� YearDuration(s) entit� est plus grand que nombre r�el pendant temps d'existence de processus Legal est un attribut de Agreement
No TPTP formula. May not be expressible in strict first order.	Government.kif 1176-1189	CompulsorySuffrageLaw est une sous-proposition de RegionalLawFn nation humain est un citoyen de nation suffrageAgeMinimum nation and nombre r�el YearDuration(s) l' humain est nombre r�el YearDuration(s) nombre r�el est plus grand ou �gal � nombre r�el Election est une instance de ElectionFn nation processus processus est une instance de VotingFn Election processus est un agent de humain
No TPTP formula. May not be expressible in strict first order.	Government.kif 1120-1130	UniversalSuffrageLaw est une sous-proposition de RegionalLawFn nation humain est un citoyen de nation suffrageAgeMinimum nation and nombre r�el YearDuration(s) l' humain est nombre r�el YearDuration(s) nombre r�el est plus grand ou �gal � nombre r�el Election est une instance de ElectionFn nation humain est capable de faire VotingFn Election dans le r�le agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1052-1060	suffrageAgeMaximum AutonomousAgent and nombre r�el YearDuration(s) Election est une instance de ElectionFn AutonomousAgent objet est capable de faire VotingFn Election dans le r�le agent l' objet est nombre r�el YearDuration(s) nombre r�el est plus petit ou �gal � nombre r�el
No TPTP formula. May not be expressible in strict first order.	Government.kif 1040-1050	suffrageAgeMaximum AutonomousAgent and nombre r�el YearDuration(s) Election est une instance de ElectionFn AutonomousAgent objet est capable de faire VotingFn Election dans le r�le agent nombre r�el l' objet est nombre r�el YearDuration(s) nombre r�el est plus petit ou �gal � nombre r�el
No TPTP formula. May not be expressible in strict first order.	Government.kif 980-988	suffrageAgeMinimum AutonomousAgent and nombre r�el YearDuration(s) Election est une instance de ElectionFn AutonomousAgent objet est capable de faire VotingFn Election dans le r�le agent l' objet est nombre r�el YearDuration(s) nombre r�el est plus grand ou �gal � nombre r�el
No TPTP formula. May not be expressible in strict first order.	Government.kif 968-978	suffrageAgeMinimum AutonomousAgent and nombre r�el YearDuration(s) Election est une instance de ElectionFn AutonomousAgent objet est capable de faire VotingFn Election dans le r�le agent nombre r�el l' objet est nombre r�el YearDuration(s) nombre r�el est plus grand ou �gal � nombre r�el
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1078-1082	underageUser humain and WebSite l' humain est nombre r�el YearDuration(s) nombre r�el est plus grand ou �gal � 18
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 193-199	Entit� est une instance de HumanAdult l' entit� est nombre r�el YearDuration(s) pendant position temporel nombre r�el est plus grand ou �gal � 18
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 375-380	Entit� est une instance de HumanBaby l' entit� est nombre r�el YearDuration(s) pendant position temporel nombre r�el est plus petit ou �gal � 1
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 294-299	Entit� est une instance de HumanChild l' entit� est nombre r�el YearDuration(s) pendant position temporel nombre r�el est plus petit ou �gal � 14

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 357-390	Ann�e est une instance de l' ann�e ann�eEAR MaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM listeITEM est un membre de liste listeITEM est une instance de cha�ne sympbolique entit� entit� est une instance de cha�ne sympbolique entit� est un membre de liste nombre entier est instances dans la classe d�crite par cha�ne sympbolique average liste and nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 238-264	Ann�e est une instance de l' ann�e nombre entier DeathsPerThousandLiveBirthsFn secteur g�opolitique and ann�e est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	Ann�e est une instance de l' ann�e nombre entier FemaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM listeITEM est un membre de liste listeITEM est une instance de cha�ne sympbolique entit� entit� est une instance de cha�ne sympbolique entit� est un membre de liste nombre entier est instances dans la classe d�crite par cha�ne sympbolique average liste and nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 310-342	Ann�e est une instance de l' ann�e nombre entier LifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM listeITEM est un membre de liste listeITEM est une instance de cha�ne sympbolique entit� entit� est une instance de cha�ne sympbolique entit� est un membre de liste nombre entier est instances dans la classe d�crite par cha�ne sympbolique average liste and nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18728-18737	CollegeFreshman est un attribut de position humain occupe la position de position organisation nombre r�el student humain and organisation pendant nombre r�el YearDuration(s) nombre r�el est moins que 1
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18743-18753	CollegeJunior est un attribut de position humain occupe la position de position organisation nombre r�el student humain and organisation pendant nombre r�el YearDuration(s) nombre r�el est plus grand ou �gal � 2 nombre r�el est moins que 3
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18759-18769	CollegeSenior est un attribut de position humain occupe la position de position organisation nombre r�el student humain and organisation pendant nombre r�el YearDuration(s) nombre r�el est plus grand ou �gal � 3 nombre r�el est moins que 4
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18775-18785	CollegeSophomore est un attribut de position humain occupe la position de position organisation nombre r�el student humain and organisation pendant nombre r�el YearDuration(s) nombre r�el est plus grand ou �gal � 1 nombre r�el est moins que 2
No TPTP formula. May not be expressible in strict first order.	Government.kif 1132-1152	Humain est un citoyen de nation UniversalSuffrageLaw est une sous-proposition de RegionalLawFn nation RegionalLawFn nation autorise 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.	Government.kif 1062-1073	Election est une instance de ElectionFn AutonomousAgent processus est une instance de VotingFn Election processus est un agent de AutonomousAgent suffrageAgeMaximum AutonomousAgent and nombre r�el YearDuration(s) nombre r�el l' AutonomousAgent est nombre r�el YearDuration(s) nombre r�el est plus petit ou �gal � nombre r�el
No TPTP formula. May not be expressible in strict first order.	Government.kif 990-1001	Election est une instance de ElectionFn AutonomousAgent processus est une instance de VotingFn Election processus est un agent de AutonomousAgent suffrageAgeMinimum AutonomousAgent and nombre r�el YearDuration(s) nombre r�el l' AutonomousAgent est nombre r�el YearDuration(s) nombre r�el est plus grand ou �gal � nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21147-21177	Proposition est une instance de Argument processus est une instance de raisonner proposition est une instance de Archeology proposition est une sous-proposition de proposition processus exprime le contenu de proposition processus entit�, physique, nombre r�el, entit� and entit� processus est une instance de Discovering physique est une instance de objet physique est un patient de processus processus inclut une r�f�rence � processus temps d'existence de processus arrive plus t�t que temps d'existence de processus l' physique est nombre r�el YearDuration(s) nombre r�el est plus grand que 50 entit� est une surface de entit� entit� est une instance de BodyOfWater physique est Below � entit� entit� est une surface de entit� entit� est une instance de zone de terre physique est Below � entit� pendant immediatement avant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Military.kif 840-850	militaryAge secteur g�opolitique and nombre r�el YearDuration(s) militaryOfArea MilitaryOrganization and secteur g�opolitique physique est un membre de MilitaryOrganization nombre r�el l' physique est nombre r�el YearDuration(s) nombre r�el est plus grand ou �gal � nombre r�el
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.	Law.kif 573-588	partyToAgreement agent cognitif and Agreement processus est une instance de processus intentionnel processus est situ� � secteur g�opolitique secteur g�opolitique est une instance de secteur g�opolitique ageOfMajorityForProcess nombre r�el YearDuration(s), secteur g�opolitique and processus ContentBearingPhysical est le resultat de processus recordForAgreement ContentBearingPhysical and Agreement Legal est un attribut de Agreement l' agent cognitif est nombre r�el2 YearDuration(s) nombre r�el2 est plus grand que nombre r�el pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6393-6404	sheddingLeaves plante and PlantLeaf plante est une instance de DeciduousTree PlantLeaf est une instance de PlantLeaf processus processus processus est une sous-classe de supprimer processus se produit tous les YearDuration processus est une instance de processus processus a pour origine plante PlantLeaf est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Government.kif 1211-1231	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.	Government.kif 1040-1050	suffrageAgeMaximum AutonomousAgent and nombre r�el YearDuration(s) Election est une instance de ElectionFn AutonomousAgent objet est capable de faire VotingFn Election dans le r�le agent nombre r�el l' objet est nombre r�el YearDuration(s) nombre r�el est plus petit ou �gal � nombre r�el
No TPTP formula. May not be expressible in strict first order.	Government.kif 968-978	suffrageAgeMinimum AutonomousAgent and nombre r�el YearDuration(s) Election est une instance de ElectionFn AutonomousAgent objet est capable de faire VotingFn Election dans le r�le agent nombre r�el l' objet est nombre r�el YearDuration(s) nombre r�el est plus grand ou �gal � nombre r�el
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3744-3746	Interval temporel est FiscalYearStartingFn AutonomousAgent and ann�e la dur�� de interval temporel est 1 YearDuration(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13683-13687	Nombre r�el est nombre r�el nombre r�el MillenniumDuration(s) est nombre r�el + 1000 YearDuration(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19064-19068	Nombre r�el est nombre r�el nombre r�el CenturyDuration(s) est nombre r�el + 100 YearDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8759-8763	Nombre r�el est nombre r�el nombre r�el DecadeDuration(s) est nombre r�el + 10 YearDuration(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 382-390	Entit� est une instance de HumanBaby pendant position temporel entit� l' entit� est entit� pendant position temporel entit� est une instance de l' interval entre 0 YearDuration(s) et 1 YearDuration(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 201-209	Entit� est une instance de HumanAdult pendant position temporel entit� l' entit� est entit� pendant position temporel entit� est une instance de l' interval entre 18 YearDuration(s) et 120 YearDuration(s)

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.	Government.kif 1092-1103	?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE ?AGENT est un citoyen de ?POLITY suffrageAgeMinimum ?POLITY and ?VOTINGAGE YearDuration(s) l' YearDuration(s) ?AGE est plus grand ou �gal � ?VOTINGAGE ?ELECTION est une instance de ElectionFn ?POLITY ?AGENT est capable de faire VotingFn ?ELECTION dans le r�le agent contient information UniversalSuffrageLaw
No TPTP formula. May not be expressible in strict first order.	Government.kif 1160-1174	?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE ?VOTER est un citoyen de ?POLITY suffrageAgeMinimum ?POLITY and ?VOTINGAGE YearDuration(s) l' YearDuration(s) ?AGE est plus grand ou �gal � ?VOTINGAGE ?ELECTION est une instance de ElectionFn ?POLITY ?VOTING ?VOTING est une instance de VotingFn ?ELECTION ?VOTING est un agent de ?VOTER contient information CompulsorySuffrageLaw
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7139-7141	1 YearDuration(s) est DayDuration(s)

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: