TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1603-1605
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1103-1106
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 182-184
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 216-219
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1847-1847
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1179-1179
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1101-1101	M�tal est une sous-classe de substance �l�mentaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1788-1788	industryProductType MetallurgyIndustry and m�tal
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 820-820
No TPTP formula. May not be expressible in strict first order.	english_format.kif 842-842
No TPTP formula. May not be expressible in strict first order.	french_format.kif 496-496
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 29-29
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 32-32
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2181-2181
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 448-448
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 33-33
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 63-63
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 517-517
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 33-33

antecedent

No TPTP formula. May not be expressible in strict first order.

Cars.kif 4089-4121

Objet est une instance de BimetalTemperatureSensor objet est une instance de m�tal objet est une instance de m�tal objet est objet objet est une partie de objet objet est une partie de objet entit� est une instance de mesure de temperature entit� est une instance de mesure de temperature nombre r�el est une instance de mesure de longueur nombre r�el est une instance de mesure de longueur nombre r�el est une instance de mesure de longueur nombre r�el est une instance de mesure de longueur entit� est entit� position temporel est position temporel la mesure de objet est entit� la mesure de objet est nombre r�el la mesure de objet est nombre r�el pendant position temporel la mesure de objet est entit� la mesure de objet est nombre r�el la mesure de objet est nombre r�el pendant position temporel
nombre r�el + nombre r�el est nombre r�el + nombre r�el

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 4225-4241	Collection est une instance de organisation FabricatedMetalProductManufacturing est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent entit� processus2 and AutonomousAgent2 AutonomousAgent est une instance de manufacture entit� est une instance de m�tal entit� est un patient de AutonomousAgent processus2 est un membre de collection AutonomousAgent2 est une instance de vendre AutonomousAgent2 est un agent de processus2 entit� est un patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	naics.kif 3690-3708	Collection est une instance de organisation NonmetallicMineralProductManufacturing est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent entit� processus2 and AutonomousAgent2 AutonomousAgent est une instance de manufacture entit� est une instance de m�tal entit� est une instance de substance pure entit� est un patient de AutonomousAgent processus2 est un membre de collection AutonomousAgent2 est une instance de vendre AutonomousAgent2 est un agent de processus2 entit� est un patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	naics.kif 3943-3959	Collection est une instance de organisation PrimaryMetalManufacturing est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent entit� processus2 and AutonomousAgent2 AutonomousAgent est une instance de manufacture entit� est une instance de m�tal entit� est un patient de AutonomousAgent processus2 est un membre de collection AutonomousAgent2 est une instance de vendre AutonomousAgent2 est un agent de processus2 entit� est un patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1041-1048	Objet corpusculaire est une instance de SnowSki substance est fait de objet corpusculaire substance est une sous-classe de m�tal substance est une sous-classe de Wood substance est une sous-classe de Plastic
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25956-25963	Objet corpusculaire est une instance de OutletAdapter collection collection est une instance de collection memberType collection and trou collection est une partie de objet corpusculaire m�tal est fait de objet corpusculaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8917-8925	Objet est une instance de MetallicAlloy objet objet objet est une instance de m�tal objet est une instance de m�tal objet est objet objet est une partie de objet objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1409-1411	Objet corpusculaire est une instance de BallBearing m�tal est fait de objet corpusculaire
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4078-4087	Objet est une instance de BimetalTemperatureSensor objet objet objet est une instance de m�tal objet est une instance de m�tal objet est une partie de objet objet est une partie de objet objet est objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30782-30784	Objet corpusculaire est une instance de Carabiner m�tal est fait de objet corpusculaire
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4437-4439	Objet corpusculaire est une instance de ChainLink m�tal est fait de objet corpusculaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3600-3605	Objet corpusculaire est une instance de CurrencyCoin substance substance est une sous-classe de m�tal substance est fait de objet corpusculaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25188-25194	Objet en une partie est une instance de FabricIron objet corpusculaire l' arri�re de objet en une partie est objet corpusculaire m�tal est fait de objet corpusculaire Flat est un attribut de objet corpusculaire
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6281-6288	Processus est une instance de ShrapnelExplosion objet transf�re objet est une instance de m�tal transf�re est une instance de Translocation processus cause transf�re objectTransferred transf�re and objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5652-5657	Objet est une instance de SolderingIron objet corpusculaire objet corpusculaire est une partie de objet m�tal est fait de objet corpusculaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3612-3614	Objet corpusculaire est une instance de Wire m�tal est fait de objet corpusculaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25923-25925	Objet corpusculaire est une instance de ElectricalPlug m�tal est fait de objet corpusculaire

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: