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 15704-15705
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 15703-15703	Artefato e' uma sub-classe de Objeto

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3388-3388	NaturalSatellite e' disjunto de Artefato
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14378-14378	Organismo e' disjunto de Artefato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6990-6990	AnimalResidence e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1609-1609	Armor e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15861-15861	Objeto de Arte e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5685-5685	Bandage e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4049-4049	BedFrame e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4122-4122	BedLinen e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4741-4741	BoardOrBlock e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4250-4250	BoatDeck e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4390-4390	Chain e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4432-4432	ChainLink e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15961-15961	Aparelho e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3353-3353	DisplayArtifact e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26375-26375	Document e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order.	Cars.kif 307-307	EngineCylinder e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15901-15901	Tecido e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3690-3690	Furniture e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16975-16975	GameArtifact e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26465-26465	GrabBar e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4697-4697	InteriorVehicleEquipment e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5701-5701	IrrigationChannel e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15108-15108	Ladder e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1501-1501	Mast e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4029-4029	Mattress e' uma sub-classe de Artefato

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	O argumento numero 2 de engineers e' uma instancia de Artefato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24323-24323	O argumento numero 1 de equipmentType e' uma instancia de Artefato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1735-1735	O argumento numero 2 de powerComponent e' uma instancia de Artefato
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3925-3925	O argumento numero 1 de thirdPartyProduct e' uma instancia de Artefato
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15727-15727	O argumento numero 1 de version e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15728-15728	O argumento numero 2 de version e' uma sub-classe de Artefato

antecedent

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

Merge.kif 15707-15712

Entidade e' uma instancia de Artefato
Processo Processo e' uma instancia de Fazer Entidade e' o resultado de Processo

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31006-31011	memberMeasure Classe, MeasurementAttribute and Quantidade Classe e' uma instancia de Classe Entidade e' uma instancia de Classe Entidade e' uma instancia de Artefato
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5747-5767	MeanOfProduction e' um atributo de Objeto Objeto tem por fim Entidade Entidade Entidade e' uma instancia de Fazer involvedInEvent Entidade and Objeto Objeto e' o resultado de Entidade Entidade e' uma instancia de Artefato Entidade e' o resultado de Entidade Entidade tem por fim Entidade Entidade e' uma instancia de Vender Entidade e' um patient de Entidade Entidade Entidade e' uma instancia de CommercialService involvedInEvent Entidade and Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12839-12844	Processo e' uma instancia de Fazer Entidade Entidade e' uma instancia de Artefato Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13232-13238	Fisico e' uma instancia de Blueprint Fisico tem por fim Entidade Entidade e' uma instancia de Artefato Fisico define Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6857-6864	Fisico e' uma instancia de Workshop Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Fazer Entidade e' o resultado de Entidade Entidade e' uma instancia de Artefato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4607-4620	Fisico e' uma instancia de Wickering Fisico tem por fim FisicoICK Entidade, FisicoARP and FisicoEFT FisicoICK e' uma instancia de Wicker FisicoICK e' um patient de Fisico FisicoARP e' uma &parte de FisicoICK FisicoEFT e' uma &parte de FisicoICK FisicoARP traversa FisicoEFT FisicoARP e' igual a FisicoEFT Entidade e' o resultado de Fisico Entidade e' uma instancia de Artefato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4626-4640	Fisico e' uma instancia de Weaving Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Substancia Pliable e' um atributo de Entidade Entidade e' um patient de Fisico Entidade e' uma &parte de Entidade Entidade e' uma &parte de Entidade Entidade e' igual a Entidade Entidade e' RightAngle em relacao a Entidade Entidade e' o resultado de Fisico Entidade e' uma instancia de Artefato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27003-27008	Processo e' uma instancia de ArtifactMediatedCommunication Objeto Objeto e' uma instancia de Artefato Objeto e' um instrumento para Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26727-26736	Fisico e' uma instancia de Easel Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Artefato Flat e' um atributo de Entidade Entidade e' uma instancia de Colocar Entidade e' um patient de Entidade Entidade termina em Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26217-26231	Fisico e' uma instancia de MultimediaProjector Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Luz Irradiante Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de VideoRecording Entidade e' uma instancia de Image Entidade termina em Entidade Entidade e' uma instancia de Artefato Flat e' um atributo de Entidade Fisico e' conectado com Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26707-26720	Fisico e' uma instancia de Tripod Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Artefato Entidade e' uma instancia de Colocar Entidade e' um patient de Entidade Entidade termina em Fisico Entidade e' uma instancia de Processo Entidade e' um instrumento para Entidade o fim de tempo de existencia de Entidade comeca antes de o comeco de tempo de existencia de Entidade

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: