TreeView Knowledge Base Browser - CorpuscularObject

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

CorpuscularObject

Sigma KEE - CorpuscularObject

CorpuscularObject(objet corpusculaire )

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1227-1227	Objet corpusculaire est disjoint de substance
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1624-1625
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1228-1229
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 206-207
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 245-246
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1226-1226	Objet corpusculaire est une sous-classe de objet en une partie

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5000-5000	Bubble est une sous-classe de objet corpusculaire
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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5027-5027	Nest est une sous-classe de objet corpusculaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10118-10118	Organelle est une sous-classe de objet corpusculaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14346-14346	Objet organique est une sous-classe de objet corpusculaire
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1356-1356	RealEstate est une sous-classe de objet corpusculaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2612-2612	Sonar est une sous-classe de objet corpusculaire
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 830-830
No TPTP formula. May not be expressible in strict first order.	english_format.kif 862-862
No TPTP formula. May not be expressible in strict first order.	french_format.kif 506-506
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 38-38
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 41-41
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2191-2191
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 458-458
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 73-73
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 527-527
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 42-42

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 7578-7578	Le nombre 2 argument de AmountsFn est une instance de objet corpusculaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7593-7593	Le nombre 2 argument de amount est une instance de objet corpusculaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 967-967	Le nombre 1 argument de component est une instance de objet corpusculaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 968-968	Le nombre 2 argument de component est une instance de objet corpusculaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 979-979	Le nombre 2 argument de material est une instance de objet corpusculaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4811-4811	Le nombre 2 argument de sliceOfFigure est une instance de objet corpusculaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1242-1242	Le nombre 1 argument de substanceElement est une sous-classe de objet corpusculaire

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 1012-1026	Processus est une instance de Grinding entit� est un patient de processus entit� est une instance de objet corpusculaire entit� entit� est le resultat de processus entit� est une instance de collection entit� entit� est un membre de entit� entit� est une partie de entit� pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4287-4299	Objet est une instance de Reel processus est une instance de garder objet est une instance de objet corpusculaire LongAndThin est un attribut de objet Pliable est un attribut de objet objet est un instrument pour processus objet est un patient de processus objet objet est une partie de objet objet rencontre objet
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4301-4314	Objet est une instance de Reel processus est une instance de garder objet est une instance de objet corpusculaire LongAndThin est un attribut de objet Pliable est un attribut de objet objet est un instrument pour processus objet est un patient de processus processus processus est une instance de Rotating objet est un patient de processus processus est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1231-1239	Objet corpusculaire est une instance de objet corpusculaire substance substance substance est une sous-classe de substance substance est une sous-classe de substance substance est fait de objet corpusculaire substance est fait de objet corpusculaire substance est substance

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12369-12374	Processus est une instance de attacher entit� entit� est une instance de objet corpusculaire entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12417-12422	Processus est une instance de detacher entit� entit� est une instance de objet corpusculaire entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2843-2872	Physique est une instance de Gasket physique a pour but entit� entit� entit� est une instance de objet corpusculaire entit� est une instance de objet corpusculaire entit� rencontre physique entit� rencontre physique entit� entit�, entit� and entit� entit� est une instance de trou physique est h�te du trou entit� entit� est une instance de Translocation entit� est le chemin le long duquel entit� se produit entit� a pour origine entit� entit� aboutit � entit� entit� contient entit� entit� ne contient %n{pas} entit� entit� rencontre entit� entit�3 entit� contient entit�3 entit� ne contient %n{pas} entit�3 entit� ne contient %n{pas} entit�3
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 105-110	Processus est une instance de PhysicalGuiding entit� entit� est un patient de processus entit� est une instance de objet corpusculaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4285-4293	Physique est une instance de WasherForBolt physique a pour but entit� entit� entit� est une instance de objet corpusculaire entit� est une instance de AttachingDevice entit� rencontre physique physique contient entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4275-4285	Physique est une instance de Reel physique a pour but entit� entit� entit� est une instance de garder entit� est une instance de objet corpusculaire LongAndThin est un attribut de entit� Pliable est un attribut de entit� physique est un instrument pour entit� entit� est un patient de entit�

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