No TPTP formula. May not be expressible in strict first order.	Merge.kif 12190-12198	Processo e' uma instancia de Manter Entidade e' um patient de Processo Entidade Posicao Temporal Posicao Temporal e' uma &parte de tempo de existencia de Processo Entidade e' situado em Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4819-4833	Objeto auto-conectado e' uma instancia de Objeto ConvexRoundShape e' um atributo de Objeto auto-conectado Objeto auto-conectado e' uma superficie de Objeto auto-conectado Objeto auto-conectado e' uma instancia de TwoDimensionalObject GeometricPoint GeometricPoint e' uma &parte de Objeto auto-conectado GeometricPoint e' um atributo de GeometricPoint GeometricPoint e' um ponto de Objeto auto-conectado GeometricPoint encontra Objeto auto-conectado GeometricPoint encontra Objeto auto-conectado OneDimensionalFigure a tangente de Objeto auto-conectado e' OneDimensionalFigure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7467-7474	Humano e' uma instancia de Humano DescendantsFn Humano e' igual a Grupo Familiar Organismo Organismo e' membro de Grupo Familiar ancestor Organismo and Humano
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8430-8439	Ponto no tempo e' uma instancia de Ponto no tempo Ponto no tempo e' uma instancia de Ponto no tempo Intervalo Temporal e' uma instancia de Intervalo Temporal o intervalo entre Ponto no tempo e Ponto no tempo e' igual a Intervalo Temporal Ponto no tempo Ponto no tempo e' entre ou durante Ponto no tempo e Ponto no tempo Ponto no tempo e' uma &parte de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2654-2674	Policy e' uma instancia de DailyHousekeepingPolicy policyOwner Organizacao and Policy o argumento Entidade Entidade and Entidade guest Entidade and Organizacao stays Entidade and Entidade Entidade e' igual a tempo de existencia de stays Entidade and Entidade Entidade Entidade e' uma instancia de Dia Entidade acontece durante Entidade Entidade Entidade e' uma instancia de RoomCleaningService Entidade e' um patient de Entidade Entidade acontece durante Entidade vale durante Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3610-3618	Relacao Binaria e' uma instancia de Relacao Reflexiva Relacao Binaria e' reflivo em Classe Relacao Binaria e' uma instancia de Predicado Entidade Entidade e' uma instancia de Classe Relacao Binaria Entidade and Entidade
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 501-517	Entidade_COLL e' uma instancia de Colecao Entidade_COLL e' uma instancia de Colecao Experimenting e' uma instancia de Experimenting Agente Cognitivo e' uma instancia de Agente Cognitivo Experimenting e' um agente de Agente Cognitivo statisticalPopulation Entidade_COLL, Entidade_COLL and Experimenting Atributo Atributo e' uma instancia de Atributo Entidade_COLL tem um atributo de Atributo Agente Cognitivo esta' interessado em Atributo Atributo e' igual a RepresentativeSample Entidade_COLL tem um atributo de Atributo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5306-5314	Colecao e' uma instancia de ClothingSuit Fisico e' membro de Colecao Entidade usa Fisico vale durante Posicao Temporal Fisico Fisico e' membro de Colecao Entidade usa Fisico vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3333-3356	Colecao e' uma instancia de Colecao Objeto Corpuscular e' uma instancia de HypertextLink Fisico Fisico e' membro de Colecao Fisico e' uma instancia de AccessingWebPage Colecao e' um componente de Objeto Corpuscular Colecao Colecao e' uma instancia de Colecao Processo Processo e' uma instancia de RequestingHyperlink Objeto Corpuscular e' um patient de Processo Processo e' membro de Colecao ClickThroughRateFn Colecao and Objeto Corpuscular e' igual a o numero de instancias dentro de Colecao + o numero de instancias dentro de Colecao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13338-13349	Processo e' uma instancia de Guerra Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de Area Geopolitica AutonomousAgent e' uma instancia de Organizacao Fisico Fisico e' membro de AutonomousAgent Fisico e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Dining.kif 295-303	Objeto e' uma instancia de Buffet Breakfast e' um atributo de Objeto o argumento Entidade Entidade e' membro de Objeto Breakfast e' um atributo de Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Dining.kif 469-479	Colecao e' uma instancia de Outfit Fisico e' membro de Colecao Entidade usa Fisico vale durante Posicao Temporal Fisico Fisico e' membro de Colecao Entidade usa Fisico vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2925-2940	numberSeniorOccupant HotelReservation and Numero Inteiro fulfillingEntity AutonomousAgent and HotelReservation Colecao Numero Real Colecao e' uma instancia de GroupOfPeople Fisico Fisico e' membro de Colecao Fisico e' uma instancia de HumanAdult a idade de Fisico e' Numero Real YearDuration(s) Numero Real e' maior ou igual a 60 memberCount Colecao and Numero Inteiro potentialCustomer Colecao and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 467-492	rentalPrice Fisico, Funcao de Quantidade, Agente Cognitivo and PricingScheme Funcao de Quantidade e' igual a PerFn Medida de Divisa and a medida de Numero Real e' Unidade de Medida Unidade de Medida e' uma instancia de UnitOfDuration Entidade e' uma instancia imediata de Fisico Processo e' uma instancia de Renting Entidade e' um patient de Processo Processo e' um agente de AutonomousAgent Processo existe durante Numero RealINT Intervalo Temporal Numero Real Numero RealINT acontece durante Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal a duracao de Intervalo Temporal e' Numero Real Unidade de Medida(s) Numero Real e' menor ou igual a Numero Real Transacao Financeira Transacao Financeira e' uma instancia de Payment Transacao Financeira termina em Agente Cognitivo Transacao Financeira e' um agente de AutonomousAgent transactionAmount Transacao Financeira and Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 281-292	roomAmenity HotelUnit and Fisico Fisico e' uma sub-classe de Objeto Objeto Objeto e' uma instancia de HotelUnit Fisico Objeto e' uma instancia de HotelUnit Fisico e' uma instancia de Fisico Fisico e' situado em Objeto
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 18013-18021	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.	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.	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.	Geography.kif 1325-1332	climateTypeInArea Area Geografica and WetTropicalClimateZone Mes Numero Real Mes e' uma instancia de Mes averageRainfallForPeriod Area Geografica, Mes and Numero Real um milesimo de Meter(s) Numero Real e' maior ou igual a 60.0
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