TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3217-3218
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12836-12837
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12834-12834	Faire est une sous-classe de cr�ation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12835-12835	Faire est une sous-classe de processus intentionnel

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20788-20788	Carpentry est une sous-classe de faire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12846-12846	Construire est une sous-classe de faire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12883-12883	Cuisiner est une sous-classe de faire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20411-20411	Copying est une sous-classe de faire
No TPTP formula. May not be expressible in strict first order.	WMD.kif 703-703	DeliveringWeaponOfMassDestruction est une sous-classe de faire
No TPTP formula. May not be expressible in strict first order.	WMD.kif 686-686	DevelopingWeaponOfMassDestruction est une sous-classe de faire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12863-12863	Manufacture est une sous-classe de faire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26313-26313	Photocopying est une sous-classe de faire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3276-3276	Sculpting est une sous-classe de faire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4624-4624	Weaving est une sous-classe de faire
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1185-1185
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1587-1587
No TPTP formula. May not be expressible in strict first order.	french_format.kif 863-863
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 395-395
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 398-398
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2547-2547
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 815-815
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 400-400
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 434-434
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 884-884
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 399-399

appearance as argument number 3

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

Merge.kif 18393-18393

Le nombre 1 argument de MakingFn est une sous-classe de faire

antecedent

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

Merge.kif 12839-12844

Processus est une instance de faire
entit� entit� est une instance de artefact entit� est le resultat de processus

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16765-16775	Objet est une instance de ArtSchool processus est une instance de processus educationnel eventLocated processus and objet processus entit� processus est une instance de faire entit� est un patient de processus entit� est une instance de objet d'art processus inclut une r�f�rence � processus
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1607-1617	AutonomousAgent est une instance de organisation IndustryAttribute est un attribut de AutonomousAgent industryProductType IndustryAttribute and objet processus entit� processus est une instance de faire entit� est une instance de objet processus est un agent de AutonomousAgent entit� est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20866-20873	Potter est un attribut de AutonomousAgent processus entit� entit� est une instance de Pottery processus est une instance de faire processus est un agent de AutonomousAgent entit� est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Biography.kif 436-465	AeronauticalEngineer est un attribut de AutonomousAgent processus AutonomousAgent a la capacit� de faire processus processus processus est une instance de processus processus entit� and processusT processus est une instance de faire entit� est une instance de Aircraft entit� est une instance de processusT typicalPart processusT and Aircraft entit� est le resultat de processus processus est un sous-processus de processus processus processusLAN, entit� and processusT processus est une instance de Designing entit� est une instance de Aircraft entit� est une instance de processusT typicalPart processusT and Aircraft processusLAN est le resultat de processus processusLAN d�finie entit� processus est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5747-5767	MeanOfProduction est un attribut de objet objet a pour but entit� entit� entit� est une instance de faire involvedInEvent entit� and objet objet est le resultat de entit� entit� est une instance de artefact entit� est le resultat de entit� entit� a pour but entit� entit� est une instance de vendre entit� est un patient de entit� entit� entit� est une instance de CommercialService involvedInEvent entit� and objet
No TPTP formula. May not be expressible in strict first order.	Dining.kif 883-896	contestObject affrontement, objet and AutonomousAgent contestParticipant affrontement and AutonomousAgent processus AutonomousAgent, processus and entit� processus est une instance de faire objet est le resultat de processus processus est un agent de AutonomousAgent processus est une instance de Judging processus est un agent de AutonomousAgent objet est un patient de processus subjectiveAttribute objet, entit� and AutonomousAgent est le resultat de processus processus est un sous-processus de affrontement
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15707-15712	Entit� est une instance de artefact processus processus est une instance de faire entit� est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5452-5459	Entit� est une instance de CottonFabric processus objet processus est une instance de faire objet est une resource pour processus objet est une instance de Cotton entit� est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20402-20409	Entit� est une instance de Hay processus objet processus est une instance de faire objet est une resource pour processus objet est une instance de Grass entit� est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5377-5384	Entit� est une instance de Leather processus objet processus est une instance de faire objet est une resource pour processus objet est une instance de Skin entit� est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4227-4235	Physique est une instance de MechanicalDie physique a pour but entit� entit� entit� est une instance de faire entit� est une instance de MechanicalNut physique est un instrument pour entit� entit� est le resultat de entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4213-4221	Physique est une instance de MechanicalTap physique a pour but entit� entit� entit� est une instance de faire entit� est une instance de Bolt physique est un instrument pour entit� entit� est le resultat de entit�
No TPTP formula. May not be expressible in strict first order.	Dining.kif 51-62	AutonomousAgent est une instance de Brewpub processus entit� and processus processus est une instance de faire entit� est le resultat de processus entit� est une instance de Beer processus est un agent de AutonomousAgent processus est une instance de CommercialService processus est un agent de AutonomousAgent processus est une instance de vendre entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5390-5399	Entit� est une instance de Silk processus objet and objet processus est une instance de faire entit� est le resultat de processus objet est une resource pour processus objet est une partie de objet objet est une instance de insecte Larval est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6857-6864	Physique est une instance de Workshop physique a pour but entit� entit� entit� est une instance de faire entit� est le resultat de entit� entit� est une instance de artefact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6732-6739	Physique est une instance de ArtStudio physique a pour but entit� entit� entit� est une instance de faire entit� est le resultat de entit� entit� est une instance de objet d'art
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5404-5413	Entit� est une instance de Wool processus objet and objet processus est une instance de faire entit� est le resultat de processus objet est une resource pour processus objet est une partie de objet objet est une instance de Hair objet est une instance de Sheep
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3562-3572	Entit� est une instance de Paper processus objet and processus processus est une instance de faire objet est une instance de Cellulose processus est une instance de Compressing objet est une resource pour processus entit� est le resultat de processus processus est un sous-processus de processus objet est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Food.kif 331-348	Objet est une instance de WetBar objet objet objet est une instance de WashBasin objet est une partie de objet objet est une instance de objet Flat est un attribut de objet objet a pour but entit� entit� entit� est une instance de faire entit� est le resultat de entit� entit� est une instance de PreparedFood entit� est une instance de boisson eventLocated entit� and objet objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3932-3939	thirdPartyProduct artefact, organisation and AutonomousAgent processus processus est une instance de faire processus est un agent de organisation artefact est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 725-735	yearBuilt objet and ann�e interval temporel processus interval temporel est une instance de ann�e processus est une instance de faire objet est le resultat de processus la fin de temps d'existence de processus est entre ou pendant le d�but de interval temporel et la fin de interval temporel

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: