TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3550-3552
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15362-15365
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3008-3008
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3229-3229
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15361-15361	Texte est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15360-15360	Texte est une sous-classe de objet exprimant un sens
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15359-15359	Texte est une sous-classe de expression linguistique

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3013-3013	Les valeurs retourn�es par DocumentFn sont des sous-classes de texte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14619-14619	Les valeurs retourn�es par SeriesVolumeFn sont des sous-classes de texte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14677-14677	Article est une sous-classe de texte
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2287-2287	CalendarText est une sous-classe de texte
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15633-15633	Certificat est une sous-classe de texte
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1025-1025	ChairmanPublication est une sous-classe de texte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7870-7870	ChristianGospel est une sous-classe de texte
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 993-993	Doctrine est une sous-classe de texte
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15381-15381	FactualText est une sous-classe de texte
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15409-15409	FictionalText est une sous-classe de texte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14485-14485	FormText est une sous-classe de texte
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 921-921	JointPublication est une sous-classe de texte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14472-14472	Label est une sous-classe de texte
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 3012-3012	LiveTestUpdate est une sous-classe de texte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 694-694	Lyrics est une sous-classe de texte
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1392-1392	Motion picture est une sous-classe de texte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14420-14420	MusicText est une sous-classe de texte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14924-14924	NarrativeText est une sous-classe de texte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 705-705	Paragraph est une sous-classe de texte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9265-9265	Prescription est une sous-classe de texte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14645-14645	Series est une sous-classe de texte
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4222-4222	Spam est une sous-classe de texte
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15586-15586	R�sum� est une sous-classe de texte
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3034-3034	TreatyDocument est une sous-classe de texte
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1038-1038

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.	Mid-level-ontology.kif 16607-16607	Le nombre 1 argument de registeredItem est une instance de texte
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15477-15477	Le nombre 2 argument de editor est une sous-classe de texte
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15487-15487	Le nombre 2 argument de publishes est une sous-classe de texte

antecedent

No TPTP formula. May not be expressible in strict first order.	Biography.kif 730-740	Writer est un attribut de AutonomousAgent entit� est une instance de objet exprimant un sens objet exprimant un sens est une sous-classe de texte objet exprimant un sens est une sous-classe de Document processus est une instance de �crire processus est un agent de AutonomousAgent entit� est le resultat de processus AutonomousAgent est l' auteur de objet exprimant un sens
No TPTP formula. May not be expressible in strict first order.	Media.kif 1894-1898	Entit� publie classe pendant position temporel classe est une sous-classe de texte InformationIndustries est un attribut de entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Biography.kif 742-751	AutonomousAgent est une instance de humain processus est une instance de �crire entit� est une instance de texte entit� est une instance de Document entit� est le resultat de processus processus est un agent de AutonomousAgent Writer est un attribut de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Media.kif 938-943	Objet est une instance de texte objet est une instance de Document objet est une partie de objet objet est une instance de TextDocument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15367-15372	Objet est une instance de texte objet objet est une partie de objet objet est une instance de expression linguistique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15374-15379	Entit� est une instance de texte processus processus est une instance de �crire entit� est le resultat de processus

consequent

No TPTP formula. May not be expressible in strict first order.	Communications.kif 202-214	Processus aboutit � objet processus est une instance de Messaging entit� est un patient de processus objet est une instance de Telex processus entit� objet est un instrument pour processus entit� est le resultat de processus entit� d�finie entit� entit� est une instance de texte le d�but de temps d'existence de processus se produit avant le d�but de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18224-18228	Processus est une instance de Memorizing entit� est un patient de processus entit� est une instance de texte
No TPTP formula. May not be expressible in strict first order.	Biography.kif 717-726	Writer est un attribut de AutonomousAgent entit� processus processus est une instance de �crire entit� est une instance de texte entit� est une instance de Document processus est un agent de AutonomousAgent entit� est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8467-8474	AutonomousAgent est une instance de Library objet physique AutonomousAgent poss�de objet objet est une instance de LibraryBuilding physique est une instance de texte physique est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Media.kif 931-936	Objet corpusculaire est une instance de TextDocument objet corpusculaire objet corpusculaire est une instance de texte objet corpusculaire est un composant de objet corpusculaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3574-3582	Entit� est une instance de Paper l'argument entit� a pour but entit� entit� est une instance de texte entit� est une partie de entit� a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12854-12859	Processus est une instance de publier entit� entit� est une instance de texte entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15921-15927	Processus est une instance de Reciting proposition ContentBearingPhysical processus exprime le contenu de proposition ContentBearingPhysical contient information proposition ContentBearingPhysical est une instance de texte
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12689-12695	Processus est une instance de lire ContentBearingPhysical proposition ContentBearingPhysical est une instance de texte ContentBearingPhysical contient information proposition processus exprime le contenu de proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15590-15595	ContentBearingPhysical est une instance de r�sum� ContentBearingPhysical2 ContentBearingPhysical2 est une instance de texte ContentBearingPhysical2 classe le contenu de ContentBearingPhysical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1514-1520	Entit� est une instance de �crire ContentBearingPhysical langage ContentBearingPhysical est une instance de texte langage est une instance de WrittenHumanLanguage language ContentBearingPhysical and langage
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 679-688	Processus est une instance de WrittenCommunication objet objet and collection objet est le resultat de processus objet est une instance de texte objet est une partie de objet objet est une instance de character collection est une instance de Script objet est un membre de collection

statement

No TPTP formula. May not be expressible in strict first order.

ComputingBrands.kif 3309-3315

IBookstore a pour but ?D ?D est une instance de DownloadingOverNetwork IBookstore est un instrument pour ?D ?T est une instance de texte objectTransferred ?D and ?T

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: