Substance - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1587-1590
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1045-1051
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 165-169
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 194-199
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 917-917
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1042-1042	Substance est compl�tement d�compos� en substance pure + mixture
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1043-1043	Substance est compl�tement d�compos� en SyntheticSubstance + NaturalSubstance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1041-1041	Substance 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.	Merge.kif 1227-1227	Objet corpusculaire est disjoint de substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14693-14693	Substance biologique active est une sous-classe de substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14828-14828	Substance corporel est une sous-classe de substance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2477-2477	ChemicalAcid est une sous-classe de substance
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1281-1281	ConductorSubstance est une sous-classe de substance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3793-3793	Creatinine est une sous-classe de substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7110-7110	Crystal est une sous-classe de substance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3082-3082	DrugCandidate est une sous-classe de substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2664-2664	Effluent est une sous-classe de substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2556-2556	Electricity est une sous-classe de substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17861-17861	ExplosiveSubstance est une sous-classe de substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1693-1693	Fuel est une sous-classe de substance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4750-4750	GumArabic est une sous-classe de substance
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1286-1286	InsulatorSubstance est une sous-classe de substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7488-7488	LiquidDrop est une sous-classe de substance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2981-2981	Lubricant est une sous-classe de substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14333-14333	Mineral est une sous-classe de substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1182-1182	Mixture est une sous-classe de substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1080-1080	NaturalSubstance est une sous-classe de substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2762-2762	NoxiousSubstance est une sous-classe de substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8949-8949	Powder est une sous-classe de substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1084-1084	Substance pure est une sous-classe de substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17903-17903	Rock est une sous-classe de substance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4158-4158	Sugar est une sous-classe de substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8821-8821	Surfactant est une sous-classe de substance

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.	VirusProteinAndCellPart.kif 255-255	Le nombre 2 argument de catalyst est une instance de substance
No TPTP formula. May not be expressible in strict first order.	Food.kif 1241-1241	Le nombre 1 argument de mixtureRatio est une instance de substance
No TPTP formula. May not be expressible in strict first order.	Food.kif 1242-1242	Le nombre 2 argument de mixtureRatio est une instance de substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 951-951	Le nombre 1 argument de piece est une instance de substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 952-952	Le nombre 2 argument de piece est une instance de substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8796-8796	Le nombre 2 argument de reactant est une instance de substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8803-8803	Le nombre 2 argument de reagent est une instance de substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7577-7577	Le nombre 1 argument de AmountsFn est une sous-classe de substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6224-6224	Le nombre 2 argument de allergic est une sous-classe de substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7592-7592	Le nombre 1 argument de amount est une sous-classe de substance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 225-225	Le nombre 2 argument de concentration est une sous-classe de substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4286-4286	Le nombre 2 argument de groundSubsurfaceType est une sous-classe de substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4279-4279	Le nombre 2 argument de groundSurfaceType est une sous-classe de substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1213-1213	Le nombre 1 argument de ingredient est une sous-classe de substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1214-1214	Le nombre 2 argument de ingredient est une sous-classe de substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 978-978	Le nombre 1 argument de material est une sous-classe de substance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5858-5858	Le nombre 1 argument de mixturePartType est une sous-classe de substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31671-31671	Le nombre 1 argument de roomTempState est une sous-classe de substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1243-1243	Le nombre 2 argument de substanceElement est une sous-classe de substance

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7142-7162	Objet est une instance de Crystal MonoCrystalline est un attribut de objet objet en une partie est une instance de substance Solid est un attribut de objet en une partie PolyCrystalline est un attribut de objet en une partie objet en une partie est une instance de substance objet en une partie est une surface de objet en une partie objet est une partie de objet en une partie objetLNT nombre entier and objet objetLNT est une instance de collection memberCount objetLNT and nombre entier nombre entier est plus grand ou �gal � 4 objet est un membre de objetLNT objet est une partie de objet en une partie objet rencontre objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1060-1065	Substance est une instance de substance attribut est un attribut de substance substance est une pi�ce de substance attribut est un attribut de substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7380-7392	Objet est une instance de substance Insoluble est un attribut de objet l'argument entit� entit� entit� est une instance de substance entit� est une instance de solution objet est une pi�ce de entit� entit� est une pi�ce de entit� n' %n{pas} la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7352-7363	Objet est une instance de substance Soluble est un attribut de objet l'argument entit� entit� entit� est une instance de substance entit� est une instance de solution objet est une pi�ce de entit� entit� est une pi�ce de entit� a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17616-17623	Objet est une instance de substance Gas est un attribut de objet Liquid est un attribut de objet Plasma est un attribut de objet Fluid est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1053-1058	Classe est une sous-classe de substance substance est une instance de classe substance est une pi�ce de substance substance est une instance de classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17591-17596	Objet est une instance de substance attribut attribut est une instance de �tat physique attribut est un attribut de objet

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17598-17602	Attribut est une instance de �tat physique attribut est un attribut de objet objet est une instance de substance
No TPTP formula. May not be expressible in strict first order.	Food.kif 3199-3211	Processus est une instance de Curdling substance est un patient de processus substance est une instance de Colloid processus substance processus est une instance de separer processus est un sous-processus de processus substance est un patient de processus substance est le resultat de processus substance est une pi�ce de substance substance est une instance de substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7497-7509	Objet en une partie est une instance de LiquidDrop objet en une partie est une surface de objet en une partie l'argument objet en une partieS entit� entit� est une instance de substance Liquid est un attribut de entit� objet en une partie est entit� objet en une partieS est une surface de entit� objet en une partie rencontre objet en une partieS a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	naics.kif 8465-8488	Collection est une instance de organisation PipelineTransportation est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent agent cognitif AutonomousAgent est une instance de vendre agent cognitif est une instance de humain agent cognitif est un patient de AutonomousAgent processus autorise agent cognitif � ex�cut� des t�ches du type entit� entit�, entit� and agent cognitifIPE entit� est une instance de transporter agent cognitif poss�de entit� entit� est un patient de entit� entit� est une instance de substance collection poss�de entit� agent cognitifIPE est un instrument pour entit� agent cognitifIPE est une instance de Pipeline
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7380-7392	Objet est une instance de substance Insoluble est un attribut de objet l'argument entit� entit� entit� est une instance de substance entit� est une instance de solution objet est une pi�ce de entit� entit� est une pi�ce de entit� n' %n{pas} la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7352-7363	Objet est une instance de substance Soluble est un attribut de objet l'argument entit� entit� entit� est une instance de substance entit� est une instance de solution objet est une pi�ce de entit� entit� est une pi�ce de entit� a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4570-4585	Physique est une instance de Colander physique a pour but entit� entit�, entit� and entit� entit� est une instance de mixture entit� est une instance de substance entit� est une partie de entit� Liquid est un attribut de entit� entit� est une instance de supprimer entit� est un patient de entit� entit� est une instance de substance entit� est une partie de entit� Solid est un attribut de entit� entit� est le resultat de entit� physique est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8847-8856	Physique est une instance de Detergent physique a pour but entit� entit�, entit� and entit� entit� est une instance de supprimer entit� est une instance de substance entit� est un patient de entit� entit� a pour origine entit� entit� est une surface de entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3057-3066	Physique est une instance de Hydrometer physique a pour but entit� entit� entit� est une instance de mesurer entit� est une instance de substance Liquid est un attribut de entit� entit� est un patient de entit� physique est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3614-3630	Physique est une instance de Inflating objet objet, nombre r�el, nombre r�el, classe and entit� objet est une instance de classe objet est une instance de classe classe est une instance de substance Gas est un attribut de objet Gas est un attribut de objet entit� est une instance de UnitOfVolume la mesure de objet est nombre r�el entit�(s) pendant immediatement avant temps d'existence de physique la mesure de objet est nombre r�el entit�(s) pendant immediatement apr�s temps d'existence de physique nombre r�el est plus grand que nombre r�el
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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3262-3273	Physique est une instance de PaintingDevice physique a pour but entit� entit�, entit� and entit� entit� est une instance de substance entit� est une instance de couvrir entit� est une instance de objet entit� est une surface de entit� entit� est un agent de physique entit� est un instrument pour entit� entit� est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17537-17548	Processus est une instance de Pouring objet objet and entit� processus a pour origine objet processus aboutit � entit� objet est une instance de Container entit� est une instance de Container objet est entit� objet est un patient de processus Liquid est un attribut de objet objet est une instance de substance
No TPTP formula. May not be expressible in strict first order.	Food.kif 248-258	Entit� est une instance de PurifiedWater processus objet and objet processus est une instance de supprimer processus a pour origine objet objet est une instance de eau objet est un patient de processus objet est une instance de substance objet est une partie de objet entit� est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Food.kif 260-266	Objet est une instance de PurifiedWater objet objet est une partie de objet objet est une instance de substance
No TPTP formula. May not be expressible in strict first order.	Food.kif 2068-2074	Objet est une instance de Sauce objet objet est une instance de substance objet est une partie de objet Liquid est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4528-4543	Physique est une instance de Sieve physique a pour but entit� entit�, physiqueUB, entit� and entit� entit� est une instance de supprimer entit� est une instance de mixture physiqueUB est une instance de substance physiqueUB est une partie de entit� physiqueUB est un patient de entit� entit� est une partie de physique entit� est un instrument pour entit� entit� est une instance de humain entit� est un agent de entit� entit� ne desire %n{pas} physiqueUB
No TPTP formula. May not be expressible in strict first order.	Cars.kif 424-432	Processus est une instance de Spark entit� objet entit� est une instance de Electricity entit� est un patient de processus objet est une instance de substance Gas est un attribut de objet eventLocated processus and objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4549-4564	Physique est une instance de Strainer physique a pour but entit� physiqueUB, entit� and entit� entit� est une instance de mixture physiqueUB est une instance de substance entit� est une instance de substance physiqueUB est une partie de entit� Solid est un attribut de physiqueUB entit� est une instance de supprimer entit� est une partie de entit� Liquid est un attribut de entit� physiqueUB est un patient de entit� entit� est le resultat de entit� physique est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9545-9556	Physique est une instance de PlantStem physique a pour but entit� entit� and entit� entit� est une instance de transf�re physique est un instrument pour entit� entit� est une instance de PlantRoot entit� a pour origine entit� entit� est une instance de substance Fluid est un attribut de entit� objectTransferred entit� and entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1072-1078	Entit� est une instance de SyntheticSubstance processus processus est une instance de processus intentionnel entit� est le resultat de processus entit� est une instance de substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4626-4640	Physique est une instance de Weaving physique a pour but entit� entit�, entit� and entit� entit� est une instance de substance Pliable est un attribut de entit� entit� est un patient de physique entit� est une partie de entit� entit� est une partie de entit� entit� est entit� entit� est RightAngle � entit� entit� est le resultat de physique entit� est une instance de artefact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21852-21857	Processus est une instance de ChemicalAttack objet objet est une instance de substance objet est un instrument pour processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21574-21583	Entit� est une instance de Emulsion objet objet objet est une instance de substance objet est une instance de substance Liquid est un attribut de objet Liquid est un attribut de objet objet est objet

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: