No TPTP formula. May not be expressible in strict first order.	emotion.kif 374-387	AppraisalAsJustTreatment e' um atributo de Agente Cognitivo Agente CognitivoJT e' uma instancia de AppraisalProcess Agente CognitivoJT e' um agente de Agente Cognitivo Processo Agente Cognitivo2 Processo e' uma instancia de Processo Agente CognitivoJT inclui uma referencia a Processo Processo e' um agente de Agente Cognitivo2 Agente Cognitivo e' igual a Agente Cognitivo2 Agente Cognitivo e' um patient de Processo Agente Cognitivo quer Processo
No TPTP formula. May not be expressible in strict first order.	emotion.kif 349-363	AppraisalAsUnjustTreatment e' um atributo de Agente Cognitivo Agente CognitivoUJ e' uma instancia de AppraisalProcess Agente CognitivoUJ e' um agente de Agente Cognitivo Processo Agente Cognitivo2 Processo e' uma instancia de Processo Agente CognitivoUJ inclui uma referencia a Processo Processo e' um agente de Agente Cognitivo2 Agente Cognitivo e' igual a Agente Cognitivo2 Agente Cognitivo e' um patient de Processo Agente Cognitivo nao quer %n Processo
No TPTP formula. May not be expressible in strict first order.	Biography.kif 223-230	Founder e' um atributo de AutonomousAgent AutonomousAgent e' uma instancia de Humano Processo Processo e' uma instancia de Founding Processo e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4373-4382	TwoFactorAuthentication e' um atributo de UserAccount loggedInDuring AutonomousAgent, UserAccount and Intervalo Temporal Intervalo TemporalF Intervalo TemporalF e' uma instancia de TwoFactorLoggingIn Intervalo TemporalF e' um agente de AutonomousAgent accountUsed Intervalo TemporalF and UserAccount tempo de existencia de Intervalo TemporalF acontence antes de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 648-652	Atributo e' um atributo de Objeto Atributo e' uma instancia de AccountAttribute Objeto e' uma instancia de UserAccount
No TPTP formula. May not be expressible in strict first order.	Biography.kif 757-776	VoiceActor e' um atributo de AutonomousAgent Processo e' uma instancia de DramaticActing Processo e' um agente de AutonomousAgent Processo e' uma instancia de LinguisticCommunication Processo e' um agente de AutonomousAgent Processo e' um sub-processo de Processo Processo AutonomousAgent Processo e' uma instancia de Visao AutonomousAgent e' um patient de Processo Processo e' um agente de AutonomousAgent Processo AutonomousAgent Processo e' uma instancia de Ouvir AutonomousAgent e' um patient de Processo Processo e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1774-1779	MemberFn Organizacao e' um atributo de Objeto Objeto e' uma instancia de AutonomousAgent Organizacao e' uma instancia de Organizacao Objeto e' membro de Organizacao
No TPTP formula. May not be expressible in strict first order.	Economy.kif 865-869	CommunistState e' um atributo de AutonomousAgent AutonomousAgent e' uma instancia de Nacao economyType AutonomousAgent and CentrallyPlannedEconomy
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1754-1759	FlatTerrain e' um atributo de Objeto Area terrestre e' uma &parte de Objeto slopeGradient Area terrestre and Numero Real nao-negativo 0.005 e' maior que Numero Real nao-negativo
No TPTP formula. May not be expressible in strict first order.	Economy.kif 506-510	HighIncomeCountry e' um atributo de AutonomousAgent AutonomousAgent e' membro de OrganizationOfPetroleumExportingCountries economyType AutonomousAgent and DevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1766-1771	LowTerrain e' um atributo de Objeto Area terrestre e' uma &parte de Objeto slopeGradient Area terrestre and Numero Real nao-negativo 0.03 e' maior que Numero Real nao-negativo
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1364-1371	Atributo e' um atributo de AutonomousAgent Atributo e' uma instancia de ProfessionalAthlete Contest Contest e' uma instancia de Esporte contestParticipant Contest and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1358-1362	Atributo e' um atributo de AutonomousAgent Atributo e' uma instancia de ProfessionalAthlete AutonomousAgent tem a capacidade de fazer Esporte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29495-29507	Collectible e' um atributo de Objeto Objeto tem por fim Formula Agente Cognitivo Formula2 Agente Cognitivo e' uma instancia de Humano Agente Cognitivo quer Objeto Agente Cognitivo deseja Formula2 Formula2 implica Agente Cognitivo possui Objeto Formula e' igual a Formula2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29446-29451	DeviceDamaged e' um atributo de Objeto Objeto tem por fim Formula o argumento Formula nao %n a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29419-29423	DeviceNormal e' um atributo de Objeto Objeto tem por fim Formula o argumento Formula tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1833-1837	Atributo e' um atributo de Objeto Atributo e' uma instancia de DeviceAttribute Objeto e' uma instancia de Aparelho
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1844-1848	Functioning e' um atributo de Objeto Objeto tem por fim Formula truth Formula and True
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1854-1858	Malfunctioning e' um atributo de Objeto Objeto tem por fim Formula truth Formula and False
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4407-4411	Atributo e' um atributo de Objeto Atributo e' uma instancia de ExperimentAttribute Objeto e' uma instancia de Experimenting
No TPTP formula. May not be expressible in strict first order.	Food.kif 437-445	DecafAttribute e' um atributo de Substancia Substancia e' uma instancia de Comida Substancia Substancia e' uma instancia de Caffeine Substancia e' uma peca de Substancia
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1165-1176	FamilyStylePortion e' um atributo de Objeto a medida de Objeto e' Numero Real Unidade de Medida(s) FamilyStylePortion e' um atributo de Objeto a medida de Objeto e' Numero Real Unidade de Medida(s) Objeto e' uma instancia de Classe Objeto e' uma instancia de Classe Unidade de Medida e' uma instancia de Unidade de Medida Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5824-5834	Doenca ou Sindrome e' um atributo de Objeto diseaseTreatment Doenca ou Sindrome and Processo Terapeutico Processo e' uma instancia de TherpeuticProcess Processo e' um agente de Doenca ou SindromeOC Objeto e' um patient de Processo MedicalDoctor e' um atributo de Doenca ou SindromeOC o argumento Processo e' uma instancia de Processo Terapeutico tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 172-187	Anemia e' um atributo de Objeto Objeto e' uma instancia de Sangue Objeto e' uma &parte de Objeto Female e' um atributo de Objeto a medida de Objeto e' 0.1 Liter(s) ObjetoE e' uma instancia de Hemoglobin ObjetoE e' uma &parte de Objeto ObjetoE2 e' uma instancia de Hemoglobin ObjetoE e' igual a ObjetoE2 Objeto2 e' uma &parte de Objeto a medida de ObjetoE e' Numero Real Gram(s) Numero Real e' menos que 12
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 155-170	Anemia e' um atributo de Objeto Objeto e' uma instancia de Sangue Objeto e' uma &parte de Objeto Male e' um atributo de Objeto a medida de Objeto e' 0.1 Liter(s) ObjetoE e' uma instancia de Hemoglobin ObjetoE e' uma &parte de Objeto ObjetoE2 e' uma instancia de Hemoglobin ObjetoE e' igual a ObjetoE2 Objeto2 e' uma &parte de Objeto a medida de ObjetoE e' Numero Real Gram(s) Numero Real e' menos que 13
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