Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Catalog.kif 88-93	offers AutonomousAgent and Catalog catalogItem Entidade and Catalog Entidade e' uma sub-classe de Processo AutonomousAgent e' capaz de fazer Entidade no role agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7350-7364	Objeto e' uma instancia de AuditoriumSeat Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de Auditorium Objeto e' uma instancia de PerformanceStage Objeto e' situado em Objeto Objeto e' uma instancia de Humano Processo e' uma sub-classe de Visao Processo Processo e' uma instancia de Processo Objeto e' um patient de Processo Objeto e' capaz de fazer Processo no role agent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4467-4480	orthogonalTests Colecao and Colecao Objeto e' uma instancia de Humano Fisico e' uma instancia de Processo Processo e' uma sub-classe de Experimenting Fisico e' membro de Colecao Objeto e' capaz de fazer Processo no role experimentalSubject Fisico Processo Fisico e' uma instancia de Processo Fisico e' membro de Colecao Processo e' uma sub-classe de Experimenting Objeto e' capaz de fazer Processo no role experimentalSubject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3910-3916	Role em Caso e' uma instancia de Role em Caso Role em Caso Entidade and Objeto Entidade e' uma instancia de Processo Processo e' uma sub-classe de Processo Objeto e' capaz de fazer Processo no role Role em Caso
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12036-12048	Processo e' uma instancia de Deciding Processo e' um agente de Agente Cognitivo Conjunto e' uma instancia de Conjunto Conjunto e' um patient de Processo Entidade e' um elemento de Conjunto Agente Cognitivo acredita que Entidade Entidade e' uma instancia de Entidade Entidade e' uma sub-classe de Processo Intencional Agente Cognitivo e' capaz de fazer Entidade no role agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7527-7532	Objeto e' uma instancia de SportsTeam Processo Processo e' uma sub-classe de Esporte Objeto e' capaz de fazer Processo no role agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21035-21042	MedicalDoctor e' um atributo de Objeto Processo Processo Processo e' uma sub-classe de Processo de Diagnostico Processo e' uma sub-classe de Processo Terapeutico Objeto e' capaz de fazer Processo no role agent Objeto e' capaz de fazer Processo no role agent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 98-107	offers AutonomousAgent and Catalog catalogItem Entidade and Catalog Entidade e' uma sub-classe de Objeto Processo e' uma instancia de Processo Processo e' uma sub-classe de Processo Entidade e' uma instancia de Entidade Entidade e' um patient de Processo AutonomousAgent e' capaz de fazer Processo no role agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9560-9573	Objeto e' uma instancia de Planta Objeto e' uma &parte de Objeto Processo Entidade and Processo Processo e' uma instancia de Processo Processo e' uma sub-classe de Manter Entidade e' uma instancia de FreshWater Entidade e' um patient de Processo Objeto e' capaz de fazer Processo no role instrument Objeto e' uma instancia de PlantLeaf Objeto e' uma instancia de PlantStem
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16980-16985	Objeto e' uma instancia de GameArtifact Processo Processo e' uma sub-classe de Jogo Objeto e' capaz de fazer Processo no role instrument
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 35-43	weaponCarryingCapability MilitaryVehicle, Arma and Inteiro positivo Objeto e' uma instancia de Arma Objeto e' capaz de fazer Processo no role Role em Caso Processo e' uma sub-classe de Atirar Processo e' uma sub-classe de Causar Dano MilitaryVehicle e' capaz de fazer Processo no role Role em Caso
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23987-23989	Processo e' uma sub-classe de Fertilisation Organismo e' capaz de fazer Processo no role patient
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 48-56	Objeto e' capaz de fazer Processo no role Role em Caso Processo e' uma sub-classe de Atirar Objeto Objeto e' uma instancia de Arma Objeto e' uma &parte de Objeto Objeto e' capaz de fazer Processo no role Role em Caso

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