No TPTP formula. May not be expressible in strict first order. | Merge.kif 12614-12614 | Mudanca Interna e' uma sub-classe de Processo |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 153-153 | ComputerProcess e' uma sub-classe de Mudanca Interna |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1065-1065 | TurningOffDevice e' uma sub-classe de Mudanca Interna |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1089-1089 | TurningOnDevice e' uma sub-classe de Mudanca Interna |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10154-10154 | Processo Biologico e' uma sub-classe de Mudanca Interna |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10894-10894 | Modificacao de Quantidade e' uma sub-classe de Mudanca Interna |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11212-11212 | GeologicalProcess e' uma sub-classe de Mudanca Interna |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12292-12292 | Causar Dano e' uma sub-classe de Mudanca Interna |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12525-12525 | Processo Quimico e' uma sub-classe de Mudanca Interna |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12634-12634 | Mudanca Superficial e' uma sub-classe de Mudanca Interna |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12674-12674 | Mudanca de Forma e' uma sub-classe de Mudanca Interna |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12806-12806 | Criacao e' uma sub-classe de Mudanca Interna |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13774-13774 | Mudanca de Estado e' uma sub-classe de Mudanca Interna |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4952-4952 | TidalProcess e' uma sub-classe de Mudanca Interna |
![]() |