TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3438-3438
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14646-14647
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 259-259
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3117-3117
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3116-3116
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 257-257
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 258-258
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14645-14645	Humain est compl�tement d�compos� en Man + Woman
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14644-14644	Humain est une sous-classe de agent cognitif
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14643-14643	Humain est une sous-classe de hominid�

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1586-1586	biologicalAgentCarrier BordetellaPertussis and humain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20018-20018	DomesticAnimal est disjoint de humain
No TPTP formula. May not be expressible in strict first order.	Media.kif 35-35	Organisation est disjoint de humain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 793-793	initialPart VocalCords and humain
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2447-2447	SteveJobsOfApple est une instance de humain
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2459-2459	SteveWozniakOfApple est une instance de humain
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2435-2435	TimCookOfApple est une instance de humain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 185-185	HumanAdult est une sous-classe de humain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 248-248	HumanYouth est une sous-classe de humain
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14649-14649	Man est une sous-classe de humain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 320-320	Teenager est une sous-classe de humain
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14656-14656	Woman est une sous-classe de humain
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1002-1002
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1216-1216
No TPTP formula. May not be expressible in strict first order.	french_format.kif 679-679
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 210-210
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 213-213
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2363-2363
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 631-631
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 215-215
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 247-247
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 700-700
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 214-214
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 791-791	typicalPart VocalCords and humain

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	arteries.kif 1280-1280	connectedBodyPartTypes AbdominalAorta, ThoracicAorta and humain
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1658-1658	connectedBodyPartTypes AccompanyingArteryOfIschiadicNerve, InferiorGlutealArtery and humain
No TPTP formula. May not be expressible in strict first order.	arteries.kif 986-986	connectedBodyPartTypes AcromialArtery, ThoracoacromialArtery and humain
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1465-1465	connectedBodyPartTypes AfferentArteriole, InterlobularArtery and humain
No TPTP formula. May not be expressible in strict first order.	arteries.kif 252-252	connectedBodyPartTypes AnteriorEthmoidalArtery, AnteriorMeningealArtery and humain
No TPTP formula. May not be expressible in strict first order.	arteries.kif 257-257	connectedBodyPartTypes AnteriorEthmoidalArtery, AnteriorNasalArteryBranch and humain
No TPTP formula. May not be expressible in strict first order.	arteries.kif 267-267	connectedBodyPartTypes AnteriorEthmoidalArtery, InferiorPalpebralArchArtery and humain
No TPTP formula. May not be expressible in strict first order.	arteries.kif 262-262	connectedBodyPartTypes AnteriorEthmoidalArtery, SuperiorPalpebralArchArtery and humain
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1016-1016	connectedBodyPartTypes AnteriorHumeralCircumflexArtery, AxillaryArtery and humain
No TPTP formula. May not be expressible in strict first order.	arteries.kif 820-820	connectedBodyPartTypes AnteriorInferiorCerebellarArtery, BasilarArtery and humain
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1169-1169	connectedBodyPartTypes AnteriorInterosseousArtery, UlnarArtery and humain
No TPTP formula. May not be expressible in strict first order.	arteries.kif 79-79	connectedBodyPartTypes AnteriorInterventricularArtery, AnteriorInterventricularDiagonalArtery and humain
No TPTP formula. May not be expressible in strict first order.	arteries.kif 73-73	connectedBodyPartTypes AnteriorInterventricularArtery, AnteriorInterventricularSeptalArtery and humain
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1885-1885	connectedBodyPartTypes AnteriorLateralMalleolarArtery, AnteriorTibialArtery and humain
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1880-1880	connectedBodyPartTypes AnteriorMedialMalleolarArtery, AnteriorTibialArtery and humain
No TPTP formula. May not be expressible in strict first order.	arteries.kif 795-795	connectedBodyPartTypes AnteriorSpinalArtery, VertebralArtery and humain
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1863-1863	connectedBodyPartTypes AnteriorTibialArtery, PoplitealArtery and humain
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1873-1873	connectedBodyPartTypes AnteriorTibialRecurrentArtery, AnteriorTibialArtery and humain
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1148-1148	connectedBodyPartTypes AnteriorUlnarRecurrentArtery, UlnarArtery and humain
No TPTP formula. May not be expressible in strict first order.	arteries.kif 371-371	connectedBodyPartTypes AnterolateralCentralArtery, ExternalStriateArtery and humain
No TPTP formula. May not be expressible in strict first order.	arteries.kif 366-366	connectedBodyPartTypes AnterolateralCentralArtery, InternalStriateArtery and humain
No TPTP formula. May not be expressible in strict first order.	arteries.kif 164-164	connectedBodyPartTypes AorticArch, LeftCommonCarotidArtery and humain
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1454-1454	connectedBodyPartTypes ArcuateArtery, InterlobarArtery and humain
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1565-1565	connectedBodyPartTypes AuditoryCanal, TympanicCavity and humain
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1615-1615	connectedBodyPartTypes Auricle, AuditoryCanal and humain

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.	FinancialOntology.kif 996-1000	accountHolder FinancialAccount and agent cognitif agent cognitif est une instance de humain FinancialAccount est une instance de PersonalAccount
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17254-17262	Entit� est une instance de humain entit� entit� n' emploie %n{pas} entit� pendant position temporel Unemployed est un attribut de entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Biography.kif 223-230	Founder est un attribut de AutonomousAgent AutonomousAgent est une instance de humain processus processus est une instance de Founding processus est un agent de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20601-20623	Waiter est un attribut de agent cognitif agent cognitif est une instance de humain AutonomousAgent emploie agent cognitif AutonomousAgent est une instance de Restaurant customer agent cognitif and AutonomousAgent agent cognitif est situ� � objet objet est une instance de Table objet entit�, entit� and objet AutonomousAgent poss�de objet objet est une instance de KitchenArea objet est une instance de DiningArea objet est situ� � objet agent cognitif a pour but entit� est une instance de Carrying entit� est un agent de agent cognitif entit� a pour origine objet entit� aboutit � objet entit� est un patient de entit� entit� est une instance de FoodForFn humain
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1923-1939	ennervates Nerve and muscle objet est une instance de Nerve objet est une instance de muscle objet est une partie de objet objet est une partie de objet Healthy est un attribut de objet objet est une instance de humain objet a pour but objetF entit� objetF est une instance de NerveFiring objet est un instrument pour objetF muscle est une instance de MuscleContraction objet est un instrument pour objetV objetF cause muscle
No TPTP formula. May not be expressible in strict first order.	Government.kif 223-234	governmentType AutonomousAgent and Monarchy organisme est une instance de humain organisme est une instance de humain chiefOfState AutonomousAgent, entit� and organisme pendant interval temporel organisme et organisme sont parents interval temporel arrive plus t�t que interval temporel l'argument chiefOfState AutonomousAgent, entit� and organisme pendant interval temporel a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7562-7569	Entit� est un membre de entit� pendant position temporel entit� est une instance de humain entit� est une instance de GroupOfPeople groupMember entit� and entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25035-25044	Entit� est une instance de humain deviceTelecomNumber entit� and entit� telephoneNumber entit� and entit� entit� est situ� � entit� entit� est une instance de Residence pendant position temporel entit� vie � entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Government.kif 1789-1795	Objet est une instance de humain organisation est une instance de organisation position est une instance de position MemberRoleFn organisation and position est un attribut de objet MemberFn organisation est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Government.kif 1797-1803	Objet est une instance de humain organisation est une instance de organisation position est une instance de position MemberRoleFn organisation and position est un attribut de objet objet est un membre de organisation
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 44-59	Processus est une instance de Bleeding entit� est une instance de mort formule est une instance de humain AutonomousAgent est une instance de humain AutonomousAgent exp�rimente processus formule est Near � AutonomousAgent l'argument processus cause entit� a la force modale de Likely entit� entit� est une instance de attacher entit� est un agent de formule entit� aboutit � AutonomousAgent est oblig� d'ex�cut� des t�ches du type formule
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12848-12854	Objet est une instance de Breast objet en une partie est une instance de humain objet est une partie de objet en une partie objet est une partie de le devant de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 286-292	Entit� est une instance de humain NonFullyFormed est un attribut de entit� pendant position temporel entit� est une instance de HumanYouth pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12212-12217	Processus est une instance de confiner agent cognitif est un patient de processus agent cognitif est une instance de humain agent cognitif ne desire %n{pas} agent cognitif est un patient de processus
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3923-3934	Experimenting est une instance de Experimenting humain est une instance de humain experimentalSubject Experimenting and humain processus processus est une instance de processus humain exp�rimente processus experimentalControlProcess Experimenting and processus experimentalVariableProcess Experimenting and processus
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 285-296	Collection est une instance de MilitaryForce AutonomousAgent est une instance de humain processus est une instance de Imprisoning AutonomousAgent est un membre de collection processus est un agent de AutonomousAgent AutonomousAgent est un patient de processus enemy AutonomousAgent and AutonomousAgent eventLocated processus and objet WarState est un attribut de objet PrisonerOfWar est un attribut de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6161-6169	Objet est une instance de humain Fever est un attribut de objet nombre r�el la mesure de objet est nombre r�el FahrenheitDegree(s) nombre r�el est plus grand que 98.6
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 686-694	Entit� est une instance de humain Hyperthermia est un attribut de position temporel coreBodyTemp entit� and nombre r�el CelsiusDegree(s) pendant position temporel nombre r�el est plus grand que 38.3
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 651-659	Entit� est une instance de humain Hypothermia est un attribut de position temporel coreBodyTemp entit� and nombre r�el CelsiusDegree(s) pendant position temporel nombre r�el est moins que 35.0
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.	Medicine.kif 519-530	Objet est une instance de humain objet est une instance de Rectum objet est une partie de objet coreBodyTemp objet and nombre r�el entit�(s) la mesure de objet est nombre r�el2 entit�(s) pendant position temporel approximateValue nombre r�el and nombre r�el2

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 82-97	Ann�e est une instance de l' ann�e nombre entier BirthsPerThousandFn secteur g�opolitique and ann�e est nombre r�el PopulationFn secteur g�opolitique + 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 118-133	Ann�e est une instance de l' ann�e nombre entier DeathsPerThousandFn secteur g�opolitique and ann�e est nombre r�el PopulationFn secteur g�opolitique + 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 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.	People.kif 156-187	Ann�e est une instance de l' ann�e nombre entier MigrantsPerThousandFn secteur g�opolitique and ann�e est nombre r�el ( nombre entier + nombre entier) est entit� est une instance de l' ann�e nombre entier PopulationFn secteur g�opolitique est nombre r�el pendant ann�e nombre r�el + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier est instances dans la classe d�crite par cha�ne sympbolique ( nombre entier + nombre entier) est nombre r�el nombre r�el + nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 206-223	MaleToFemaleRatioFn secteur g�opolitique est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre entier est nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29507-29519	Collectible est un attribut de objet objet a pour but formule agent cognitif formule2 agent cognitif est une instance de humain agent cognitif veut objet agent cognitif desire formule2 formule2 n�cessite agent cognitif poss�de objet formule est formule2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30120-30127	Inhabited est un attribut de objet objet est une instance de r�gion organisme organisme est une instance de humain organisme vie � objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17244-17248	Attribut est un attribut de objet attribut est une instance de r�le social objet est une instance de humain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30104-30112	Uninhabited est un attribut de objet objet est une instance de r�gion organisme organisme est une instance de humain organisme vie � objet
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4195-4204	Produce est un attribut de objet objet est une instance de fruit ou v�g�tal objet a pour but entit� entit� est une instance de Harvesting objet est le resultat de entit� objet est une instance de FoodForFn humain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20601-20623	Waiter est un attribut de agent cognitif agent cognitif est une instance de humain AutonomousAgent emploie agent cognitif AutonomousAgent est une instance de Restaurant customer agent cognitif and AutonomousAgent agent cognitif est situ� � objet objet est une instance de Table objet entit�, entit� and objet AutonomousAgent poss�de objet objet est une instance de KitchenArea objet est une instance de DiningArea objet est situ� � objet agent cognitif a pour but entit� est une instance de Carrying entit� est un agent de agent cognitif entit� a pour origine objet entit� aboutit � objet entit� est un patient de entit� entit� est une instance de FoodForFn humain
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2579-2583	businessUnit organisation and Business physique est un membre de organisation physique est une instance de humain
No TPTP formula. May not be expressible in strict first order.	Government.kif 4582-4590	diplomaticRepresentationType nation, position and AutonomousAgent position est un sous-attribut de DiplomaticAgent humain humain est une instance de humain humain est un citoyen de nation diplomaticRepresentativeInRole nation, humain, position and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7997-8001	Processus est une instance de Baptizing entit� est un patient de processus entit� est une instance de humain
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2663-2669	Processus est une instance de Demonstration processus est un agent de AutonomousAgent AutonomousAgent est une instance de humain AutonomousAgent est une instance de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2534-2538	Processus est une instance de Evacuation AutonomousAgent exp�rimente processus AutonomousAgent est une instance de humain
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16238-16242	Collection est une instance de GroupOfPeople physique est un membre de collection physique est une instance de humain
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3447-3476	WearableItem est une instance de HearingProtection animal est une instance de humain animal porte WearableItem WearableItem a pour but entit� entit� and entit� entit� est une instance de processus entit� est une sous-classe de la classe d�crite par entit� entit� previent l'occurrence de entit� WearableItem est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1579-1592	Processus est une instance de HeavySurf objet est une instance de plan d'eau eventLocated processus and objet processus AutonomousAgent processus est une instance de nager AutonomousAgent est une instance de humain processus est un agent de AutonomousAgent eventLocated processus and objet hazardous processus and AutonomousAgent pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17370-17374	Processus est une instance de Immigrating processus est un agent de AutonomousAgent AutonomousAgent est une instance de humain
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3428-3455	Interval temporel est une instance de interval temporel WebSite est une instance de WebSite collection collection est une instance de collection physique physique est une instance de humain interval temporel_BEFORE interval temporel_BEFORE est une instance de interval temporel interval temporel_BEFORE arrive plus t�t que interval temporel registeredUser physique and WebSite pendant interval temporel_BEFORE interval temporel_DURING interval temporel_DURING est une instance de interval temporel interval temporel_DURING prend place pendant interval temporel registeredUser physique and WebSite pendant interval temporel physique est un membre de collection collection est SiteWideNewRegistrationsFn interval temporel and WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 381-388	Objet est une instance de objet objet est une instance de WebListing AutonomousAgent est une instance de AutonomousAgent ForSaleByOwner est un attribut de objet AutonomousAgent poss�de objet AutonomousAgent est une instance de humain

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.	People.kif 456-469	Ann�e est une instance de l' ann�e nombre entier ChildrenBornPerWomanFn secteur g�opolitique and ann�e est instances dans la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Military.kif 872-881	AvailableForMilitaryServiceMaleFn secteur g�opolitique est instances dans la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Military.kif 895-906	FitForMilitaryServiceMaleFn secteur g�opolitique est instances dans la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31712-31717	PopulationFn secteur g�opolitique est instances dans la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Military.kif 933-946	ReachingMilitaryAgeAnnuallyMaleFn secteur g�opolitique and ann�e est instances dans la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14873-14873	Nourriture est FoodForFn humain

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: