realization - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2198-2200
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4602-4606
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 862-864
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4597-4597	Le nombre 1 argument de realization est une instance de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4598-4598	Le nombre 2 argument de realization est une instance de proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4596-4596	realization est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4600-4600	realization est reli� � l'int�rieur de SUMO � containsInformation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4599-4599	realization est reli� � l'int�rieur de SUMO � equivalentContentInstance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4595-4595	realization est une sous-relation de represents

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 223-223
No TPTP formula. May not be expressible in strict first order.	english_format.kif 224-224
No TPTP formula. May not be expressible in strict first order.	french_format.kif 131-131
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 242-242
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1960-1960
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 83-83
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 290-290
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 280-280
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 150-150
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 136-136
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 434-434
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 224-224
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48914-48914
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48913-48913
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48912-48912
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 93-93

antecedent

No TPTP formula. May not be expressible in strict first order.	Music.kif 867-876	Song est SongFn MusicalComposition and LyricalContent Song exprime le contenu de processus processus processus MusicalComposition est un patient de processus LyricalContent est un patient de processus processus est un sous-processus de processus processus est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2244-2252	Processus est une instance de CivilAffairsOperation processus est situ� � secteur g�opolitique secteur g�opolitique est une instance de nation proposition est une instance de RegionalLawFn secteur g�opolitique processus exprime le contenu de proposition consistent proposition and proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21532-21539	Proposition est une instance de Diet processus exprime le contenu de proposition processus processus est un sous-processus de processus processus est une instance de manger
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16046-16051	Processus est une instance de Choreographing proposition est le resultat de processus processus exprime le contenu de proposition processus est une instance de dancer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13740-13744	Proposition est une instance de musique processus exprime le contenu de proposition processus est une instance de MakingMusic
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13751-13761	Processus est une instance de MusicalComposition processus exprime le contenu de processus entit� processus processus est une instance de Singing entit� est un patient de processus entit� est une instance de LyricalContent processus est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14965-14969	Proposition est une instance de Opera processus exprime le contenu de proposition processus est une instance de MakingMusic
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13770-13783	Processus est une instance de Song processus exprime le contenu de processus processus processus, entit� and entit� processus est une instance de MakingMusic processus est une instance de Singing entit� est une instance de LyricalContent entit� est une instance de MusicalComposition entit� est un patient de processus entit� est un patient de processus processus est un sous-processus de processus processus est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16642-16650	Proposition est une instance de SportsPlay processus exprime le contenu de proposition processus processus est une instance de TeamSport processus est une instance de manoeuvre processus est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21146-21176	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.	FinancialOntology.kif 3907-3914	lastStatement FinancialAccount and BankStatement physique est une instance de financial transaction BankStatement exprime le contenu de physique physique est une instance de financial transaction BankStatement n' exprime %n{pas} le contenu de physique temps d'existence de physique arrive plus t�t que temps d'existence de physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14148-14162	Agreement a un attribute Contract partyToAgreement agent cognitif and Agreement partyToAgreement agent cognitif and Agreement processus est une instance de processus intentionnel processus est un agent de agent cognitif processus exprime le contenu de proposition consistent proposition and Agreement l'argument entit� entit� est une instance de action l�gale plaintiff entit� and agent cognitif defendant entit� and agent cognitif a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4608-4613	Processus exprime le contenu de proposition ContentBearingPhysical ContentBearingPhysical est une instance de objet exprimant un sens ContentBearingPhysical contient information proposition

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14099-14105	agreementClause proposition , Permission, Agreement and agent cognitif agent cognitif a le droit d'executer entit� entit� exprime le contenu de proposition entit� est un agent de agent cognitif
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14090-14097	agreementClause proposition , Prohibition, Agreement and agent cognitif agent cognitif n' %n{pas} le droit d'executer entit� entit� exprime le contenu de proposition entit� est un agent de agent cognitif
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14078-14088	agreementClause proposition , deontic attribute, Agreement and agent cognitif deontic attribute est Obligation deontic attribute est Promise l'argument entit� entit� exprime le contenu de proposition entit� est un agent de agent cognitif a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29962-29972	buys agent cognitif, AutonomousAgent and proposition proposition est une instance de proposition processus processus processus est un agent de agent cognitif processus exprime le contenu de proposition processus est une instance de acheter processus est un patient de processus processus a pour origine AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16513-16521	Objet est une instance de AcademicDegree AutonomousAgent poss�de objet proposition processus proposition est une instance de EducationalProgram processus exprime le contenu de proposition AutonomousAgent exp�rimente processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7230-7239	Processus est une instance de Scholarship processus aboutit � entit� processus a pour but entit� entit� entit� est une instance de EducationalProgram entit� exprime le contenu de entit� entit� exp�rimente entit�
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3885-3895	BankStatement est une instance de BankStatement statementAccount BankStatement and FinancialAccount processus processus est une instance de financial transaction processus a pour origine CurrencyFn FinancialAccount processus aboutit � CurrencyFn FinancialAccount BankStatement exprime le contenu de processus
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 64-76	offers AutonomousAgent and Catalog catalogItem entit� and Catalog entit� est une sous-classe de proposition l'argument entit� entit� and entit� entit� est une instance de entit� entit� exprime le contenu de entit� entit� est une instance de vendre entit� est un patient de entit� entit� est un agent de AutonomousAgent a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2973-2981	reservedPackage Reservation and proposition reservingEntity Reservation and Reservation l'argument entit� entit� exprime le contenu de proposition Reservation exp�rimente entit� a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16815-16826	classmate humain, humain and EducationalCourse collection processus and position temporel collection est une instance de GroupOfPeople processus est une instance de processus educationnel processus exprime le contenu de EducationalCourse collection est un patient de processus position temporel est une partie de temps d'existence de processus memberAtTime humain, collection and position temporel memberAtTime humain, collection and position temporel
No TPTP formula. May not be expressible in strict first order.	Music.kif 850-855	MakingMusic est MusicalInterpretationFn agent cognitif, musique and interval temporel MakingMusic exprime le contenu de musique interval temporel est temps d'existence de MakingMusic MakingMusic est un agent de agent cognitif
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21353-21360	hasExpertise humain and champ d'�tude processus proposition processus est une instance de apprendre processus est un agent de humain proposition est une instance de champ d'�tude processus exprime le contenu de proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13861-13868	Processus est une instance de CriminalAction formule proposition and proposition l'argument formule a la force modale de Law formule contient information proposition processus exprime le contenu de proposition consistent proposition and proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15966-15980	Collection est une instance de DramaticCast ContentBearingPhysical proposition and processus ContentBearingPhysical est une instance de FictionalText ContentBearingPhysical contient information proposition processus exprime le contenu de proposition AutonomousAgent AutonomousAgent est un membre de collection processus processus est une instance de DramaticActing processus est un agent de AutonomousAgent processus est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16630-16637	Proposition est une instance de EducationalCourse processus objet processus exprime le contenu de proposition processus est une instance de processus educationnel eventLocated processus and objet objet est une instance de �cole
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14953-14960	Physique est une instance de DramaticPlay physique a pour but entit� entit� entit� est une instance de DramaticActing physique contient information entit� entit� exprime le contenu de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14538-14544	ContentBearingPhysical est une instance de PerformanceProgram processus proposition ContentBearingPhysical contient information proposition processus exprime le contenu de proposition processus est une instance de Performance
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 16840-16845	Processus est une instance de raisonner proposition proposition est une instance de Argument processus exprime le contenu de proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14313-14319	ContentBearingPhysical est une instance de AudioRecording proposition processus ContentBearingPhysical contient information proposition processus exprime le contenu de proposition processus est une instance de son irradiant
No TPTP formula. May not be expressible in strict first order.	Music.kif 180-186	musicInterpretation MusicRecording and musique processus processus est une instance de MakingMusic processus exprime le contenu de musique record MusicRecording and processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14116-14120	Entit� a un attribute ActiveAgreement l'argument entit� entit� exprime le contenu de entit� a la force modale de Obligation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14182-14191	Proposition a un attribute PurchaseContract processus processusELLER and Agreement processus est une instance de vendre processus est un agent de processusELLER processus aboutit � Agreement processus exprime le contenu de proposition partyToAgreement proposition and processusELLER partyToAgreement proposition and Agreement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14197-14206	Proposition a un attribute ServiceContract ServiceProcess Agreement and proposition UST ServiceProcess est une instance de ServiceProcess ServiceProcess exprime le contenu de proposition serviceProvider ServiceProcess and Agreement serviceRecipient ServiceProcess and proposition UST partyToAgreement proposition and Agreement partyToAgreement proposition and proposition UST

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: