No TPTP formula. May not be expressible in strict first order.	Medicine.kif 359-365	Healthy e' um atributo de Mamifero restingBreathingRate Mamifero and Numero Inteiro Numero Inteiro e' maior ou igual a 12 16 e' maior ou igual a Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 204-223	Muslim e' um atributo de AutonomousAgent valor da propriedade de AutonomousAgent e' igual a Medida de Divisa o argumento Entidade Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Zakat Entidade e' uma instancia de Ano Entidade acontece durante tempo de existencia de AutonomousAgent FullyFormed e' um atributo de AutonomousAgent vale durante Entidade Entidade e' um agente de AutonomousAgent Entidade e' um patient de Entidade o valor de Entidade e' Entidade Entidade(s) Entidade e' uma instancia de UnitOfCurrency Entidade e' maior que Medida de Divisa + 0.025 tem a forca modal de Obligation
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3984-4004	ADHD e' um atributo de AutonomousAgent ADHD e' um atributo de AutonomousAgent AutonomousAgent e' igual a AutonomousAgent Processo e' uma instancia de Classe Processo e' uma instancia de Classe Classe e' uma sub-classe de Processo Psicologico Intencional Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent a duracao de tempo de existencia de Processo e' Duracao Temporal a duracao de tempo de existencia de Processo e' Duracao Temporal o argumento Duracao Temporal e' maior que Duracao Temporal tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30108-30115	Inhabited e' um atributo de Objeto Objeto e' uma instancia de Regiao Organismo Organismo e' uma instancia de Humano Organismo vive em Objeto
No TPTP formula. May not be expressible in strict first order.	People.kif 795-799	Atributo e' um atributo de Objeto Atributo e' uma instancia de Christian Objeto e' membro de Christianity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 299-303	Atributo e' um atributo de Objeto Atributo e' uma instancia de ListingAttribute Objeto e' uma instancia de WebListing
No TPTP formula. May not be expressible in strict first order.	Music.kif 408-419	DemoRecording e' um atributo de Objeto Objeto e' uma instancia de Recording Objeto tem por fim Entidade Entidade and ObjetoUSIC Entidade e' uma instancia de Demonstrating record Objeto and ObjetoUSIC ObjetoUSIC e' um patient de Entidade Entidade termina em Entidade Entidade e' uma instancia de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Music.kif 378-385	LiveRecording e' um atributo de Objeto Representendo Conteudo Abstrato Objeto Representendo Conteudo Abstrato e' uma instancia de Recording Fisico Fisico e' uma instancia de Performance record Objeto Representendo Conteudo Abstrato and Fisico
No TPTP formula. May not be expressible in strict first order.	Music.kif 426-436	MashupRecording e' um atributo de Objeto Objeto e' uma instancia de Recording Objeto1 Objeto2, Musica and Musica musicInterpretation Objeto1 and Musica musicInterpretation Objeto2 and Musica Musica e' igual a Musica Objeto1 e' uma &parte de Objeto Objeto2 e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Music.kif 444-449	RemixRecording e' um atributo de MusicRecording MusicRecording e' uma instancia de MusicRecording MusicRecording Agente Cognitivo MusicRecording e' igual a RemixFn MusicRecording and Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Music.kif 392-400	StudioRecording e' um atributo de Objeto Representendo Conteudo Abstrato Objeto Representendo Conteudo Abstrato e' uma instancia de Recording Processo Objeto record Objeto Representendo Conteudo Abstrato and Processo eventLocated Processo and Objeto Objeto e' uma instancia de RecordingStudio
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 461-466	PeaceState e' um atributo de Organizacao Organizacao e' uma instancia de MilitaryOrganization leaderPosition Organizacao and Posicao subordinatePosition Organizacao, Posicao and SecretaryOfDefense
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 473-478	WarState e' um atributo de Organizacao Organizacao e' uma instancia de MilitaryOrganization leaderPosition Organizacao and Posicao subordinatePosition Organizacao, Posicao and President
No TPTP formula. May not be expressible in strict first order.	Music.kif 457-470	CoverRecording e' um atributo de MusicRecording MusicRecording e' uma instancia de MusicRecording songArtist MusicRecording and Agente Cognitivo musicInterpretation MusicRecording and Musica record MusicRecording and MusicaM MusicRecording Agente CognitivoRTIST and MusicaUSIC musicInterpretation MusicRecording and Musica songArtist MusicRecording and Agente CognitivoRTIST Agente Cognitivo e' igual a Agente CognitivoRTIST record MusicRecording and MusicaUSIC tempo de existencia de MusicaUSIC comeca antes de tempo de existencia de MusicaM
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12536-12546	Atributo e' um atributo de Objeto Atributo e' uma instancia de Fingerprint Objeto e' uma instancia de Finger AtributoR Objeto Objeto e' um instrumento para AtributoR Objeto e' uma instancia de Finger Atributo e' um atributo de Objeto Objeto e' um patient de AtributoR
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2693-2704	Concave e' um atributo de Objeto auto-conectado Objeto auto-conectado e' uma superficie de Objeto auto-conectado Objeto e' uma &parte de Objeto auto-conectado Objeto e' uma &parte de Objeto auto-conectado Objeto e' igual a LineFn Objeto and Objeto Objeto e' igual a Objeto Objeto e' uma &parte de Objeto Objeto e' Outside em relacao a Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2665-2676	Convex e' um atributo de Objeto auto-conectado Objeto auto-conectado e' uma superficie de Objeto auto-conectado Objeto e' uma &parte de Objeto auto-conectado Objeto e' uma &parte de Objeto auto-conectado Objeto e' igual a LineFn Objeto and Objeto Objeto e' igual a Objeto Objeto e' uma &parte de Objeto Objeto e' Inside em relacao a Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17354-17367	Atributo e' um atributo de Objeto Atributo e' uma instancia de Atributo Subjectivo Posicao Temporal Processo and AutonomousAgent Processo e' uma instancia de Judging Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo Atributo e' um atributo de Objeto e' o resultado de Processo AutonomousAgent acredita que Objeto tem um atributo de Atributo vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1130-1134	Atributo e' um atributo de Objeto Atributo e' uma instancia de FoodAttribute Objeto e' uma instancia de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4989-4997	Atributo e' um atributo de Objeto Atributo e' uma instancia de Sphere GeometricPoint Medida de Comprimento GeometricPoint GeometricPoint e' um ponto de Objeto geometricDistance GeometricPoint, GeometricPoint and Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17710-17719	Monochromatic e' um atributo de Objeto Objeto e' uma parte superficial de Objeto Atributo e' um atributo de Objeto Atributo e' uma instancia de Cor Primaria Objeto Objeto e' uma parte superficial de Objeto Atributo e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	engineering.kif 716-720	Atributo e' um atributo de Objeto Atributo e' uma instancia de Brushless Objeto e' uma instancia de ElectricalMotor
No TPTP formula. May not be expressible in strict first order.	Military.kif 286-297	Atributo e' um atributo de AutonomousAgent Atributo e' uma instancia de CommissionedOfficerRank Processo Objeto Processo e' uma instancia de Administrar Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo Objeto e' uma instancia de MilitaryOrganization Soldier e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18058-18062	Atributo e' um atributo de Objeto Atributo e' uma instancia de Atributo Biologico Objeto e' uma instancia de Objeto Organico
No TPTP formula. May not be expressible in strict first order.	naics.kif 8114-8118	Atributo e' um atributo de Objeto Atributo e' uma instancia de DeepSeaCoastalAndGreatLakesWaterTransportation Objeto e' uma instancia de TransportationCompany
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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