possesses - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2133-2134
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4248-4251
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 788-789
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4245-4245	O argumento numero 1 de possesses e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4246-4246	O argumento numero 2 de possesses e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4244-4244	possesses e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4243-4243	possesses e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 171-171
No TPTP formula. May not be expressible in strict first order.	english_format.kif 172-172
No TPTP formula. May not be expressible in strict first order.	french_format.kif 105-105
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 224-224
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1934-1934
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 57-57
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 135-135
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 212-212
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 262-262
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 124-124
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 107-107
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 416-416
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11664-11664	Mudanca de Dono e' relacionado internamente por SUMO a possesses
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23852-23852	financialAsset e' uma sub-relacao de possesses
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2068-2068	hasAccount e' uma sub-relacao de possesses
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 172-172
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46802-46802
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46801-46801
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46800-46800
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 66-66

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2321-2326	FinancialAccount e' uma instancia de FinancialAccount Agente Cognitivo possui FinancialAsset FinancialAccount e' igual a AccountFn FinancialAsset accountHolder FinancialAccount and Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2392-2407	customer Agente Cognitivo and AutonomousAgent AutonomousAgent emprega Agente Cognitivo TravelerAccommodation e' um atributo de AutonomousAgent Porter e' um atributo de Agente Cognitivo Agente Cognitivo possui Objeto Objeto e' uma instancia de TravelContainer Objeto Processo Objeto e' uma instancia de HotelUnit Processo e' uma instancia de Carrying Processo e' um agente de Agente Cognitivo Processo termina em Objeto Processo tem como origem Objeto
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 841-862	freeFunctionRoomAmenity HotelFunctionRoom and Fisico Entidade e' uma instancia de HotelFunctionRoom Entidade e' um elemento de propriedade de AutonomousAgent Processo e' uma instancia de Renting Entidade e' um patient de Processo Processo termina em Agente Cognitivo Objeto e' uma instancia de Fisico AutonomousAgent possui Objeto customer Agente Cognitivo and AutonomousAgent Objeto e' uma instancia de Processo Objeto e' um agente de Agente Cognitivo Agente Cognitivo experimenta Objeto AutonomousAgent possui Objeto Objeto e' uma instancia de Objeto Agente Cognitivo usa Objeto price Objeto, 0 UnitedStatesDollar(s) and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 546-561	freePropertyAmenity AutonomousAgent and Fisico Processo e' uma instancia de Fisico customer Agente Cognitivo and AutonomousAgent Processo e' uma instancia de Processo Processo e' um agente de Agente Cognitivo Agente Cognitivo experimenta Processo AutonomousAgent possui Processo Processo e' uma instancia de Objeto Agente Cognitivo usa Processo price Processo, 0 UnitedStatesDollar(s) and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4427-4444	hasAccount Agente Cognitivo and UserAccount password ComputerPassword and UserAccount deviceAccount UserAccount and Computer Agente Cognitivo nao sabe %n password ComputerPassword and UserAccount Agente Cognitivo sabe recoveryKey Entidade and UserAccount Agente Cognitivo possui Computer o argumento Entidade Entidade e' uma instancia de ChangingPassword UserAccount e' um patient de Entidade Entidade e' um agente de Agente Cognitivo tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4257-4263	Entidade possui Objeto vale durante Posicao Temporal Objeto e' uma &parte de Objeto Entidade possui Objeto vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3188-3198	Objeto e' uma instancia de AOCnumber Agente Cognitivo e' uma instancia de Airline Agente Cognitivo possui Objeto FederalAviationAdministration autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade e' uma instancia de AirTransportationService serviceProvider Entidade and Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2270-2278	Bond e' uma instancia de Bond couponInterest Bond and Interest BondHolder possui Bond Duracao Temporal Processo periodicPayment AccountFn Bond, Interest and Duracao Temporal Processo termina em BondHolder
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2397-2406	FinancialAccount e' uma instancia de SecuredBond securedBy FinancialAccount and Collateral AutonomousAgent possui FinancialAccount Processo e' uma instancia de FinancialDefault FinancialAccount e' um patient de Processo AutonomousAgent possui Collateral vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2333-2355	FinancialAsset e' uma instancia de ZeroCouponBond maturityDate AccountFn FinancialAsset and Dia FinancialAssetHolder possui FinancialAsset principalAmount AccountFn FinancialAsset and Numero Real Unidade de Medida(s) agreementPeriod AccountFn FinancialAsset and Intervalo Temporal interestEarned AccountFn FinancialAsset, Numero Real Unidade de Medida(s) and Intervalo Temporal Numero Real e' igual a ( Numero Real + Numero Real) Transacao Financeira Transacao Financeira e' uma instancia de Payment Transacao Financeira termina em FinancialAssetHolder Transacao Financeira tem como origem AccountFn FinancialAsset transactionAmount Transacao Financeira and Numero Real Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7268-7273	Objeto e' uma instancia de FamilyBusiness Organismo possui Objeto Organismo possui Objeto Organismo e Organismo sao parentes
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11669-11676	Processo e' uma instancia de Mudanca de Dono Entidade e' um patient de Processo Entidade possui Entidade vale durante o comeco de tempo de existencia de Processo Entidade possui Entidade vale durante o fim de tempo de existencia de Processo Entidade e' igual a Entidade
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 218-226	BankCard e' uma instancia de CreditCard Agente Cognitivo possui BankCard FinancialAccount FinancialAccount e' uma instancia de CreditCardAccount cardAccount BankCard and FinancialAccount accountHolder FinancialAccount and Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3543-3554	BankCard e' uma instancia de DebitCard AutonomousAgent possui BankCard Processo e' uma instancia de Transacao Financeira BankCard e' um instrumento para Processo Sequencia Simbolica Processo pin Sequencia Simbolica and BankCard Processo e' uma instancia de EnteringAPin Sequencia Simbolica e' um patient de Processo Processo e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 203-211	BankCard e' uma instancia de DebitCard Agente Cognitivo possui BankCard FinancialAccount FinancialAccount e' uma instancia de DepositAccount cardAccount BankCard and FinancialAccount accountHolder FinancialAccount and Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16513-16521	Objeto e' uma instancia de AcademicDegree AutonomousAgent possui Objeto Proposicao Processo Proposicao e' uma instancia de EducationalProgram Processo exprime o conteudo de Proposicao AutonomousAgent experimenta Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25157-25164	Entidade e' uma instancia de FaxMachine deviceTelecomNumber Entidade and Entidade Entidade possui Entidade vale durante Posicao Temporal faxNumber Entidade and Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25006-25013	Entidade e' uma instancia de Telephone Entidade possui Entidade deviceTelecomNumber Entidade and Entidade vale durante Posicao Temporal telephoneNumber Entidade and Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3528-3533	Colecao e' uma instancia de Fleet fleetSize AutonomousAgent and Numero Inteiro AutonomousAgent possui Colecao memberCount Colecao and Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1176-1180	Objeto e' uma instancia de InternalShipRegister AutonomousAgent possui Objeto AutonomousAgent e' uma instancia de Nacao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 381-388	Objeto e' uma instancia de Objeto Objeto e' uma instancia de WebListing AutonomousAgent e' uma instancia de AutonomousAgent ForSaleByOwner e' um atributo de Objeto AutonomousAgent possui Objeto AutonomousAgent e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16881-16892	Objeto e' uma instancia de DriversLicense AutonomousAgent possui Objeto confersNorm Objeto, Entidade Entidade Entidade e' uma instancia de Dirigir Entidade e' um agente de AutonomousAgent Entidade e' um patient de Entidade Entidade e' uma instancia de RoadVehicle and Permission
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1126-1130	Objeto e' uma instancia de NationalShipRegister AutonomousAgent possui Objeto AutonomousAgent e' uma instancia de Nacao
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1192-1196	Objeto e' uma instancia de OffshoreShipRegister AutonomousAgent possui Objeto AutonomousAgent e' uma instancia de Nacao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16581-16588	Objeto e' uma instancia de PassCertificate AutonomousAgent possui Objeto Entidade confersNorm Objeto, AutonomousAgent e' situado em Entidade and Permission

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 632-640	accountAtSite UserAccount and WebSite Objeto WebSite_OWNER Objeto e' uma instancia de Database WebSite_OWNER e' uma instancia de AutonomousAgent WebSite_OWNER possui WebSite WebSite_OWNER possui Objeto UserAccount e' uma &parte de Objeto
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 20600-20622	Waiter e' um atributo de Agente Cognitivo Agente Cognitivo e' uma instancia de Humano AutonomousAgent emprega Agente Cognitivo AutonomousAgent e' uma instancia de Restaurant customer Agente Cognitivo and AutonomousAgent Agente Cognitivo e' situado em Objeto Objeto e' uma instancia de Table Objeto Entidade, Entidade and Objeto AutonomousAgent possui Objeto Objeto e' uma instancia de KitchenArea Objeto e' uma instancia de DiningArea Objeto e' situado em Objeto Agente Cognitivo tem por fim Entidade e' uma instancia de Carrying Entidade e' um agente de Agente Cognitivo Entidade tem como origem Objeto Entidade termina em Objeto Entidade e' um patient de Entidade Entidade e' uma instancia de FoodForFn Humano
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4257-4263	Entidade possui Objeto vale durante Posicao Temporal Objeto e' uma &parte de Objeto Entidade possui Objeto vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 978-982	Area Geopolitica e' uma instancia de Area Geopolitica MerchantMarineFn Area Geopolitica e' uma instancia de MerchantMarine Area Geopolitica possui MerchantMarineFn Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1139-1143	Area Geopolitica e' uma instancia de Area Geopolitica ShipRegisterFn Area Geopolitica e' uma instancia de ShipRegister Area Geopolitica possui ShipRegisterFn Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18678-18694	Transferencia e' uma instancia de Bequeathing Transferencia e' um agente de AutonomousAgent Transferencia termina em Entidade objectTransferred Transferencia and AutonomousAgentROP Processo Processo e' uma instancia de Morte AutonomousAgent experimenta Processo tempo de existencia de Processo acontence antes de tempo de existencia de Transferencia AutonomousAgent possui AutonomousAgentROP vale durante imediatemente antes de tempo de existencia de Processo confersNorm AutonomousAgent, Entidade possui AutonomousAgentROP and Permission
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2397-2406	FinancialAccount e' uma instancia de SecuredBond securedBy FinancialAccount and Collateral AutonomousAgent possui FinancialAccount Processo e' uma instancia de FinancialDefault FinancialAccount e' um patient de Processo AutonomousAgent possui Collateral vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11678-11688	Processo e' uma instancia de Mudanca de Dono Processo tem como origem Objeto Processo termina em Entidade Objeto e' uma instancia de AutonomousAgent Entidade e' uma instancia de AutonomousAgent Entidade e' um patient de Processo Objeto possui Entidade vale durante o comeco de tempo de existencia de Processo Entidade possui Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 601-609	Processo e' uma instancia de PreciseDestruction Processo e' um agente de AutonomousAgent Objeto AutonomousAgent possui Objeto Objeto e' um instrumento para Processo Objeto e' uma instancia de HighPrecisionWeapon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18620-18638	Processo e' uma instancia de Inheriting Processo e' um agente de Agente Cognitivo Processo tem como origem AutonomousAgent Entidade e' um patient de Processo Processo Processo e' uma instancia de Morte AutonomousAgent experimenta Processo tempo de existencia de Processo acontence antes de tempo de existencia de Processo AutonomousAgent possui Entidade vale durante imediatemente antes de tempo de existencia de Processo AutonomousAgent autoriza Agente Cognitivo a executar tarefas de tipo Agente Cognitivo possui Entidade
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1334-1343	Loan e' uma instancia de Loan securedBy Loan and Collateral lender Loan and Agente Cognitivo Processo e' uma instancia de FinancialDefault Loan e' um patient de Processo Agente Cognitivo possui Collateral vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	naics.kif 7953-7978	Colecao e' uma instancia de Organizacao AirTransportationIndustry e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Agente Cognitivo AutonomousAgent e' uma instancia de Vender Agente Cognitivo e' uma instancia de Humano Agente Cognitivo e' um patient de AutonomousAgent Processo autoriza Agente Cognitivo a executar tarefas de tipo Entidade Agente CognitivoLANE and Entidade Entidade e' uma instancia de Transporte Agente Cognitivo e' um patient de Entidade Agente Cognitivo possui Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de Objeto Colecao possui Agente CognitivoLANE Agente CognitivoLANE e' uma instancia de Aircraft
No TPTP formula. May not be expressible in strict first order.	naics.kif 8736-8756	Colecao e' uma instancia de Organizacao CouriersAndMessengers e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Agente Cognitivo Entidade AutonomousAgent e' uma instancia de Vender Entidade e' uma instancia de Objeto Agente Cognitivo e' uma instancia de Humano Agente Cognitivo e' um patient de AutonomousAgent Processo autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade e' uma instancia de Transporte Agente Cognitivo possui Entidade Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	naics.kif 8465-8488	Colecao e' uma instancia de Organizacao PipelineTransportation e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Agente Cognitivo AutonomousAgent e' uma instancia de Vender Agente Cognitivo e' uma instancia de Humano Agente Cognitivo e' um patient de AutonomousAgent Processo autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade, Entidade and Agente CognitivoIPE Entidade e' uma instancia de Transporte Agente Cognitivo possui Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de Substancia Colecao possui Entidade Agente CognitivoIPE e' um instrumento para Entidade Agente CognitivoIPE e' uma instancia de Pipeline
No TPTP formula. May not be expressible in strict first order.	naics.kif 8707-8727	Colecao e' uma instancia de Organizacao PostalService e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Agente Cognitivo Entidade AutonomousAgent e' uma instancia de Vender Entidade e' uma instancia de Objeto Agente Cognitivo e' uma instancia de Humano Agente Cognitivo e' um patient de AutonomousAgent Processo autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade e' uma instancia de Transporte Agente Cognitivo possui Entidade Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	naics.kif 8034-8059	Colecao e' uma instancia de Organizacao RailTransportation e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Agente Cognitivo AutonomousAgent e' uma instancia de Vender Agente Cognitivo e' uma instancia de Humano Agente Cognitivo e' um patient de AutonomousAgent Processo autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade and Entidade Entidade e' uma instancia de Transporte Agente Cognitivo e' um patient de Entidade Agente Cognitivo possui Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de Objeto Colecao possui Entidade Entidade e' uma instancia de RailVehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 8528-8549	Colecao e' uma instancia de Organizacao ScenicAndSightseeingTransportation e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Agente Cognitivo AutonomousAgent e' uma instancia de Vender Agente Cognitivo e' uma instancia de Humano Agente Cognitivo e' um patient de AutonomousAgent Processo autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade Entidade e' uma instancia de Transporte Entidade e' uma instancia de Recreacao ou Exercicio Agente Cognitivo e' um patient de Entidade Colecao possui Entidade Entidade e' uma instancia de Vehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 8344-8364	Colecao e' uma instancia de Organizacao TransitAndGroundPassengerTransportation e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Agente Cognitivo AutonomousAgent e' uma instancia de Vender Agente Cognitivo e' uma instancia de Humano Agente Cognitivo e' um patient de AutonomousAgent Processo autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade Entidade e' uma instancia de Transporte Agente Cognitivo e' um patient de Entidade Colecao possui Entidade Entidade e' uma instancia de LandVehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 8253-8275	Colecao e' uma instancia de Organizacao TruckTransportation e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Agente Cognitivo AutonomousAgent e' uma instancia de Vender Agente Cognitivo e' uma instancia de Humano Agente Cognitivo e' um patient de AutonomousAgent Processo autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade and Entidade Entidade e' uma instancia de Transporte Agente Cognitivo possui Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de Objeto Colecao possui Entidade Entidade e' uma instancia de LandVehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 8776-8797	Colecao e' uma instancia de Organizacao WarehousingAndStorage e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Agente Cognitivo Entidade AutonomousAgent e' uma instancia de Vender Entidade e' uma instancia de Objeto Agente Cognitivo e' uma instancia de Humano Agente Cognitivo e' um patient de AutonomousAgent Processo autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade Entidade e' uma instancia de Intervalo Temporal Entidade e' uma instancia de Predio Agente Cognitivo possui Entidade Entidade e' situado em Entidade vale durante Entidade
No TPTP formula. May not be expressible in strict first order.	naics.kif 8080-8105	Colecao e' uma instancia de Organizacao WaterTransportationIndustry e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Agente Cognitivo AutonomousAgent e' uma instancia de Vender Agente Cognitivo e' uma instancia de Humano Agente Cognitivo e' um patient de AutonomousAgent Processo autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade and Entidade Entidade e' uma instancia de Transporte Agente Cognitivo e' um patient de Entidade Agente Cognitivo possui Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de Objeto Colecao possui Entidade Entidade e' uma instancia de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12914-12919	Processo e' uma instancia de Perseguir Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo AutonomousAgent nao possui %n Entidade vale durante Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23827-23844	Processo e' uma instancia de Saving Objeto e' um patient de Processo Processo e' um agente de AutonomousAgent Numero Real Numero Real and Entidade Entidade e' uma instancia de UnitOfCurrency o valor de Objeto e' Numero Real Entidade(s) vale durante o comeco de tempo de existencia de Processo o valor de Objeto e' Numero Real Entidade(s) vale durante o fim de tempo de existencia de Processo AutonomousAgent possui Objeto Numero Real e' menos que Numero Real
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1157-1166	AutonomousAgent e' uma instancia de Ship Area Geopolitica e' uma instancia de Area Geopolitica AutonomousAgent e' membro de MerchantMarineFn Area Geopolitica Objeto Objeto e' uma instancia de ShipRegistration AutonomousAgent possui Objeto ShipRegisterFn Area Geopolitica subsume o conteudo de Objeto

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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: