No TPTP formula. May not be expressible in strict first order.	Merge.kif 2537-2546	resourceExhausted Processo and Objeto Objeto e' uma instancia de Classe Entidade Entidade e' uma &parte de Objeto Entidade e' uma instancia de Classe vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	WMD.kif 941-955	diseaseMedicine Doenca ou Sindrome, Substancia Biologica Ativa and Processo Entidade Posicao Temporal, Entidade and Entidade Doenca ou Sindrome e' um atributo de Entidade vale durante Posicao Temporal Entidade e' uma instancia de Processo tempo de existencia de Entidade e' uma &parte de Posicao Temporal Entidade experimenta Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de Substancia Biologica Ativa aumenta a probabilidade de Doenca ou Sindrome e' um atributo de Entidade vale durante imediatemente apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3629-3642	maxDeviceOperatingTemp Entidade and Entidade Entidade(s) Entidade e' uma instancia de UnitOfTemperature Entidade e' situado em Entidade DeviceOn e' um atributo de Entidade airTemperature Entidade and Entidade Entidade(s) Entidade e' maior que Entidade vale durante Posicao Temporal o argumento DeviceDamaged e' um atributo de Entidade vale durante imediatemente apos Posicao Temporal tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3657-3670	maxDeviceStorageTemp Entidade and Entidade Entidade(s) Entidade e' uma instancia de UnitOfTemperature Entidade e' situado em Entidade DeviceOff e' um atributo de Entidade airTemperature Entidade and Entidade Entidade(s) Entidade e' maior que Entidade vale durante Posicao Temporal o argumento DeviceDamaged e' um atributo de Entidade vale durante imediatemente apos Posicao Temporal tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3682-3695	minDeviceOperatingTemp Entidade and Entidade Entidade(s) Entidade e' uma instancia de UnitOfTemperature Entidade e' situado em Entidade DeviceOn e' um atributo de Entidade airTemperature Entidade and Entidade Entidade(s) Entidade e' menos que Entidade vale durante Posicao Temporal o argumento DeviceDamaged e' um atributo de Entidade vale durante imediatemente apos Posicao Temporal tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3708-3721	minDeviceStorageTemp Entidade and Entidade Entidade(s) Entidade e' uma instancia de UnitOfTemperature Entidade e' situado em Entidade DeviceOff e' um atributo de Entidade airTemperature Entidade and Entidade Entidade(s) Entidade e' menos que Entidade vale durante Posicao Temporal o argumento DeviceDamaged e' um atributo de Entidade vale durante imediatemente apos Posicao Temporal tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2798-2807	Covid19 e' um atributo de Entidade vale durante Posicao Temporal o argumento Entidade e' uma instancia de COVIDAntibody Entidade e' uma &parte de Entidade vale durante imediatemente apos Posicao Temporal tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16461-16467	Sleepy e' um atributo de Agente Cognitivo vale durante Posicao Temporal Agente Cognitivo deseja Dormindo e' um atributo de Agente Cognitivo vale durante imediatemente apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 20-39	Tourniquet e' um atributo de Objeto vale durante ObjetoIME AutonomousAgent Processo and Transferencia AutonomousAgent e' uma instancia de Humano Processo e' uma instancia de Bleeding Transferencia e' uma instancia de Colar AutonomousAgent experimenta Processo Transferencia termina em AutonomousAgent objectTransferred Transferencia and Objeto Objeto tem por fim Processo2 Processo2 e' uma instancia de Bleeding imediatemente apos tempo de existencia de Transferencia engloba tempo de existencia de Processo2 AutonomousAgent experimenta Processo2
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4001-4011	confersNorm Entidade, Entidade and Entidade vale durante Posicao Temporal o argumento Entidade nao %n a forca modal de Entidade vale durante imediatemente antes de Posicao Temporal o argumento Entidade tem a forca modal de Entidade vale durante imediatemente apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4023-4032	deprivesNorm Entidade, Entidade and Entidade vale durante Posicao Temporal o argumento Entidade tem a forca modal de Entidade vale durante imediatemente antes de Posicao Temporal o argumento Entidade nao %n a forca modal de Entidade vale durante imediatemente apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1519-1529	Fisico e' uma instancia de BleedingAir Fisico tem por fim Entidade Entidade Entidade e' uma instancia de FluidContainer Entidade e' uma instancia de Air Entidade contem Entidade vale durante imediatemente antes de Fisico Entidade nao contem %n Entidade vale durante imediatemente apos Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10525-10537	Fisico e' uma instancia de Clotting Entidade Entidade e' uma instancia de Sangue Liquid e' um atributo de Entidade vale durante imediatemente antes de tempo de existencia de Fisico Solid e' um atributo de Entidade vale durante imediatemente apos tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Government.kif 1339-1354	Processo e' uma instancia de Coronation Entidade Entidade Entidade e' uma instancia de Humano Entidade e' um patient de Processo Entidade e' uma instancia de Area Geopolitica chiefOfState Entidade, Monarch and Entidade vale durante o comeco de tempo de existencia de Processo chiefOfState Entidade, Monarch and Entidade vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Military.kif 62-71	Processo e' uma instancia de FoodDistributionOperation Entidade Entidade Entidade e' uma instancia de FoodForFn Animal Entidade e' uma instancia de Agente Cognitivo Entidade e' um patient de Processo Processo termina em Entidade Entidade possui Entidade vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4263-4282	Fisico e' uma instancia de FindMyIPhone Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de AppleIPhone Fisico e' um instrumento para Entidade Entidade e' um agente de Entidade Entidade e' um patient de Entidade Entidade nao sabe %n Entidade e' situado em Entidade vale durante imediatemente antes de tempo de existencia de Entidade Entidade sabe Entidade e' situado em Entidade vale durante imediatemente apos tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3591-3607	Fisico e' uma instancia de Inflating Objeto Objeto, Numero Real, Numero Real, Classe and Entidade Objeto e' uma instancia de Classe Objeto e' uma instancia de Classe Classe e' uma instancia de Substancia Gas e' um atributo de Objeto Gas e' um atributo de Objeto Entidade e' uma instancia de UnitOfVolume a medida de Objeto e' Numero Real Entidade(s) vale durante imediatemente antes de tempo de existencia de Fisico a medida de Objeto e' Numero Real Entidade(s) vale durante imediatemente apos tempo de existencia de Fisico Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8571-8573	Posicao Temporal e' uma instancia de Intervalo Temporal imediatemente apos Posicao Temporal comeca em apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3801-3812	Processo e' uma instancia de MountingADevice Entidade Entidade Entidade e' uma instancia de Computer Entidade e' uma instancia de ComputerIODevice Entidade e' um patient de Processo Entidade e' um patient de Processo Entidade e' conectado a Entidade vale durante tempo de existencia de Processo connectedPeripheral Entidade and Entidade vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2103-2118	Entidade e' uma instancia de Shrapnel Objeto Processo Objeto e' uma instancia de Bomb Processo e' uma instancia de Explosion Objeto e' um instrumento para Processo Entidade e' uma &parte de Objeto vale durante imediatemente antes de tempo de existencia de Processo Entidade e' uma &parte de Objeto vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7992-7997	Fisico e' uma instancia de Wedding Entidade Entidade spouse Entidade and Entidade vale durante imediatemente apos tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 112-129	Processo e' uma instancia de DeletingData Entidade Entidade e' uma instancia de DigitalData Entidade e' um patient de Processo Entidade Classe Entidade e' uma instancia de ComputerProcess Entidade e' uma instancia de Classe Entidade e' uma instancia de RestoringData Entidade e' capaz de fazer Classe no role patient vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2663-2685	Fisico e' uma instancia de Key Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Lock Fisico e' capaz de fazer a classe descrita por Entidade no role instrument Fisico e' capaz de fazer a classe descrita por Entidade no role instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27080-27102	Processo e' uma instancia de OperatorAssistedTelephoneCommunication Objeto Entidade and Fisico Processo tem como origem Objeto Processo termina em Entidade Fisico e' uma instancia de Humano Fisico tem por fim Entidade Entidade e' uma instancia de Processo Intencional Entidade e' um agente de Fisico Entidade e' um sub-processo de Processo o argumento Entidade Entidade e' uma instancia de Communicacao Entidade tem como origem Objeto Entidade termina em Entidade tem a forca modal de Possibility vale durante imediatemente apos tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3760-3785	Colecao e' uma instancia de RemoteKeylessSystem Objeto Fisico, Sequencia Simbolica and Sequencia Simbolica Objeto e' uma instancia de Key Objeto e' uma instancia de RemoteControl Objeto e' membro de Colecao Fisico e' uma instancia de Lock Fisico e' membro de Colecao Objeto e' capaz de fazer a classe descrita por Sequencia Simbolica no role instrument Objeto e' capaz de fazer a classe descrita por Sequencia Simbolica no role instrument
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