No TPTP formula. May not be expressible in strict first order.	Government.kif 1211-1231	CompulsorySuffrageLaw e' uma &sub-proposicao de RegionalLawFn Nacao Humano e' um cidadao de Nacao RegionalLawFn Nacao obriga Humano a executar tarefas de tipo Entidade Entidade and Entidade Humano e' um cidadao de Nacao suffrageAgeMinimum Nacao and Entidade YearDuration(s) a idade de Humano e' Entidade YearDuration(s) Entidade e' maior ou igual a Entidade Entidade e' uma instancia de ElectionFn Nacao Entidade Entidade e' uma instancia de VotingFn Entidade Entidade e' um agente de Humano
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3689-3701	Relacao Binaria e' tricotomizado en Classe Relacao Binaria e' uma instancia de Relacao estendida a Quantidades Entidade Entidade Entidade e' uma instancia de Classe Entidade e' uma instancia de Classe Relacao Binaria Entidade and Entidade Relacao Binaria Entidade and Entidade Entidade e' igual a Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3048-3055	Relacao tem Inteiro positivo argumento(s) Relacao e' uma instancia de Predicado @ROW Relacao @ROW comprimento de (@ROW) e' igual a Inteiro positivo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13800-13812	atomicNumber Substancia Elementar and Inteiro positivo Objeto e' uma instancia de Substancia Elementar Objeto e' uma &parte de Objeto Objeto e' uma instancia de Atomo Inteiro positivo e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4025-4038	ObsessiveCompulsiveDisorder e' um atributo de Agente Cognitivo Colecao Classe memberType Colecao and Classe Classe e' uma sub-classe de Investigacao Classe e' uma sub-classe de Cleaning ClasseI e' uma instancia de Classe ClasseI e' um agente de Agente Cognitivo Agente Cognitivo nao quer %n ClasseI
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18035-18043	Wet e' um atributo de Objeto Objeto Objeto e' uma &parte de Objeto Objeto Objeto e' uma &parte de Objeto Liquid e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Dining.kif 956-980	OpenLayout e' um atributo de Objeto Objeto e' uma instancia de Comodo Objeto Objeto and Objeto Objeto e' uma instancia de Regiao Objeto e' uma instancia de Regiao Objeto e' situado em Objeto Objeto e' situado em Objeto Objeto e' igual a Objeto Objeto e' Adjacent em relacao a Objeto Formula Formula Formula e' uma instancia de Processo Formula e' uma instancia de Processo Objeto tem por fim Formula Objeto tem por fim Formula Objeto e' uma instancia de AutonomousAgent Objeto e' situado em Objeto Objeto e' capaz de fazer Visao no role agent Objeto e' capaz de fazer Visao no role patient
No TPTP formula. May not be expressible in strict first order.	Biography.kif 436-465	AeronauticalEngineer e' um atributo de AutonomousAgent Processo AutonomousAgent tem a capacidade de fazer Processo Processo Processo e' uma instancia de Processo Processo Entidade and ProcessoT Processo e' uma instancia de Fazer Entidade e' uma instancia de Aircraft Entidade e' uma instancia de ProcessoT typicalPart ProcessoT and Aircraft Entidade e' o resultado de Processo Processo e' um sub-processo de Processo Processo ProcessoLAN, Entidade and ProcessoT Processo e' uma instancia de Designing Entidade e' uma instancia de Aircraft Entidade e' uma instancia de ProcessoT typicalPart ProcessoT and Aircraft ProcessoLAN e' o resultado de Processo ProcessoLAN define Entidade Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1243-1254	ExclusiveFemaleLevel e' um atributo de Objeto Fisico Fisico e' uma instancia de HotelRoom Fisico e' situado em Objeto Fisico tem por fim Entidade Female e' um atributo de Entidade stays Entidade and Fisico
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1224-1236	ExecutiveLevel e' um atributo de Objeto Fisico Fisico e' uma instancia de HotelRoom Fisico e' situado em Objeto Fisico tem por fim Entidade BusinessExecutive e' um atributo de Entidade Entidade e' uma instancia de Humano stays Entidade and Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5369-5374	average Lista and Numero Real ListaITEM ListaITEM e' um membro de Lista ListaITEM e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10385-10397	breathingRate Lung, Intervalo Temporal and Numero Inteiro Colecao Processo Colecao e' uma instancia de Colecao memberType Colecao and Breath memberCount Colecao and Numero Inteiro Processo e' membro de Colecao Lung e' um patient de Processo tempo de existencia de Processo acontece durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 790-800	capacityByArrangement Regiao, Proposicao and Numero Inteiro Regiao define Proposicao o argumento Entidade Entidade Entidade e' uma instancia de GroupOfPeople memberCount Entidade and Entidade Entidade e' menor ou igual a Numero Inteiro Entidade e' situado em Regiao tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3810-3818	causesSubclass Processo and Processo Processo Processo e' uma instancia de Processo Processo Processo e' uma instancia de Processo Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3124-3141	coilCount WireCoil and Numero Inteiro Colecao Colecao2F Colecao e' uma instancia de Colecao memberCount Colecao and Numero Inteiro Objeto Objeto e' membro de Colecao Colecao2F e' um atributo de Objeto Colecao2F e' uma instancia de ClosedTwoDimensionalFigure Objeto e' uma &parte de WireCoil Objeto2 Objeto2 engloba Objeto Objeto2 e' membro de Colecao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10061-10066	Objeto completa completemente Buraco Objeto Objeto e' conectado com Buraco Objeto e' conectado com Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 464-468	@ROW e' &o oposto de Entidade e' um membro de (@ROW) Entidade e' uma instancia de Atributo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3855-3860	Objeto e' uma copia exata de Objeto Atributo Atributo e' um atributo de Objeto Atributo e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Music.kif 243-249	discography Humano and Discography MusicRecording MusicRecording e' membro de Discography MakingMusic musician MusicRecording, Humano and MakingMusic
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2950-2955	Classe e' disjuntamente decomponivel em @ROW Classe Classe e' um membro de (@ROW) Classe e' uma sub-classe de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2957-2966	Classe e' disjuntamente decomponivel em @ROW Classe Classe Classe e' um membro de (@ROW) Classe e' um membro de (@ROW) Classe e' igual a Classe Classe e' disjunto de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 574-578	@ROW e' disjuntamente decomponivel em @ROW Entidade e' um membro de (@ROW) Entidade e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21712-21727	electronNumber Substancia Pura and Inteiro positivo Objeto Objeto e' uma &parte de Substancia Pura Objeto e' uma instancia de Atomo Objeto e' uma instancia de Molecula Sequencia Simbolica Inteiro positivo e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8020-8027	O comeco de Intervalo Temporal e' igual a Ponto no tempo Ponto no tempo Ponto no tempo e' uma &parte de Intervalo Temporal Ponto no tempo e' igual a Ponto no tempo Ponto no tempo comeca antes de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8038-8045	O fim de Intervalo Temporal e' igual a Ponto no tempo Ponto no tempo Ponto no tempo e' uma &parte de Intervalo Temporal Ponto no tempo e' igual a Ponto no tempo Ponto no tempo comeca antes de Ponto no tempo
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