TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3579-3579
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15682-15683
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10433-10433
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10435-10435
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9891-9891
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10434-10434
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15681-15681	Artefact est une sous-classe de objet

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3388-3388	NaturalSatellite est disjoint de artefact
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14356-14356	Organisme est disjoint de artefact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6991-6991	AnimalResidence est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1609-1609	Armor est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15839-15839	Objet d'art est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5686-5686	Bandage est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4049-4049	BedFrame est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4122-4122	BedLinen est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4741-4741	BoardOrBlock est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4250-4250	BoatDeck est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4382-4382	Chain est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4424-4424	ChainLink est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15939-15939	Appareil est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3353-3353	DisplayArtifact est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26387-26387	Document est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order.	Cars.kif 307-307	EngineCylinder est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15879-15879	Textile est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3690-3690	Furniture est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16976-16976	GameArtifact est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26477-26477	GrabBar est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4689-4689	InteriorVehicleEquipment est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5701-5701	IrrigationChannel est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15109-15109	Ladder est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1501-1501	Mast est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4029-4029	Mattress est une sous-classe de artefact

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.	engineering.kif 1205-1205	Le nombre 2 argument de engineers est une instance de artefact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24324-24324	Le nombre 1 argument de equipmentType est une instance de artefact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1735-1735	Le nombre 2 argument de powerComponent est une instance de artefact
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3925-3925	Le nombre 1 argument de thirdPartyProduct est une instance de artefact
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15705-15705	Le nombre 1 argument de version est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15706-15706	Le nombre 2 argument de version est une sous-classe de artefact

antecedent

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

Merge.kif 15685-15690

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

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31018-31023	memberMeasure classe, MeasurementAttribute and quantit� classe est une instance de classe entit� est une instance de classe entit� est une instance de artefact
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.	Merge.kif 12817-12822	Processus est une instance de faire entit� entit� est une instance de artefact entit� est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13233-13239	Physique est une instance de Blueprint physique a pour but entit� entit� est une instance de artefact physique d�finie entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6858-6865	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 4607-4620	Physique est une instance de Wickering physique a pour but physiqueICK entit�, physiqueARP and physiqueEFT physiqueICK est une instance de Wicker physiqueICK est un patient de physique physiqueARP est une partie de physiqueICK physiqueEFT est une partie de physiqueICK physiqueARP traverse physiqueEFT physiqueARP est physiqueEFT 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 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 27015-27020	Processus est une instance de ArtifactMediatedCommunication objet objet est une instance de artefact objet est un instrument pour processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26739-26748	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 26229-26243	Physique est une instance de MultimediaProjector physique a pour but entit� entit� and entit� entit� est une instance de lumi�re irradiante physique est un instrument pour entit� entit� est un patient de entit� entit� est une instance de VideoRecording entit� est une instance de Image entit� aboutit � entit� entit� est une instance de artefact Flat est un attribut de entit� physique est connect� � entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26719-26732	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 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: