TreeView Knowledge Base Browser - ContentBearingObject

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1641-1643
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1331-1334
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 225-228
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 267-270
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1329-1329	Objet exprimant un sens est reli� � l'int�rieur de SUMO � containsInformation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1328-1328	Objet exprimant un sens est une sous-classe de ContentBearingPhysical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1327-1327	Objet exprimant un sens est une sous-classe de objet corpusculaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15510-15510	Les valeurs retourn�es par EditionFn sont des sous-classes de objet exprimant un sens
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4540-4540	Account est une sous-classe de objet exprimant un sens
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2261-2261	Compass est une sous-classe de objet exprimant un sens
No TPTP formula. May not be expressible in strict first order.	Government.kif 682-682	ConstitutionDocument est une sous-classe de objet exprimant un sens
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24526-24526	Descriptor est une sous-classe de objet exprimant un sens
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24543-24543	DescriptorPart est une sous-classe de objet exprimant un sens
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26386-26386	Document est une sous-classe de objet exprimant un sens
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 672-672	Feedback est une sous-classe de objet exprimant un sens
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14867-14867	HolidayCard est une sous-classe de objet exprimant un sens
No TPTP formula. May not be expressible in strict first order.	engineering.kif 381-381	MultipoleDiagram est une sous-classe de objet exprimant un sens
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17125-17125	PlayingCard est une sous-classe de objet exprimant un sens
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 554-554	ProcessState est une sous-classe de objet exprimant un sens
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1386-1386	Recording est une sous-classe de objet exprimant un sens
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14407-14407	SheetMusic est une sous-classe de objet exprimant un sens
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1106-1106	ShipRegister est une sous-classe de objet exprimant un sens
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1087-1087	ShipRegistration est une sous-classe de objet exprimant un sens
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17119-17119	Sign est une sous-classe de objet exprimant un sens
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.	QoSontology.kif 1674-1674	UniformResourceIdentifier est une sous-classe de objet exprimant un sens
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2035-2035	UserAccount est une sous-classe de objet exprimant un sens
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26211-26211	VisualContentBearingObject est une sous-classe de objet exprimant un sens
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1363-1363	WebDocument est une sous-classe de objet exprimant un sens
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 833-833
No TPTP formula. May not be expressible in strict first order.	english_format.kif 868-868

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.	FinancialOntology.kif 3499-3499	Le nombre 1 argument de cardCode est une instance de objet exprimant un sens
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2200-2200	Le nombre 1 argument de coding est une instance de objet exprimant un sens
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23321-23321	Le nombre 1 argument de deceptiveIdentifier est une instance de objet exprimant un sens
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22717-22717	Le nombre 1 argument de inventory est une instance de objet exprimant un sens
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14333-14333	Le nombre 1 argument de record est une instance de objet exprimant un sens
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14359-14359	Le nombre 1 argument de stored est une instance de objet exprimant un sens
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15508-15508	Le nombre 1 argument de EditionFn est une sous-classe de objet exprimant un sens
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15457-15457	Le nombre 2 argument de authors est une sous-classe de objet exprimant un sens

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1527-1533	Processus est une instance de OperationPlanning ContentBearingPhysical est le resultat de processus ContentBearingPhysical est une instance de objet exprimant un sens ContentBearingPhysical contient information proposition proposition est une instance de OperationPlan
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10840-10848	Processus est une instance de planifier ContentBearingPhysical est le resultat de processus ContentBearingPhysical est une instance de objet exprimant un sens proposition proposition est une instance de plan ContentBearingPhysical contient information proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10863-10870	Processus est une instance de Interpreting processus est un agent de AutonomousAgent entit� est un patient de processus entit� est une instance de objet exprimant un sens entit� AutonomousAgent croit entit� contient information entit� pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1535-1541	Proposition est une instance de OperationPlan ContentBearingPhysical contient information proposition ContentBearingPhysical est une instance de objet exprimant un sens ContentBearingPhysical est le resultat de processus processus est une instance de OperationPlanning
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1573-1580	Proposition est une instance de OperationPlan ContentBearingPhysical est une instance de objet exprimant un sens ContentBearingPhysical contient information proposition processus est une instance de MilitaryOperation ContentBearingPhysical est le resultat de processus proposition d�finie processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16802-16810	Proposition est une instance de plan ContentBearingPhysical est une instance de objet exprimant un sens ContentBearingPhysical contient information proposition proposition NING proposition NING est une instance de planifier ContentBearingPhysical est le resultat de proposition NING
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1812-1818	Processus est une instance de JointOperationPlanning ContentBearingPhysical est le resultat de processus ContentBearingPhysical est une instance de objet exprimant un sens ContentBearingPhysical contient information proposition proposition est une instance de OPLAN
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3025-3032	Proposition est une instance de proposition ContentBearingPhysical est une instance de objet exprimant un sens ContentBearingPhysical contient information proposition processus est une instance de communication ContentBearingPhysical est un patient de processus processus d�finie proposition
No TPTP formula. May not be expressible in strict first order.	Dining.kif 244-253	Objet est une instance de objet exprimant un sens Braille est un attribut de objet objet objet est une instance de humain Blind est un attribut de objet objet est capable de faire Interpreting dans le r�le agent objet est capable de faire Interpreting dans le r�le patient

consequent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 240-242	Braille est un attribut de objet objet est une instance de objet exprimant un sens
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3356-3366	Physique est une instance de DisplayArtifact physique a pour but entit� entit� and entit� entit� est une instance de mettre entit� est une instance de disseminer entit� est une instance de objet exprimant un sens entit� est un patient de entit� entit� est un patient de entit� entit� aboutit � physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12675-12680	Processus est une instance de d�veloppement de contenu entit� entit� est une instance de objet exprimant un sens entit� est le resultat de processus
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

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: