Putting - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3035-3036
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11447-11449
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1803-1804
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2983-2983
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11445-11445	Mettre est une sous-classe de transf�re

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12395-12395	Attacher est reli� � l'int�rieur de SUMO � mettre
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10928-10928	Augmenter est reli� � l'int�rieur de SUMO � mettre
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18020-18020	Burying est une sous-classe de mettre
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5479-5479	Concealing est une sous-classe de mettre
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11460-11460	Couvrir est une sous-classe de mettre
No TPTP formula. May not be expressible in strict first order.	WMD.kif 676-676	DeployingWeaponOfMassDestruction est une sous-classe de mettre
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19641-19641	Diluting est une sous-classe de mettre
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5494-5494	Dressing est une sous-classe de mettre
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18064-18064	Entombing est une sous-classe de mettre
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11466-11466	Inserting est une sous-classe de mettre
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17914-17914	Installing est une sous-classe de mettre
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2977-2977	Lubricating est une sous-classe de mettre
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2577-2577	Planting est une sous-classe de mettre
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2923-2923	Siltation est une sous-classe de mettre
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12793-12793	Mouiller est une sous-classe de mettre
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1122-1122
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1461-1461
No TPTP formula. May not be expressible in strict first order.	french_format.kif 800-800
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 332-332
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 335-335
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2484-2484
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 752-752
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 337-337
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 371-371

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.

WMD.kif 581-581

biochemicalAgentAntidote Soman, PyridostigmineBromide and mettre

antecedent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4384-4399	Processus est une instance de mettre entit� est un patient de processus entit� est une instance de Spice processus aboutit � objet objet est une instance de PreparedFood processus attribut processus est une instance de changement interne objet est un patient de processus attribut est le resultat de processus attribut est un attribut de objet attribut est une instance de FlavourAttribute attribut est une instance de attribut de couleur
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11451-11458	Processus est une instance de mettre processus aboutit � entit� entit� est un patient de processus entit� est situ� � entit� pendant le d�but de temps d'existence de processus entit� est situ� � entit� pendant la fin de temps d'existence de processus

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12224-12234	Processus est une instance de garder processus est un agent de AutonomousAgent entit� est un patient de processus processus processus est une instance de mettre processus est un agent de AutonomousAgent entit� est un patient de processus temps d'existence de processus arrive plus t�t que temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 51-63	Physique est une instance de DisabledParking AutonomousAgent est une instance de humain attribut est un attribut de AutonomousAgent attribut est une instance de Disability physique a le but entit� entit� entit� est une instance de mettre playsRoleInEvent physique, destination and entit� playsRoleInEvent entit�, patient and entit� entit� est une instance de v�hicule de transport pour AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 136-145	Valet est un attribut de objet objet a pour but entit� est une instance de Vehicle entit� est une instance de mettre entit� aboutit � entit� entit� est une instance de ParkingRegion entit� est un patient de entit� entit� est un agent de objet
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1322-1326	diseaseMedicine maladie ou syndrome, Bacitracin and processus maladie ou syndrome est une instance de BacterialDisease processus est une sous-classe de mettre
No TPTP formula. May not be expressible in strict first order.	Food.kif 84-94	Processus est une instance de CuringFood entit� processus and entit� entit� est une instance de nourriture entit� est un patient de processus processus est une instance de mettre processus est un sous-processus de processus entit� est une instance de SodiumChloride entit� est un patient de processus processus aboutit � entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3349-3359	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.	WMD.kif 707-718	Processus est une instance de DeliveringWeaponOfMassDestruction processus entit� and entit� processus est une instance de mettre processus est un sous-processus de processus entit� est une instance de WeaponOfMassDestruction entit� est une instance de arme entit� est une instance de WeaponOfMassDestruction entit� est un patient de processus processus aboutit � entit�
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1046-1059	Entit� est une instance de VaccinatableDisease entit� entit� and processus entit� est une instance de Vaccine processus est une instance de mettre processus aboutit � entit� entit� est une instance de humain l'argument entit� est un attribut de entit� pendant apr�s temps d'existence de processus a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3003-3011	Physique est une instance de GreaseFitting physique a pour but entit� entit� entit� est une instance de Grease entit� est une instance de mettre physique est le chemin le long duquel entit� se produit objectTransferred entit� and entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3019-3027	Physique est une instance de GreaseGun physique a pour but entit� entit� entit� est une instance de Grease entit� est une instance de mettre physique est un instrument pour entit� objectTransferred entit� and entit�
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4642-4651	Processus est une instance de OrganTransplant entit� objet and transf�re entit� est une instance de animal objet est une instance de organe transf�re est une instance de mettre transf�re est un sous-processus de processus objectTransferred transf�re and objet transf�re aboutit � entit�
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 36-44	Physique est une instance de ParkingRegion physique a pour but entit� entit� entit� est une instance de mettre playsRoleInEvent physique, destination and entit� playsRoleInEvent entit�, patient and entit� entit� est une instance de v�hicule de transport
No TPTP formula. May not be expressible in strict first order.	Food.kif 226-235	Objet est une instance de SparklingWater processus entit� and objet processus est une instance de mettre entit� est une instance de DrinkingWater processus aboutit � objet objet est une instance de CarbonDioxide objet est le resultat de processus objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4374-4382	Physique est une instance de Spice physique a pour but entit� entit� entit� est une instance de mettre physique est un patient de entit� entit� aboutit � entit� entit� est une instance de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11500-11512	Processus est une instance de remplacer processus processus, entit�, entit� and objet processus est une instance de mettre processus est une instance de supprimer processus est un sous-processus de processus processus est un sous-processus de processus entit� est un patient de processus processus a pour origine objet entit� est un patient de processus processus aboutit � objet entit� est entit�
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3669-3676	Entit� est une instance de ATMSlot processus entit� processus est une instance de mettre entit� est un patient de processus entit� est une instance de BankCard processus aboutit � entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4860-4870	Physique est une instance de TireChanger physique a pour but entit� entit� and entit� entit� est une instance de mettre entit� est une instance de Tire entit� est une instance de WheelRim entit� aboutit � entit� objectTransferred entit� and entit� physique est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26772-26781	Physique est une instance de Easel physique a pour but entit� entit� entit� est une instance de artefact Flat est un attribut de entit� entit� est une instance de mettre entit� est un patient de entit� entit� aboutit � physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26752-26765	Physique est une instance de Tripod physique a pour but entit� entit� and entit� entit� est une instance de artefact entit� est une instance de mettre entit� est un patient de entit� entit� aboutit � physique entit� est une instance de processus entit� est un instrument pour entit� la fin de temps d'existence de entit� se produit avant le d�but de temps d'existence de entit�

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: