Text - Sigma 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 15384-15387
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 15383-15383	Texte est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15382-15382	Texte est une sous-classe de objet exprimant un sens
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15381-15381	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 14618-14618	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 14676-14676	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 15655-15655	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 7869-7869	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 15403-15403	FactualText est une sous-classe de texte
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15431-15431	FictionalText est une sous-classe de texte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14484-14484	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 14471-14471	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 14419-14419	MusicText est une sous-classe de texte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14923-14923	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 9264-9264	Prescription est une sous-classe de texte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14644-14644	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 15608-15608	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 16606-16606	Le nombre 1 argument de registeredItem est une instance de texte
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15499-15499	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 15509-15509	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 15389-15394	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 15396-15401	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 18223-18227	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 8466-8473	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 12876-12881	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 15920-15926	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 12711-12717	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 15612-15617	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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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: